Skip to main content
SpringerLink
Log in

Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice

  • Conference paper
  • First Online:
Computer Safety, Reliability, and Security (SAFECOMP 2016)

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

Included in the following conference series:

Abstract

Model-based engineering promises to boost productivity and quality of complex systems development. In the context of safety-critical systems, a traditionally highly regulated and conservative domain, the use of models gained importance in the recent years. In this paper, we present a set of practical challenges in developing safety-critical systems with the help of several examples of development projects that belong to different application domains. Following this, we show how could the adoption of model-based engineering for the development of safety-critical systems cope with these challenges.

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

Notes

  1. 1.

    http://www.projekt-race.de/en/.

References

  1. Int. Electrotechnical Commission (IEC): IEC 61508: Functional safety of electrical/electronic/programmable electronic safety related systems (1998)

    Google Scholar 

  2. Höfig, K., Armbruster, M., Schmid, R.: A vehicle control platform as safety element out of context (2014) (presentation held at HiPEAC Computing Systems Week)

    Google Scholar 

  3. Schultz, M., Meyer, L., Langer, B., Fricke, H.: Model-based safety assessment as integrated part of system development. In: International Workshop on Aircraft System Technologies (AST) (2011)

    Google Scholar 

  4. Rauzy, A.: Mode automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78(1), 1–12 (2002)

    Article  Google Scholar 

  5. Papadopoulos, Y., Parker, D., Grante, C.: Automating the failure modes and effects analysis of safety critical systems. In: International Symposium on High-Assurance Systems Engineering (HASE), pp. 310–311 (2004)

    Google Scholar 

  6. Majdara, A., Wakabayashi, T.: Component-based modeling of systems for automated fault tree generation. Reliab. Eng. Syst. Saf. 94(6), 1076–1086 (2009)

    Article  Google Scholar 

  7. Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Computer Safety, Reliability, and Security (1999)

    Google Scholar 

  8. Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software, pp. 37–46 (2003)

    Google Scholar 

  9. Bechta Dugan, J., Bavuso, S.J., Boyd, M.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41(3), 363–377 (1992)

    Article  MATH  Google Scholar 

  10. Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 2(2), 93–122 (1984)

    Article  Google Scholar 

  11. Kaiser, B., Gramlich, C.: State-event-fault-trees – a safety analysis model for software controlled systems. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol. 3219, pp. 195–209. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  12. IEC: IEC 61165: Application of Markov techniques (1995–2003)

    Google Scholar 

  13. Bozzano, M., Villafiorita, A.: Improving system reliability via model checking: the FSAP/NuSMV-SA safety analysis platform. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol. 2788, pp. 49–62. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  14. Broy, M., Feilkas, M., Herrmannsdoerfer, M., Merenda, S., Ratiu, D.: Seamless model-based development: from isolated tools to integrated model engineering environments. Proc. IEEE 98(4), 526–545 (2010)

    Article  Google Scholar 

  15. Florian Fieber, B.R., Regnat, N.: Assessing usability of model driven development in industrial projects. In: 4th Workshop From Code Centric to Model Centric Software Engineering: Practices, Implications and ROI (2009)

    Google Scholar 

  16. Zeller, M., Höfig, K.: INSiDER: Incorporation of system and safety analysis models using a dedicated reference model. In: Annual Reliability and Maintainability Symposium (RAMS), pp. 1–6 (2016)

    Google Scholar 

  17. Höfig, K., Zeller, M., Heilmann, R.: ALFRED: a methodology to enable component fault trees for layered architectures. In: 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 167–176 (2015)

    Google Scholar 

  18. Höfig, K., Zeller, M., Grunske, L.: metaFMEA-a framework for reusable FMEAs. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 110–122. Springer, Heidelberg (2014)

    Google Scholar 

  19. Möhrle, F., Zeller, M., Höfig, K., Rothfelder, M., Liggesmeyer, P.: Automated compositional safety analysis using component fault trees. In: IEEE International Symposium on Software Reliability Engineering Workshops, pp. 152–159 (2015)

    Google Scholar 

  20. Kelly, T., Weaver, R.: The goal structuring notation - a safety argument notation. In: Proceedings of the Workshop on Assurance Cases (2004)

    Google Scholar 

  21. Höfig, K., Zeller, M., Schorp, K.: Automated failure propagation using inner port dependency traces. In: Proceedings of the 11th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA), pp. 123–128 (2015)

    Google Scholar 

  22. Baker, P., Loh, S.C., Weil, F.: Model-driven engineering in a large industrial context — motorola case study. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 476–491. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  23. Liebel, G., Marko, N., Tichy, M., Leitner, A., Hansson, J.: Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice. In: Software & Systems Modeling, pp. 1–23 (2016)

    Google Scholar 

  24. McDermid, J., Kelly, T.: Software in Safety Critical Systems: Achievement and Prediction. University of York, UK (2006)

    Google Scholar 

  25. Lisagor, O., Sun, L., Kelly, T., The illusion of method: Challenges of model-based safety assessment. In: Proceedings of 28th International System Safety Conference (2010)

    Google Scholar 

  26. Lisagor, O., Kelly, T., Niu, R.: Model-based safety assessment: Review of the discipline and its challenges. In: 9th International Conference on Reliability, Maintainability and Safety (ICRMS), pp. 625–632 (2011)

    Google Scholar 

  27. Sharvia, S., Kabir, S., Walker, M., Papadopoulos, Y.: Model-based dependability analysis: State-of-the-art, challenges, and future outlook. In: Software Quality Assurance, pp. 251–278 (2016)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Siemens AG, Corporate Technology, Otto-Hahn-Ring 6, 81739, Munich, Germany

    Marc Zeller, Daniel Ratiu & Kai Höfig

Authors
  1. Marc Zeller
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniel Ratiu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kai Höfig
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marc Zeller .

Editor information

Editors and Affiliations

  1. Norwegian University of Science and Technology, Trondheim, Norway

    Amund Skavhaug

  2. University of Toulouse, Toulouse, France

    Jérémie Guiochet

  3. Austrian Institute of Technology GmbH, Wien, Austria

    Erwin Schoitsch

  4. Thales Transportation Systems GmbH, Ditzingen, Germany

    Friedemann Bitsch

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Zeller, M., Ratiu, D., Höfig, K. (2016). Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice. In: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2016. Lecture Notes in Computer Science(), vol 9923. Springer, Cham. https://doi.org/10.1007/978-3-319-45480-1_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-45480-1_26

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-45479-5

  • Online ISBN: 978-3-319-45480-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation