Petri net modelling in embedded system design

Petri net modelling in embedded system design

A very high-speed integrated circuit hardware description language (VHDL)-based language for high-level synthesis was used for task-level embedded systems specification. The language has constructs for message passing, mutual data protection, concurrency, and synchronization. The system specificatio...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Benders, L.P.M., Stevens, M.P.J.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Concurrent computing
Data visualization
Embedded system
Hardware design languages
High level synthesis
High speed integrated circuits
Message passing
Petri nets
Protection
System recovery
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A very high-speed integrated circuit hardware description language (VHDL)-based language for high-level synthesis was used for task-level embedded systems specification. The language has constructs for message passing, mutual data protection, concurrency, and synchronization. The system specification was modeled with colored Petri nets, allowing concurrency visualization, deadlock detection, starvation detection, protocol requirements analysis, and potential resource sharing identification. The data transformation was modeled by using coloring functions. The specification language, the colored Petri nets, the nets modeling the concurrency, and the translation of the specification to the nets are discussed.< >
DOI:10.1109/CMPEUR.1992.218464