Abstract
In this paper, we describe a method of visualizing the behavior of systems’ failures in order to improve the explanatory ability of safety analysis artifacts. Increasingly complex in-vehicle systems are making traditional safety analysis artifacts more difficult for reviewers to understand. One of the requirements for improvement is to provide more understandable explanations of failure behaviors. The AIAG/VDA FMEA (Failure Mode and Effect Analysis) handbook, published in 2019, introduced the FMEA-MSR (Supplemental FMEA for Monitoring and System Response) to explicitly describe the behavior of failures called the Hybrid Failure Chain (e.g., chain of failure mode, failure cause, monitoring, system response, and failure effects). For more precise explanations of the safety analysis artifacts, we propose a method to integrate and visualize failure behaviors into architectural design diagrams using SysML. Based on FTA (Fault Tree Analysis) and FMEA results, along with SysML diagrams (e.g., internal block diagrams), the proposed method imports represent FMEA and FTA data graphically as Hybrid Failure Chains with a system model to improve information cohesion in the safety analysis artifact. We found that the proposed method facilitates the discovery or recognition of flaws and omissions in the fault model.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Aizpurua, J.I., Muxika, E.: Model-based design of dependable systems: limitations and evolution of analysis and verification approaches. Int. J. Adv. Secur. 6(1–2), 12–31 (2013)
Biggs, G., Juknevicius, T., Armonas, A., Post, K.: Integrating safety and reliability analysis into MBSE: overview of the new proposed OMG standard. In: INCOSE International Symposium, vol. 28, pp. 1322–1336, July 2018
Joshi, A., Miller, S.P., Whalen, M., Heimdahl, M.P.E.: A proposal for model-based safety analysis. In: The 24th Digital Avionics Systems Conference, Washington, D.C., October 2005
Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139–152. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48249-0_13
Nordmann, A., Munk, P.: Lessons learned from model-based safety assessment with SysML and component fault trees. In: MODELS 2018, 14–19 October 2018, Copenhagen, Denmark (2018)
Clegg, K., Li, M., Stamp, D., Grigg, A., McDermid, J.: A SysML profile for fault trees—linking safety models to system design. In: Romanovsky, A., Troubitsyna, E., Bitsch, F. (eds.) SAFECOMP 2019. LNCS, vol. 11698, pp. 85–93. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-26601-1_6
Lane, H.C., D’Mello, S.K.: Uses of physiological monitoring in intelligent learning environments: a review of research, evidence, and technologies. In: Parsons, T.D., Lin, L., Cockerham, D. (eds.) Mind, Brain and Technology. ECTII, pp. 67–86. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-02631-8_5
AIAG and VDA: AIAG & VDA FMEA Handbook, Automotive Industry Action Group (2019)
Tanaka, N., Ogawa, K.: Proposal of a graphical representation of safety analysis and a tool with high affinity to design documents (in Japanese). In: Safety Engineering Symposium 2019 (2019)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Tanaka, N., Yomiya, H., Ogawa, K. (2020). A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design. In: Casimiro, A., Ortmeier, F., Schoitsch, E., Bitsch, F., Ferreira, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops. SAFECOMP 2020. Lecture Notes in Computer Science(), vol 12235. Springer, Cham. https://doi.org/10.1007/978-3-030-55583-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-55583-2_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-55582-5
Online ISBN: 978-3-030-55583-2
eBook Packages: Computer ScienceComputer Science (R0)