Toward a validation process for model based safety analysis

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

Toward a methodology for the AltaRica modelling of multi-physical systems

Numerous works deal with the use of the formal language AltaRica to improve the safety as-sessment process of industrial systems. In this context, the paper aims at describing and applying a common methodology to model physical systems. The example of a mechanical system and a hydro-mechanical system will be taken

Facteurs de risques de complications après cholangio-pancréatographie rétrograde endoscopique

NANCY1-SCD Medecine (545472101) / SudocPARIS-BIUM (751062103) / SudocNANCY1-Bib. numérique (543959902) / SudocSudocFranceF

Modélisation de la dégradation d’un composant à partir du retour d’expériences

ACLInternational audienc