PublicaHier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
A new approach for modeling and verification of discrete control components within a modelica environment
urn:nbn:de:0011-n-703958 (315 KByte PDF)
MD5 Fingerprint: 4c6f8665f4bea918ca6dad0f324e1d4f
Created on: 14.3.2008
|Bachmann, B. ; University of Applied Sciences, Bielefeld; Modelica Association, Linköping:|
Modelica 2008, 6th International Modelica Conference. Proceedings : March 3rd-4th, 2008, Bielefeld, Germany
Bielefeld: Univ. of Applied Sciences, 2008
|International Modelica Conference <6, 2008, Bielefeld>|
| Conference Paper, Electronic Publication|
|Fraunhofer IIS, Institutsteil Entwurfsautomatisierung (EAS) ()|
| state machine; statechart; control system; assertion; state coverage; transition coverage|
The paper presents the use of a subset of UML Statecharts to model discrete control components together with the physical model within a Modelica simulation environment. In addition, we show how statecharts 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 libraries are necessary. The statechart model is automatically mapped onto standard Modelica constructs and can be simulated with any common Modelica standard simulator. Controlled by the user, the Modelica model can be automatically instrumented by additional Modelica code to examine the state coverage and transition coverage during simulation.