{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T20:37:35Z","timestamp":1757450255802,"version":"3.37.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319662657"},{"type":"electronic","value":"9783319662664"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66266-4_1","type":"book-chapter","created":{"date-parts":[[2017,8,15]],"date-time":"2017-08-15T22:33:31Z","timestamp":1502836411000},"page":"3-19","source":"Crossref","is-referenced-by-count":10,"title":["Model-Based Safety Analysis for Vehicle Guidance Systems"],"prefix":"10.1007","author":[{"given":"Majdi","family":"Ghadhab","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Junges","sequence":"additional","affiliation":[]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Kuntz","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Volk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,17]]},"reference":[{"key":"1_CR1","unstructured":"ISO: ISO 26262: Road Vehicles - Functional Safety (2011)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.: Fault trees and sequence dependencies. In: Proceedings of RAMS, pp. 286\u2013293 (1990)","DOI":"10.1109\/ARMS.1990.67971"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Katoen, J.P.: The probabilistic model checking landscape. In: Proceedings of LICS, pp. 31\u201345. ACM (2016)","DOI":"10.1145\/2933575.2934574"},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15\u201316","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15\u201316, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Volk, M., Junges, S., Katoen, J.P.: Fast dynamic fault tree analysis by model checking techniques. IEEE Trans. Ind. Inform. (2017, to appear)","DOI":"10.1109\/TII.2017.2710316"},{"issue":"4","key":"1_CR6","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1007\/s00165-016-0412-0","volume":"29","author":"S Junges","year":"2017","unstructured":"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\u2013703 (2017)","journal-title":"Formal Asp. Comput."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"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\u20138 (2009)","DOI":"10.4271\/2009-01-1377"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"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\u2013221 (2012)","DOI":"10.1109\/ICCVE.2012.48"},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.scico.2013.10.005","volume":"90","author":"V Rupanov","year":"2014","unstructured":"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\u2013179 (2014)","journal-title":"Sci. Comput. Program."},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11424529_3","volume-title":"Component-Based Software Engineering","author":"L Grunske","year":"2005","unstructured":"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\u201348. Springer, Heidelberg (2005). doi: 10.1007\/11424529_3"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Adler, N., Otten, S., Mohrhard, M., M\u00fcller-Glaser, K.D.: Rapid safety evaluation of hardware architectural designs compliant with ISO 26262. In: Proceedings of RSP, pp. 66\u201372. IEEE (2013)","DOI":"10.1109\/RSP.2013.6683960"},{"issue":"10","key":"1_CR12","doi-asserted-by":"crossref","first-page":"2467","DOI":"10.1016\/j.jss.2013.04.001","volume":"86","author":"M Walker","year":"2013","unstructured":"Walker, M., Reiser, M., Piergiovanni, S.T., Papadopoulos, Y., L\u00f6nn, H., Mraidha, C., Parker, D., Chen, D., Servat, D.: Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. 86(10), 2467\u20132487 (2013)","journal-title":"J. Syst. Softw."},{"issue":"5","key":"1_CR13","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M Bozzano","year":"2011","unstructured":"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\u2013775 (2011)","journal-title":"Comput. J."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Leitner-Fischer, F., Leue, S.: QuantUM: quantitative safety analysis of UML models. In: Proceedings of QAPL. EPTCS, vol. 57, pp. 16\u201330 (2011)","DOI":"10.4204\/EPTCS.57.2"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Boudali, H., Crouzen, P., Haverkort, B.R., Kuntz, M., Stoelinga, M.: Architectural dependability evaluation with Arcade. In: Proceedings of DSN, pp. 512\u2013521. IEEE (2008)","DOI":"10.1109\/DSN.2008.4630122"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-87698-4_9","volume-title":"Computer Safety, Reliability, and Security","author":"DJ Chen","year":"2008","unstructured":"Chen, D.J., Johansson, R., L\u00f6nn, H., Papadopoulos, Y., Sandberg, A., T\u00f6rner, F., T\u00f6rngren, 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\u201385. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-87698-4_9"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Courtney, T., Gaonkar, S., Keefe, K., Rozier, E., Sanders, W.H.: M\u00f6bius 2.3: an extensible tool for dependability, security, and performance evaluation of large and complex system models. In: Proceedings of DSN, pp. 353\u2013358. IEEE (2009)","DOI":"10.1109\/DSN.2009.5270318"},{"issue":"10","key":"1_CR18","first-page":"e3","volume":"3","author":"K Keefe","year":"2016","unstructured":"Keefe, K., Sanders, W.H.: Reliability analysis with dynamic reliability block diagrams in the M\u00f6bius modeling tool. ICST Trans. Secur. Saf. 3(10), e3 (2016)","journal-title":"ICST Trans. Secur. Saf."},{"key":"1_CR19","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1016\/j.scico.2014.06.003","volume":"98","author":"M Bozzano","year":"2015","unstructured":"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\u2013483 (2015)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"1_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4236\/jsea.2009.21001","volume":"2","author":"A Armoush","year":"2009","unstructured":"Armoush, A., Salewski, F., Kowalewski, S.: Design pattern representation for safety-critical embedded systems. JSEA 2(1), 1\u201312 (2009)","journal-title":"JSEA"},{"key":"1_CR21","series-title":"Lecture Notes in Mobility","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-319-20855-8_21","volume-title":"Advanced Microsystems for Automotive Applications 2015","author":"M Ghadhab","year":"2016","unstructured":"Ghadhab, M., Kaienburg, J., S\u00fc\u00dfkraut, 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\u00fcller, B., Meyer, G. (eds.) Advanced Microsystems for Automotive Applications 2015. LNM, pp. 263\u2013275. Springer, Cham (2016). doi: 10.1007\/978-3-319-20855-8_21"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Junges, S., Guck, D., Katoen, J.P., Stoelinga, M.: Uncovering dynamic fault trees. In: Proceedings of DSN, pp. 299\u2013310. IEEE (2016)","DOI":"10.1109\/DSN.2016.35"},{"issue":"9","key":"1_CR23","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1145\/1810891.1810912","volume":"53","author":"C Baier","year":"2010","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Performance evaluation and model checking join forces. Commun. ACM 53(9), 76\u201385 (2010)","journal-title":"Commun. ACM"},{"key":"1_CR24","unstructured":"Stamatelatos, M., Vesely, W., Dugan, J.B., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA Headquarters (2002)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66266-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T08:38:23Z","timestamp":1570005503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66266-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319662657","9783319662664"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66266-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}