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
Ladda ner artikelhttp://dx.doi.org/10.3384/ecp11063579Ingår i: Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany
Linköping Electronic Conference Proceedings 63:65, s. 579-592
Publicerad: 2011-06-30
ISBN: 978-91-7393-096-3
ISSN: 1650-3686 (tryckt), 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.
Inga referenser tillgängliga