Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling

S. Schulz, T. C. Ewing, J. W. Rozenblit

Research output: Contribution to conferencePaperpeer-review

24 Scopus citations

Abstract

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.

Original languageEnglish (US)
Pages308-316
Number of pages9
StatePublished - Jan 1 2000
Event7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000) - Edinburgh, UK
Duration: Apr 3 2000Apr 7 2000

Other

Other7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000)
CityEdinburgh, UK
Period4/3/004/7/00

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software

Fingerprint

Dive into the research topics of 'Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling'. Together they form a unique fingerprint.

Cite this