Article | Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany | Modelling of System Properties in a Modelica Framework Linköping University Electronic Press Conference Proceedings
Göm menyn

Title:
Modelling of System Properties in a Modelica Framework
Author:
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
DOI:
10.3384/ecp11063579
Download:
Full text (pdf)
Year:
2011
Conference:
Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany
Issue:
063
Article no.:
065
Pages:
579-592
No. of pages:
14
Publication type:
Abstract and Fulltext
Published:
2011-06-30
ISBN:
978-91-7393-096-3
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

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.

Keywords: Modelling;Checking;Property;Modelica

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

Author:
Audrey Jardin, Daniel Bouskela, Thuy Nguyen, Nancy Ruel, Eric Thomas, Laurent Chastanet, Raphaël Schoenig, Sandrine Loembé
Title:
Modelling of System Properties in a Modelica Framework
DOI:
http://dx.doi.org/10.3384/ecp11063579
References:

[1] Information available on the Modelica Association web site: http://www.modelica.org

[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: http://www.ida.liu.se/~pelab/OpenProd/

[4] Information available on the official UML web site: http://www.uml.org

[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: http://www.eurosyslib.com

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

[9] Dymola software; Dassault Systèmes; information available at: http://www.dymola.com

[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.

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

Author:
Audrey Jardin, Daniel Bouskela, Thuy Nguyen, Nancy Ruel, Eric Thomas, Laurent Chastanet, Raphaël Schoenig, Sandrine Loembé
Title:
Modelling of System Properties in a Modelica Framework
DOI:
https://doi.org10.3384/ecp11063579
Note: the following are taken directly from CrossRef
Citations:
  • Alessandro Pint & Alberto L. Sangiovanni Vincentelli (2017). CSL4P: A Contract Specification Language for Platforms. Systems Engineering, 20(3): 220. DOI: 10.1002/sys.21386


  • Responsible for this page: Peter Berkesand
    Last updated: 2019-11-06