An integrated design methodology for safety critical systems

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.