ModeGraph - A Modelica Library for Embedded Control Based on Mode-Automata

Kurzfassung

The ModeGraph library is a new Modelica library for modeling of hybrid and embedded control systems based on Mode-Automata semantics. Actions can be associated with discrete states in a way that makes sure that the single-assignment rule is fulfilled. Consequently, non-deterministic variable assignment is impossible, which is usual in nearly all other state machine formalisms. Besides Mode- Automata, concepts from Sequential Function Charts (SFC)/Grafcet, Statecharts, and Safe State Machines (SSM) are utilized to provide a flexible modeling environment for safe, hierarchical state machines where Modelica is used as action language. Mode- Graph shall replace the existing Modelica. StateGraph library. The implementation of ModeGraph requires extensions to the Modelica language, in order to support the Mode-Automata semantics and to drastically reduce code overhead and improve performance of modeled graphs.