Correct Development of Embedded Systems

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.

• Type: Conference
• Year: 2004
• Where: EWSA
• Authors: Susanne Graf, Jozef Hooman
• Keywords: Correct Software, EWSA 2004, Formal Dynamic Semantics, IST OMEGA Project