Skip to main content
SpringerLink
Log in

Pattern Libraries Guiding the Model-Based Reuse of Automotive Solutions

  • Conference paper
  • First Online:
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering (SAM 2018)

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

Included in the following conference series:

Abstract

The reuse of proven solutions (e.g., Safety Mechanisms or architecture designs) for safety-critical applications is considered a good practice for increasing confidence in the system design and cutting development cost and time, and is widely-spread in practice. However, reuse in safety-critical applications is mostly ad-hoc, with lack of process maturity or adequate tool support. Moreover, it is difficult to assess the quality or completeness of a reuse process, if there is no “definition of done”. In previously published works, we defined a structured “Pattern Library “approach for the reuse of Safety Mechanisms (fault avoidance/error detection and handling) in the automotive domain, elaborating a prototypical tool implementation for the Pattern User role. This paper expands this definition and elaborates the usage workflow of the Pattern Library approach for the Pattern Developer role, demonstrating how the approach can be used to guide reuse, but also – via a summary of multiple evaluations – identify tool gaps and help guide and prioritize tool extension and selection.

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

Access this chapter

Log in via an institution
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 EPUB and 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

Institutional subscriptions

References

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

  2. Kelly, T., Weaver, R.: The goal structuring notation. A safety argument notation. In: Proceedings DSN 2004 Workshop on Assurance Cases (2004)

    Google Scholar 

  3. 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, USA (2004)

    Google Scholar 

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

    Google Scholar 

  5. Wagner, S., Schatz, B., Puchner, S., Kock, P.: A case study on safety cases in the automotive domain: modules, patterns, and models. In: Proceedings International Symposium on Software Reliability Engineering (ISSRE 2010), IEEE Computer Society (2010)

    Google Scholar 

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

  7. AutoFOCUS 3, research CASE tool, af3.fortiss.org, fortiss (2018)

    Google Scholar 

  8. ISO/IEC/IEEE 42010: Systems and software engineering—Architecture description (2011). www.iso.org

  9. Carlan, C.: Implementierung unterschiedlicher Redundanzkonzepte zur automatischen Generierung entsprechender logischer Strukturen für ein sicheres Verhalten gemischt-kritischer Systeme im CASE-Tool AutoFocus3. Bachelor Thesis (German). Technische Universität München. Faculty of Informatics. Chair of Software and Systems Engineering (2012). http://download.fortiss.org/public/carlan/BA_Carmen_Carlan.pdf

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

    Google Scholar 

  11. Khalil, M., Schatz, B., Voss, S.: A pattern-based approach towards modular safety analysis and argumentation. In: Embedded Real Time Software and Systems Conference (ERTS2014) – Toulouse, France (2014)

    Google Scholar 

  12. Khalil, M., Prieto, A., Hölzl, F.: A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 137–151. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-12214-4_11

    Chapter  Google Scholar 

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

  14. The SAFE Consortium. Deliverable D3.5c “SAFE Meta-Model: System, SW, HW reference meta-model definition. www.safe-project.eu ITEA2 (2014)

  15. Eder, J., Zverlov, S., Voss, S., Khalil, M., Ipatiov, A.: Bringing DSE to life: exploring the design space of an industrial automotive use case. In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2017). https://doi.org/10.1109/MODELS.2017.36

  16. Eder, J., Zverlov, S., Voss, S., Ipatiov, A., Khalil, M.: From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures. In: 2018 ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS). Accepted (2018)

    Google Scholar 

  17. Kelly, T., Habli, I., et al.: Origin Consulting (York) Limited, on behalf of the Contributors. Goal Structuring Notation (GSN). GSN COMMUNITY STANDARD VERSION 1, November 2011

    Google Scholar 

  18. Mili, H., El-Boussaidi, G.: Representing and applying design patterns: what is the problem? In: Briand, L., Williams, C. (eds.) MODELS 2005. LNCS, vol. 3713, pp. 186–200. Springer, Heidelberg (2005). https://doi.org/10.1007/11557432_14

    Chapter  Google Scholar 

  19. Gleirscher, M., Kugele, S.: A study of safety patterns: first results (2016). https://doi.org/10.13140/rg.2.2.23347.22562

  20. Douglass, B.P.: Doing Hard Time: Developing Real-Time System with UML, Objects, Frameworks, and Pattern. Addison-Wesley, New York (1999)

    Google Scholar 

  21. Damaševicius, R., Štuikys, V.: Application of UML for hardware design based on design process model. In: ASP-DAC ’04: Proceedings of the 2004 Asia and South Pacific Design Automation Conference, pp. 244–249. IEEE Press, Piscataway, NJ, USA (2004)

    Google Scholar 

  22. Rincon, F., Moya, F., Barba, J., Lopez, J.C.: Model reuse through hardware design patterns. In: DATE ’05: Proceedings of the conference on Design, Automation and Test in Europe, pp. 324–329. IEEE Computer Society, Washington, DC, USA (2005)

    Google Scholar 

  23. Gomaa, H., Hussein, M.: Model-based software design and adaptation. In: Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, p. 7. IEEE Computer Society (2007)

    Google Scholar 

  24. Verhulst, E., Sputh, B.H.C.: ARRL: a criterion for composable safety and systems engineering. In: Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security SAFECOMP (2013)

    Google Scholar 

  25. Denney, E., Pai, G.: A lightweight methodology for safety case assembly. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 1–12. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33678-2_1

    Chapter  Google Scholar 

  26. Denney, E., Pai, G., Pohl, J.: Advocate: an assurance case automation toolset. In: Proceedings of Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 31st International Conference on Computer Safety, Reliability and Security SAFECOMP, pp 8–21 (2012)

    Google Scholar 

  27. Armengaud, E.: Automated safety case compilation for product-based argumentation. In: Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France (2014)

    Google Scholar 

  28. Hawkins, R., Habli, I., Kolovos, D., Paige, R., Kelly, T.: Weaving an assurance case from design: a model-based approach. In: 16th IEEE International Symposium on High Assurance Systems Engineering – HASE2015. Florida (2015)

    Google Scholar 

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

    Google Scholar 

  30. ISO/IEC/IEEE 15288: Systems and software engineering – System life cycle processes Standard. https://www.iso.org (2015)

  31. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston, MA, USA (1994)

    MATH  Google Scholar 

  32. Prieto Rodriguez, A.A.: Exploration of a pattern-based approach for the reuse of safety mechanisms in embedded systems. Master’s Thesis. Technische Universität München. Faculty of Informatics. Chair of Software and Systems Engineering (2014)

    Google Scholar 

  33. Khalil, M.: Design patterns to the rescue: guided model-based reuse for automotive solutions. In: 2018. 25th Pattern Languages of Programming Conference. PLoP2018. Portland. Oregon, USA. In review

    Google Scholar 

  34. Zverlov, S., Khalil, M., Chaudhary, M.: Pareto-efficient deployment synthesis for safety-critical applications. In: Embedded Real Time Software and Systems Conference (ERTS 2016), Toulouse, France (2016)

    Google Scholar 

  35. AADL. Architecture Analysis and Design Language. SAE International Standard AS-5506 Ver. 2.1. 2102 (2018). www.aadl.info

  36. Hamid, B.: A model-driven approach for developing a model repository: methodology and tool support. Future Gen. Comput. Syst. 68, 473–490 (2017). ISSN 0167-739X

    Article  Google Scholar 

  37. Hauge, A., Stølen, K.: An analytic evaluation of the SaCS pattern language—Including explanations of major design choices. In: Patterns, pp. 79–88 (2014)

    Google Scholar 

  38. Hauge, A.A.: SaCS: a method and a pattern language for the development of conceptual safety designs. Doctoral Dissertation. Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo. No. 1568. ISSN 1501-7710 (2014)

    Google Scholar 

  39. Habli, I., Kelly, T.: Process and product certification arguments – getting the balance right. SIGBED Rev. 3(4), 1–8 (2006)

    Article  Google Scholar 

  40. Hamid, B.: SEMCO Project, System and software Engineering for embedded systems applications with Multi- COncerns support, http://www.semcomdt.org

  41. Schmidt, D.: Model-driven engineering. IEEE Comput. 39(2), 41–47 (2006)

    Article  Google Scholar 

  42. Crnkovic, I., Chaudron, M.R.V., Larsson, S.: Component-based development process and component lifecycle. In: Proceedings of the International Conference on Software Engineering Advances, ICSEA 2006, p. 44. IEEE Computer Society (2006)

    Google Scholar 

  43. Frakes, W., Kang, K.: Software reuse research: status and future. IEEE Trans. Softw. Eng. 31(7), 529–536 (2005)

    Article  Google Scholar 

