Validating UML models of Embedded Systems by Coupling Tools

Jozef Hooman, Nataliya Mulyar, and Ladislau Posta

Appeared in: Proceedings SVERTS: Specification and Validation of UML models for Real Time and Embedded Systems, 17 pages, 2004.

ABSTRACT

To support multi-disciplinary development of embedded systems, a coupling has been realized between a UML-based CASE tool (Rose RealTime) - to model the embedded software - and a tool for the modeling of the continuous dynamics of physical parts of the system (Simulink). The aim is to allow simultaneous simulation of the models in both tools, thus allowing an early exploration of the possible design choices over multiple disciplines. A first prototype of the coupling has been implemented, with an emphasis on realizing a common notion of time and a proper treatment of timers and data exchange.

pdf