Hybrid Marte

MARTE (Modeling and Analysis of Real-Time and Embedded Systems) is a profile of UML (United Modeling Language). MARTE provides support for specification, design and verification of real-time and embedded systems. Even though MARTE time model offers a support to describe multiform clocks, it lacks the ability to model both discrete and continuous behaviors of a hybrid system. To address the problem of hybrid systems modeling, we propose Hybrid MARTE which is an extension to MARTE for hybrid system modeling and analysis. Compare to MARTE, in Hybrid MARTE, we can construct the logical time and chronometric time in a unified way. Besides, a systemic framework for the modeling the requirements and design of a hybrid system is provided. Hybrid MARTE also provides multiple views modeling, something like UML. Hybrid MARTE Class Diagram can be used for description in static view, Hybrid MARTE Sequence Diagram in interactive view and Hybrid MARTE Statechart in dynamic behavioral view. HybridMARTE is successfully used in modeling and analysis of the Train Position Determination of railway control systems.