A new approach for modeling and verification of discrete control components within a modelica environment

Abstract

The paper presents the use of a subset of UML State-charts to model discrete control components together with the physical model within a Modelica simula-tion environment. In addition, we show how state-charts can also be used to describe assertions charts for checking the compliance of user defined model properties and model behaviour during simulation. As the main difference to other approaches, neither Modelica language enhancements nor special librar-ies are necessary. The statechart model is automati-cally mapped onto standard Modelica constructs and can be simulated with any common Modelica stan-dard simulator. Controlled by the user, the Modelica model can be automatically instrumented by addi-tional Modelica code to examine the state coverage and transition coverage during simulation.