Property Model Methodology: A First Assessment in the Avionics Domain

Abstract : The aim of this paper is twofold. Firstly, it is intended to provide an overview of the goals, the concepts and the process of a new Model Based Systems Engineering methodology, called Property Model Methodology (PMM). The second aim is to provide a feedback on its application in the avionics domain. In this experiment, PMM has been used in order to develop a top level specification model regarding a textual specification of an avionics function, to validate the top level specification model, and according to PMM rules to develop (1) a design model of the function taking into account architectural constraints of an integrated avionics, (2) building block specification models and (3) building block design models. Building block specification models were validated regarding their encompassing system specification model and the selected system design model while the design models were integrated and verified, level by level up to the top level design model, regarding their specification model. This paper summarizes the lessons learnt during this process and some additional results related to safety issues. This paper, with others [1,2], proves the fundamental concepts of PMM and provides a starting point for further research on Model Based Systems Engineering of a wide range of engineered systems (discrete, hybrid, continuous and multi-physics systems), but also support additional systems engineering activities (e.g. safety-reliability activities).
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download
Contributor : Patrice Micouin <>
Submitted on : Monday, February 15, 2016 - 7:19:50 PM
Last modification on : Wednesday, September 12, 2018 - 1:27:28 AM
Long-term archiving on : Saturday, November 12, 2016 - 8:18:33 PM


Files produced by the author(s)


  • HAL Id : hal-01273973, version 1



Patrice Micouin, Louis Fabre, Pascal Pandolfi. Property Model Methodology: A First Assessment in the Avionics Domain. ERTS 2016 8th European Congress on Embedded Real Time Software and Systems, Jan 2016, Toulouse, France. ⟨hal-01273973⟩



Record views


Files downloads