Title :
A Petri-net based codesign system for real-time applications
Author :
Cavalcante, S.V. ; Kinniment, D.J.
Author_Institution :
Dept. of Electr. & Electron. Eng., Newcastle upon Tyne Univ., UK
Abstract :
The codesign approach proposed in this work not only takes multiprocessing into account but uses a single graphical representation during the whole design process. We propose the use of high-level timed Petri nets (HLTPNs) as the specification language and analysis model for hardware-software codesign. The reasoning behind this choice is explained
Keywords :
Petri nets; computer architecture; formal specification; multiprocessing systems; real-time systems; specification languages; systems analysis; Petri-net based codesign system; analysis model; design process; graphical representation; hardware-software codesign; high-level timed Petri nets; multiprocessing; real-time applications; specification language;
Conference_Titel :
Partitioning in Hardware-Software Codesigns, IEE Colloquium on
Conference_Location :
London
DOI :
10.1049/ic:19950173
