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

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

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 conference › Paper › peer-review

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 language	English (US)
Pages	308-316
Number of pages	9
State	Published - 2000
Event	7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000) - Edinburgh, UK Duration: Apr 3 2000 → Apr 7 2000

Other

Other	7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000)
City	Edinburgh, UK
Period	4/3/00 → 4/7/00

ASJC Scopus subject areas

Hardware and Architecture
Software

Cite this

Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling. / Schulz, S.; Ewing, T. C.; Rozenblit, J. W.
2000. 308-316 Paper presented at 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000), Edinburgh, UK.

Research output: Contribution to conference › Paper › peer-review

@conference{df3e4f963b264057a16411d27f53fa96,

title = "Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling",

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.",

author = "S. Schulz and Ewing, \{T. C.\} and Rozenblit, \{J. W.\}",

year = "2000",

language = "English (US)",

pages = "308--316",

note = "7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000) ; Conference date: 03-04-2000 Through 07-04-2000",

}

TY - CONF

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

AU - Schulz, S.

AU - Ewing, T. C.

AU - Rozenblit, J. W.

PY - 2000

Y1 - 2000

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0033877334

UR - https://www.scopus.com/pages/publications/0033877334#tab=citedBy

M3 - Paper

AN - SCOPUS:0033877334

SP - 308

EP - 316

T2 - 7th IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000)

Y2 - 3 April 2000 through 7 April 2000

ER -

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

Abstract

Other

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this