DocumentCode
768520
Title
Modeling Embedded Systems: From SystemC and Esterel to DFCharts
Author
Radojevic, Ivan ; Salcic, Zoran ; Roop, Partha S.
Author_Institution
Dept. of Electr. & Comput. Eng., Auckland Univ.
Volume
23
Issue
5
fYear
2006
fDate
5/1/2006 12:00:00 AM
Firstpage
348
Lastpage
358
Abstract
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
Keywords
embedded systems; hardware description languages; visual languages; DFCharts; ESL language; Esterel; SystemC; embedded system modeling; graphical language; Communication standards; Computational modeling; Embedded system; Formal verification; Frequency measurement; Power measurement; Power system protection; Power system relaying; Protective relaying; Specification languages; Esterel; SystemC; heterogeneous systems; models of computation (MoC); specification;
fLanguage
English
Journal_Title
Design & Test of Computers, IEEE
Publisher
ieee
ISSN
0740-7475
Type
jour
DOI
10.1109/MDT.2006.130
Filename
1704726
Link To Document