Conference article

Modelling of System Properties in a Modelica Framework

Audrey Jardin
EDF R&D, STEP Department, France

Daniel Bouskela
EDF R&D, STEP Department, France

Thuy Nguyen
EDF R&D, STEP Department, France

Nancy Ruel
EDF R&D, STEP Department, France

Eric Thomas
Dassault-Aviationm, France

Laurent Chastanet
Dassault-Aviationm, France

Raphaël Schoenig
Dassault-Systèmes, France

Sandrine Loembé
Dassault-Systèmes, France

Download article

Published in: Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany

Linköping Electronic Conference Proceedings 63:65, p. 579-592

Show more +

Published: 2011-06-30

ISBN: 978-91-7393-096-3

ISSN: 1650-3686 (print), 1650-3740 (online)


In order to improve the engineering processes and especially the corresponding verification and validation phases; this article deals with the modeling of system properties in a Modelica framework. The term “property” is intended here to be generic and refers to a system requirement or limitation as well as a validity domain of a model. The choice of the Modelica language is justified by a desire to use its equation-based feature to model system properties in an unambiguous and explicit way. Besides; choosing only one formalism to describe the system properties and the physical equations of the model should ease the expression of the model validity domains.

After having introduced several theoretical concepts to formally describe a system property; the development of a dedicated library is explained and illustrated on an industrial example taken from the aeronautics domain. Some checks of system properties are thus performed by co-simulating behavioral and properties models. Finally; some extensions of the Modelica language are advocated in order to improve the applicability range and efficiency of properties modeling for complex systems; and especially to increase the rigor of their validations by enabling formal proofs.




[1] Information available on the Modelica Association web site:

[2] P. Fritzson; Principles of Object-Oriented Modeling and Simulation with Modelica 2.1; Wiley IEE Press; 944 pages; February 2004.

[3] Information available on the OpenProd web site:

[4] Information available on the official UML web site:

[5] W. Schamai; P. Fritzson; C. Paredis; A. Pop; Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations; in Proceedings of the 7th Modelica Conference; Como; Italy; September 20-22; 2009.

[6] W. Schamai; Modelica Modeling Language (ModelicaML): A UML Profile for Modelica; technical report in Computer and Information Science; n° 2009:5; Linköping University Electronic Press; 49 pages; 2009.

[7] Information available on the EuroSysLib web site:

[8] Property Specification Language – Reference Manual; Accellera technical report; USA; June 2004.

[9] Dymola software; Dassault Systèmes; information available at:

[10] D. Harel; Statecharts: A visual formalism for complex systems; in Science of Computer Programming; 8(3):231-274; June 1987.

[11] W. Schamai; P. Helle; P. Fritzson; C. Paredis; Virtual Verification of Systems Design against System Requirements – A Method Proposal; in Proceedings of the 3rd International Workshop on Model Based Architecturing and Construction of Embedded Systems (ACES 2010); in conjunction with MODELS 2010; Oslo; Norway; October 4; 2010.

[12] T. Myers; P. Fritzson; R.G. Dromey; Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems; in Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2008); Paphos; Cyprus; July 8; 2008.

[13] Eurosyslib sWP7.1 DGT116083B Dysfunctional Use Cases and User Requirements; 2010.

[14] EuroSysLib sWP7.1 DGT124618 Properties Evaluation Report; 2010.

[15] EuroSysLib sWP7.1 Properties Modeling; 2010.

Citations in Crossref