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
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;
Conference_Titel :
Rapid System Prototyping, 1996. Proceedings., Seventh IEEE International Workshop on
Conference_Location :
Thessaloniki
Print_ISBN :
0-8186-7603-5
DOI :
10.1109/IWRSP.1996.506724
