An integrated design methodology for safety critical systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

An integrated design methodology for safety critical systems

Faida Mhenni
Jean-Yves Choley
Nga Nguyen

Résumé

Nowadays man-made systems are getting more complex including new technologies and components from different domains. In addition, they are used in many safety critical missions. This induces new challenges in the design of such systems as new methods and tools are needed to manage the complexity while taking into account safety aspects. To face these challenges, the use of model-based approaches such as MBSE is compulsory. In addition, only an efficient integration of safety concerns early in the design process guarantees an optimal design avoiding late and costly changes. Our proposal is an integrated methodology named SafeSysE, including both MBSE and MBSA processes. SafeSysE narrows the gap between the design and safety analyses since it allows to assist the safety expert in generating the safety artifacts such as FMEA and FTA from the system models. It enhances the consistency between the system model including the requirements, structure and behavior of the system in one side and the safety artifacts in the other side.
Fichier non déposé

Dates et versions

hal-01589515 , version 1 (18-09-2017)

Identifiants

Citer

Faida Mhenni, Jean-Yves Choley, Nga Nguyen. An integrated design methodology for safety critical systems. Systems Conference (SysCon), 2016 Annual IEEE , Apr 2016, ORLANDO, United States. pp.1-6, ⟨10.1109/SYSCON.2016.7490580⟩. ⟨hal-01589515⟩
31 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More