Abstract
This paper considers the design-phase safety analysis of vehicle guidance systems. The proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety concepts and E/E architectures for drive automation. The fault trees can be used to evaluate various quantitative measures by means of model checking. The approach is accompanied by a large-scale evaluation: The resulting DFTs with up to 300 elements constitute larger-than-before DFTs, yet the concepts and architectures can be evaluated in a matter of minutes.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
ISO: ISO 26262: Road Vehicles - Functional Safety (2011)
Dugan, J.B., Bavuso, S.J., Boyd, M.: Fault trees and sequence dependencies. In: Proceedings of RAMS, pp. 286–293 (1990)
Katoen, J.P.: The probabilistic model checking landscape. In: Proceedings of LICS, pp. 31–45. ACM (2016)
Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15–16, 29–62 (2015)
Volk, M., Junges, S., Katoen, J.P.: Fast dynamic fault tree analysis by model checking techniques. IEEE Trans. Ind. Inform. (2017, to appear)
Junges, S., Guck, D., Katoen, J.P., Rensink, A., Stoelinga, M.: Fault trees on a diet: automated reduction by graph rewriting. Formal Asp. Comput. 29(4), 651–703 (2017)
McKelvin, M.L., Sangiovanni-Vincentelli, A.: Fault tree analysis for the design exploration of fault tolerant automotive architectures. SAE International, SAE Technical Paper, pp. 1–8 (2009)
Leu, K.L., Chen, J.E., Wey, C.L. Chen, Y.Y.: Generic reliability analysis for safety-critical flexray drive-by-wire systems. In: Proceedings of ICCVE, pp. 216–221 (2012)
Rupanov, V., Buckl, C., Fiege, L., Armbruster, M., Knoll, A., Spiegelberg, G.: Employing early model-based safety evaluation to iteratively derive E/E architecture design. Sci. Comput. Program. 90, 161–179 (2014)
Grunske, L., Kaiser, B., Papadopoulos, Y.: Model-driven safety evaluation with state-event-based component failure annotations. In: Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 33–48. Springer, Heidelberg (2005). doi:10.1007/11424529_3
Adler, N., Otten, S., Mohrhard, M., Müller-Glaser, K.D.: Rapid safety evaluation of hardware architectural designs compliant with ISO 26262. In: Proceedings of RSP, pp. 66–72. IEEE (2013)
Walker, M., Reiser, M., Piergiovanni, S.T., Papadopoulos, Y., Lönn, H., Mraidha, C., Parker, D., Chen, D., Servat, D.: Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. 86(10), 2467–2487 (2013)
Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. Comput. J. 54(5), 754–775 (2011)
Leitner-Fischer, F., Leue, S.: QuantUM: quantitative safety analysis of UML models. In: Proceedings of QAPL. EPTCS, vol. 57, pp. 16–30 (2011)
Boudali, H., Crouzen, P., Haverkort, B.R., Kuntz, M., Stoelinga, M.: Architectural dependability evaluation with Arcade. In: Proceedings of DSN, pp. 512–521. IEEE (2008)
Chen, D.J., Johansson, R., Lönn, H., Papadopoulos, Y., Sandberg, A., Törner, F., Törngren, M.: Modelling support for design of safety-critical automotive embedded systems. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 72–85. Springer, Heidelberg (2008). doi:10.1007/978-3-540-87698-4_9
Courtney, T., Gaonkar, S., Keefe, K., Rozier, E., Sanders, W.H.: Möbius 2.3: an extensible tool for dependability, security, and performance evaluation of large and complex system models. In: Proceedings of DSN, pp. 353–358. IEEE (2009)
Keefe, K., Sanders, W.H.: Reliability analysis with dynamic reliability block diagrams in the Möbius modeling tool. ICST Trans. Secur. Saf. 3(10), e3 (2016)
Bozzano, M., Cimatti, A., Lisagor, O., Mattarei, C., Mover, S., Roveri, M., Tonetta, S.: Safety assessment of AltaRica models via symbolic model checking. Sci. Comput. Program. 98, 464–483 (2015)
Armoush, A., Salewski, F., Kowalewski, S.: Design pattern representation for safety-critical embedded systems. JSEA 2(1), 1–12 (2009)
Ghadhab, M., Kaienburg, J., Süßkraut, M., Fetzer, C.: Is software coded processing an answer to the execution integrity challenge of current and future automotive software-intensive applications? In: Schulze, T., Müller, B., Meyer, G. (eds.) Advanced Microsystems for Automotive Applications 2015. LNM, pp. 263–275. Springer, Cham (2016). doi:10.1007/978-3-319-20855-8_21
Junges, S., Guck, D., Katoen, J.P., Stoelinga, M.: Uncovering dynamic fault trees. In: Proceedings of DSN, pp. 299–310. IEEE (2016)
Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Performance evaluation and model checking join forces. Commun. ACM 53(9), 76–85 (2010)
Stamatelatos, M., Vesely, W., Dugan, J.B., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA Headquarters (2002)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Ghadhab, M., Junges, S., Katoen, JP., Kuntz, M., Volk, M. (2017). Model-Based Safety Analysis for Vehicle Guidance Systems. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2017. Lecture Notes in Computer Science(), vol 10488. Springer, Cham. https://doi.org/10.1007/978-3-319-66266-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-66266-4_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66265-7
Online ISBN: 978-3-319-66266-4
eBook Packages: Computer ScienceComputer Science (R0)