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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
References
Int. Electrotechnical Commission (IEC): IEC 61508: Functional safety of electrical/electronic/programmable electronic safety related systems (1998)
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)
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)
Rauzy, A.: Mode automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78(1), 1–12 (2002)
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)
Majdara, A., Wakabayashi, T.: Component-based modeling of systems for automated fault tree generation. Reliab. Eng. Syst. Saf. 94(6), 1076–1086 (2009)
Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Computer Safety, Reliability, and Security (1999)
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)
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)
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)
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)
IEC: IEC 61165: Application of Markov techniques (1995–2003)
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)
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)
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)
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)
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)
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)
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)
Kelly, T., Weaver, R.: The goal structuring notation - a safety argument notation. In: Proceedings of the Workshop on Assurance Cases (2004)
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)
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)
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)
McDermid, J., Kelly, T.: Software in Safety Critical Systems: Achievement and Prediction. University of York, UK (2006)
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)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)