OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Toward a validation process for model based safety analysis

Adeline, Romain and Cardoso, Janette and Darfeuil, Pierre and Humbert, Sophie and Seguin, Christel Toward a validation process for model based safety analysis. (2010) In: ERTS² 2010 - Embedded Real Time Software and Systems, 19 May 2010 - 21 May 2010 (Toulouse, France).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Today, Model Based processes become more and more widespread to achieve the analysis of a system. However, there is no formal testing approach to ensure that the formal model is compliant with the real system. In the paper, we choose to study AltaRica model. We present a general process to well construct and validate an AltaRica formal model. The focus is made on this validation phase, i.e. verifying the compliance between the model and the real system. For it, the proposed process recommends to build a specification for the AltaRica model. Then, the validation process is transformed to a classical verification problem between an implementation and a specification.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Other partners > Turbomeca (FRANCE)
Laboratory name:
Deposited On:17 Apr 2014 07:53

Repository Staff Only: item control page