Skip to main content

A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive Domain

  • Conference paper

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

Abstract

The reuse of architectural measures or safety mechanisms is widely-spread in practice, especially in well-understood domains, as is reusing the corresponding safety-case to document the fulfillment of the target safety goal(s). This seems to harmonize well with the fact that safety standards recommend (if not dictate) performing many analyses during the concept phase of development as well as the early adoption of multiple measures at the architectural design level. Yet this front-loading is hindered by the fact that safety argumentation is not well-integrated into architectural models in the automotive domain and as such does not support comprehensible and reproducible argumentation nor any evidence for argument correctness. The reuse is neither systematic nor adequate.

Using a simplified description of safety mechanisms, we defined a pattern library capturing known solution algorithms and architectural measures/constraints in a seamless holistic model-based approach with corresponding tool support. Based on a meta-model encompassing both development artifacts and safety case elements, the pattern library encapsulates all the information necessary for reuse, which can then be integrated into existing development environments. This paper explores the model and the approach using an illustrative implementation example, along with the supporting workflow for the usage of the approach in both “designer” and “user” roles.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ISO 26262 Standard, Road Vehicles Functional Safety (2011), www.iso.org

  2. Lindstrom, D.R.: Five Ways to Destroy a Development Project. IEEE Software, 55–58 (September 1993)

    Google Scholar 

  3. Kelly, T., McDermid, J.: Safety case construction and reuse using patterns. In: 16th International Conference on Computer Safety, Reliability and Security, SAFECOMP (1997)

    Google Scholar 

  4. Wagner, S., Schätz, B., Puchner, S., Kock, P.: A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models. In: Proc. International Symposium on Software Reliability Engineering (ISSRE 2010). IEEE Computer Society (2010)

    Google Scholar 

  5. Origin Consulting (York) Limited, on behalf of the Contributors.“Goal Structuring Notation (GSN)”. GSN COMMUNITY STANDARD VERSION 1 (November 2011)

    Google Scholar 

  6. The ITEA2 SAFE Project / The EUROSTARS SAFE-E Project, www.safe-project.eu

  7. The SAFE / SAFE-E Consortium. Deliverable D3.1.3 / D3.4, Proposal for extension of Meta-model for safety-case modeling and documentation (2013), http://www.safe-project.eu

  8. AutoFOCUS 3, research CASE tool, af3.fortiss.org, 2014 fortiss GmbH

    Google Scholar 

  9. Khalil, M.: Pattern-based methods for model-based safety-critical software architecture design. In: ZeMoSS 2013 Workshop at the SE 2013 in Aachen, Germany (2013)

    Google Scholar 

  10. Voss, S., Schätz, B., Khalil, M., Carlan, C.: A step towards Modular Certification using integrated model-based Safety Cases. In: VeriSure 2013 (2013)

    Google Scholar 

  11. Weaver, R.: The Safety of Software – Constructing and Assuring Arguments. PhD Thesis, Department of Computer Science, The University of York (2003)

    Google Scholar 

  12. Hawkins, R., Clegg, K., Alexander, R., Kelly, T.: Using a Software Safety Argument Pattern Catalogue: Two Case Studies. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 185–198. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  13. Ye, F.: Justifying the Use of COTS Components within Safety Critical Applications. PhD Thesis, Department of Computer Science, The University of York (2005)

    Google Scholar 

  14. Wu, W., Kelly, T.: Safety Tactics for Software Architecture Design. In: Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC 2004), vol. 1, pp. 368–375. IEEE Computer Society, Washington, DC (2004)

    Google Scholar 

  15. Armoush, A.: Design Patterns for Safety-Critical Embedded Systems. Ph.D. Thesis, RWTH-Aachen (2010)

    Google Scholar 

  16. Voss, S., Schätz, B.: Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications. In: Proceedings of the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems, ECBS (2013)

    Google Scholar 

  17. Kelly, T.: Arguing Safety – A Systematic Approach to Managing Safety Cases. PhD Thesis, Department of Computer Science, The University of York (1998)

    Google Scholar 

  18. Khalil, M., Schätz, B., Voss, S.: A Pattern-based Approach towards Modular Safety Analysis and Argumentation. In: Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France (2014)

    Google Scholar 

  19. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley (1995)

    Google Scholar 

  20. SPES2020 Consortium. Pohl, K., Hönninger, H., Achatz, R., Broy, M.: Model-Based Engineering of Embedded Systems – The SPES 2020 Methodology. Springer (2012)

    Google Scholar 

  21. Mili, H., El-Boussaidi, G.: Representing and applying design patterns: what is the problem? In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 186–200. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  22. Verhulst, E.: OPENCOSS Project Presentation. “Cross-domain systems and safety engineering: Is it feasible?”. Flanders Drive Seminar, Brussels (2013)

    Google Scholar 

  23. Nair, S., de la Vara, J.L., Sabetzadeh, M., Briand, L.: Classification, Structuring, and Assessment of Evidence for Safety: A Systematic Literature Review. In: 6th IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Khalil, M., Prieto, A., Hölzl, F. (2014). A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive Domain. In: Ortmeier, F., Rauzy, A. (eds) Model-Based Safety and Assessment. IMBSA 2014. Lecture Notes in Computer Science, vol 8822. Springer, Cham. https://doi.org/10.1007/978-3-319-12214-4_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-12214-4_11

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-12213-7

  • Online ISBN: 978-3-319-12214-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics