Abstract

The development of critical systems is a challenging task that requires collaborative work for various purposes: specification, design and verification. Today, no single modeling language and environment covers all these aspects. ARCADIA and Capella© are Model-based System Engineering (MBSE) method and tool developed for the system design process. ARCADIA/Capella also adopts a viewpoint-based description to describe engineering specialty, such as the safety engineering. Safety Architect© is a MBSA (Model Based Safety Analysis) tool developed by ALL4TEC to analyze the robustness of design models. Indeed, Safety Architect can use design models imported from usual modelling tools, such as Capella, in order to perform classical safety analyses: automatic deduction of fault tree of the identified feared events. In this paper, we present our MBSE and MBSA approach developed in the Clarity project around Safety viewpoint in Capella and the import legacy into Safety Architect in order to realize safety analysis.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.