Martin Otter
German Aerospace Centre (DLR), Institute for Robotics and Mechatronics, Germany
Martin Malmheden
Dassault Systèmes, Lund, Sweden
Hilding Elmqvist
Dassault Systèmes, Lund, Sweden
Sven Erik Matsson
Dassault Systèmes, Lund, Sweden
Charlotta Johnsson
Department of Automatic Control, Lund University, Sweden
Download article
http://dx.doi.org/10.3384/ecp09430108Published in: Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009
Linköping Electronic Conference Proceedings 43:41, p. 364-377
Published: 2009-12-29
ISBN: 978-91-7393-513-5
ISSN: 1650-3686 (print), 1650-3740 (online)
A new Modelica library is presented that is used to model safe hierarchical state machines in combination with any Modelica model; e.g.; controllers; logical blocks; and physical systems described by differential-algebraic equations. It has been designed to simplify usage; improve safety aspects and to harmonize with the design of the new Modelica_ EmbeddedSystems library. Furthermore; new blocks are introduced to define actions in a visual way; and not textually. The library is inspired by Statecharts; Sequential Function Charts; Safe State Machines (SSM) and Mode-Automata. It has been designed so that only small extensions to Modelica 3.1 are needed. The algorithms are sketched that are used to guarantee consistent graphs that give a limited number of event iterations. Furthermore; it is shown how a symbolic verifier can be used to guarantee additional properties of state machines.
ModeGraph; Statechart; Sequential Function Charts; Mode-Automata; Safe State Machines; NuSMV; reactive systems; hybrid systems
