Modeling Embedded Systems: From SystemC and Esterel to DFCharts

This article addresses the need for directly expressing heterogeneous, hierarchical behaviors for modeling specific embedded systems. After analyzing two existing ESL languages, SystemC and Esterel, the authors create a new model of computation and a graphical language to gain the direct expressivit...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE design & test of computers 2006-09, Vol.23 (5), p.348-358
Hauptverfasser:	Radojevic, I., Salcic, Z., Roop, P.S.
Format:	Artikel
Sprache:	eng
Schlagworte:	Communication standards Computation Computational modeling Computer simulation Design engineering Embedded system Esterel Formal verification Frequency measurement Gain heterogeneous systems Mathematical models models of computation (MoC) Power measurement Power system protection Power system relaying Protective relaying specification Specification languages SystemC
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	This article addresses the need for directly expressing heterogeneous, hierarchical behaviors for modeling specific embedded systems. After analyzing two existing ESL languages, SystemC and Esterel, the authors create a new model of computation and a graphical language to gain the direct expressivity they need for their model. Although researchers have suggested various changes to SystemC and Esterel to fit modeling requirements, this article considers mainly standard SystemC and Esterel
ISSN:	0740-7475 2168-2356 1558-1918 2168-2364
DOI:	10.1109/MDT.2006.130