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

Author

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

Author_Institution

Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA

fYear

2000

fDate

2000

Firstpage

308

Lastpage

316

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

Keywords

discrete event simulation; embedded systems; formal specification; StateMate StateCharts equivalence; discrete event system specification; embedded systems modelling; mapping; modeling specifications; system modeling formalisms; Automata; Automatic control; Computer industry; Control systems; Design methodology; Discrete event simulation; Discrete event systems; Embedded system; Microwave integrated circuits; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Computer Based Systems, 2000. (ECBS 2000) Proceedings. Seventh IEEE International Conference and Workshopon the

Conference_Location

Edinburgh

Print_ISBN

0-7695-0604-6

Type

conf

DOI

10.1109/ECBS.2000.839890

Filename

839890