Property model methodology : a case study with Modelica

Abstract

The aim of this paper is twofold. Firstly, it is intend-ed to demonstrate the relevance of the Property Model Methodology (PMM) to specify, validate, de-sign and verify continuous multi-physics systems. Secondly, it aims at verifying the compatibility of PMM concepts with the Modelica simulation lan-guage. 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 re-search so as to not only model other types of engi-neered systems such as discrete and hybrid systems, but also support additional systems engineering ac-tivities, such as safety-reliability.