A Model Based Safety Analysis Framework for SysML and A Case Study

Model Based Safety Analysis (MBSA) techniques can improve our modeling and analysis capabilities for today's complex safety-critical system designs. SysML is a kind of informal system functional modeling language widely used in industry and AltaRica is a formal modeling language for system safety analysis. This paper provides a MBSA framework and a prototype tool for SysML oriented system design and safety ananlysis, which including: we firstly extend SysML model elements to describe system fault events and behaviors by using profile definition mechanism, then some mapping rules between SysML design models and AltaRica analysis models are established based on the consideration of model semantics. Therefore, we can design a framework and algorithms to implement an automatic conversion of those two modeling languages Finally, a case study shows how to modeling and analyze a typical wheel brake system which included in the SAE-AIR6110 standard by using a prototype tool.