Validating UML models of Embedded Systems by Coupling Tools
Nataliya Mulyar, and Ladislau Posta
Appeared in: Proceedings SVERTS: Specification and Validation of UML models for
Real Time and Embedded Systems, 17 pages, 2004.
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.