Property Model Methodology: A First Assessment in the Avionics Domain

Patrice Micouin (1) , Louis Fabre (2) , Pascal Pandolfi (2)

1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
2 Airbus Helicopters

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

Mots clés: Verification; Property-Based Requirement; Property-Model Methodology; Model-Based Systems Engineering; CONOPS; VHDL(-AMS); Modelica; Simulink; Validation

Domaines: Autre

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⟩