• DocumentCode
    1932234
  • Title

    Capturing time constraints by using Petri-nets in the context of Hardware/Software codesign

  • Author

    Maciel, Paulo ; Barros, Edna

  • Author_Institution
    Dept. de Inf, UFPE, Recife, Brazil
  • fYear
    1996
  • fDate
    19-21 Jun 1996
  • Firstpage
    36
  • Lastpage
    41
  • Abstract
    This work presents a timed constraints capture method that uses Timed Petri nets for systems written in OCCAM in the context of Hardware/Software partitioning. We present a method for translation of occam programs into timed Petri-nets as well as a time analysis method in the context of hardware/software partitioning. The time analysis allows the capture of the execution time of processes and sub-process, which are used in the hardware/software partitioning process
  • Keywords
    Occam; Petri nets; logic CAD; Hardware/Software codesign; Timed Petri nets; hardware/software partitioning; occam programs; partitioning; time analysis; Application software; Application specific integrated circuits; Costs; Design automation; Embedded system; Hardware; Microprocessors; Software algorithms; Software tools; Time factors;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Rapid System Prototyping, 1996. Proceedings., Seventh IEEE International Workshop on
  • Conference_Location
    Thessaloniki
  • Print_ISBN
    0-8186-7603-5
  • Type

    conf

  • DOI
    10.1109/IWRSP.1996.506724
  • Filename
    506724
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1932234