Skip to main content

A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design

  • Conference paper
  • First Online:
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops (SAFECOMP 2020)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12235))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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)

    Google Scholar 

  2. 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

    Google Scholar 

  3. 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

    Google Scholar 

  4. 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

    Chapter  Google Scholar 

  5. 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)

    Google Scholar 

  6. 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

    Chapter  Google Scholar 

  7. 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

    Chapter  Google Scholar 

  8. AIAG and VDA: AIAG & VDA FMEA Handbook, Automotive Industry Action Group (2019)

    Google Scholar 

  9. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Nobuaki Tanaka .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics