Toward a validation process for model based safety analysis

R. Adeline , J. Cardoso , P Darfeuil , S Humbert , C. Seguin (1)

1 ONERA - The French Aerospace Lab [Toulouse]

Today, Model Based Safety Analysis processes become more and more widespread to achieve the safety analysis of a system. However and at our knowledge, 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. We present the first phase of a method to verify the compliance between the model and the specification.

Mots clés: Model Based Safety Analysis; validation; formal model; AltaRica

Domaines: Informatique [cs]; Systèmes embarqués

R. Adeline, J. Cardoso, P Darfeuil, S Humbert, C. Seguin. Toward a validation process for model based safety analysis. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02267737⟩