DocumentCode
2712190
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
fYear
1995
fDate
34743
Firstpage
42552
Lastpage
42554
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;
fLanguage
English
Publisher
iet
Conference_Titel
Partitioning in Hardware-Software Codesigns, IEE Colloquium on
Conference_Location
London
Type
conf
DOI
10.1049/ic:19950173
Filename
478129
Link To Document