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.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Sango, M., Vallée, F., Vié, AC., Voirin, JL., Leroux, X., Normand, V. (2017). MBSE and MBSA with Capella and Safety Architect Tools. In: Fanmuy, G., Goubault, E., Krob, D., Stephan, F. (eds) Complex Systems Design & Management. CSDM 2016. Springer, Cham. https://doi.org/10.1007/978-3-319-49103-5_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-49103-5_22
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-49102-8
Online ISBN: 978-3-319-49103-5
eBook Packages: EngineeringEngineering (R0)