loading...
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling
Edinburgh, Scotland April 03-April 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2000.8398907th IEEE International Conference and ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
S. Schulz, University of Arizona
T.C. Ewing, University of Arizona
J.W. Rozenblit, University of Arizona
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications, which has been successfully implemented in a commercially available tool suite. We argue that the DEVS formalism is more expressive than StateCharts and can also be applied to the design of such systems.In this paper we want to show that we can in fact build equivalent StateChart models directly from DEVS models and execute them in the available development environments. The presented mapping of the two system modeling formalisms promises to combine the benefits of formally well-defined models and a sound tool implementation.
Index Terms:
Embedded Systems, DEVS, Modeling
Citation:
S. Schulz, T.C. Ewing, J.W. Rozenblit, "Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling," ecbs, pp.308, 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000
Usage of this product signifies your acceptance of the Terms of Use.