Download references

Acknowledgement

The initial specification of this approach stems from and was carried out in the integrated development environment for the ITEA2 SAFE project and the EUROSTARS SAFE-E project, with proof-of-concept implementation in the research CASE tool AUTOFOCUS3 (AF3). AF3 is the result of the hard work of many researchers and employees of the Software and Systems Engineering Department at the fortiss Institute in Munich, Germany.

Author information

Authors and Affiliations

  1. Continental Teves AG & Co. oHG – Chassis & Safety Division/Systems & Technology, Guerickestr. 7, 60488, Frankfurt am Main, Germany

    Maged Khalil

Authors
  1. Maged Khalil
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maged Khalil .

Editor information

Editors and Affiliations

  1. Concordia University, Montreal, QC, Canada

    Ferhat Khendek

  2. University of Kaiserslautern, Kaiserslautern, Germany

    Reinhard Gotzhein

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Khalil, M. (2018). Pattern Libraries Guiding the Model-Based Reuse of Automotive Solutions. In: Khendek, F., Gotzhein, R. (eds) System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering. SAM 2018. Lecture Notes in Computer Science(), vol 11150. Springer, Cham. https://doi.org/10.1007/978-3-030-01042-3_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-01042-3_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-01041-6

  • Online ISBN: 978-3-030-01042-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation