Correct Development of Embedded Systems

Susanne Graf and Jozef Hooman

Appeared in: Proc. of the First European Workshop on Software Architecture (EWSA 2004), LNCS 3047, Springer-Verlag, pp. 241-249, 2004

ABSTRACT

This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language. The main contributions of the project are the definition of a useful subset of UML and some extensions, a formal dynamic semantics integrating all notations and a tool set for the validation of models based on this semantics.