Property Model Methodology: A case study with Modelica

Abstract

International audienceThe 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