Modeling and Analysis of Real Time Embedded Systems

The OMG Modeling for Real Time Embedded Systems (MARTE) UML profile adds capabilities to UML for model driven development of real time and embedded systems (RTESs) including their software and hardware aspects.

RTES are mainly  used in critical domains where high system dependability is required and expected. The behavior of RTESs is driven by their environment and is used in critical domains where unsafe conditions, posing threat to human life or environment, can be caused by failures of the RTES being tested.

These systems typically work in environments with large numbers of interacting components.

Enterprise Architect 15 delivers support for the OMG's MARTE profile. It:

• Provides a foundation for transformation from UML models into a variety of analysis models
• Addresses the modeling of real-time and embedded systems (RTES) software or hardware and their shared relationships and the annotation of application models for analysis of system properties
• Provides qualitative and quantitative modeling constructs for the  development of RTE systems and both high and low-level modeling constructs e.g. specification purposes and implementation purposes respectively
• Allows choice of style which best suit the modelers present needs and does not enforce methodologies for modeling RTE
• Is amenable to adoption by modelers as it does not require expertise or a steep learning curve in model analysis techniques or their inner workings
• Supports current mainstream real-time technologies, design paradigms, and model analysis techniques

The MARTE profile is available in the Unified and Ultimate editions of Enterprise Architect, from Release 15.0.