Property Model Methodology: A case study with Modelica

Romain Pinquié (1) , Patrice Micouin (1) , Philippe Veron (1) , Frédéric Segonds (2)

1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
2 LCPI - Laboratoire Conception de Produits et Innovation

The aim of this paper is twofold. Firstly, it is intended to demonstrate the relevance of the Property Model Methodology (PMM) to specify, validate, design and verify continuous multi-physics systems. Secondly, it aims at verifying the compatibility of PMM concepts with the Modelica simulation language. We will be using the case study of an aircraft landing gear to show how to translate the theoretical concepts of PMM into executable Modelica models. This article proves the fundamental concepts of PMM and provides a starting point for further research so as to not only model other types of engineered systems such as discrete and hybrid systems, but also support additional systems engineering activities, such as safety-reliability.

Mots clés: Model-Bases Systems Engineering; Validation; Verification; Modelica; Property-Based Requirement; Property-Model Methodology

Domaines: Ingénierie assistée par ordinateur; Modélisation et simulation; Mécanique [physics.med-ph]

Romain Pinquié, Patrice Micouin, Philippe Veron, Frédéric Segonds. Property Model Methodology: A case study with Modelica. Tools and Methods of Competitive Engineering (TMCE), May 2016, Aix-en-Provence, France. pp.79-91. ⟨hal-01357796⟩