{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T14:03:35Z","timestamp":1767967415702,"version":"3.49.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030002435","type":"print"},{"value":"9783030002442","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00244-2_3","type":"book-chapter","created":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T00:12:38Z","timestamp":1535587958000},"page":"35-51","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Automated Functional Safety Analysis of Automated Driving Systems"],"prefix":"10.1007","author":[{"given":"Martin","family":"K\u00f6lbl","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Leue","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,30]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Adler, R., Feth, P., Schneider, D.: Safety engineering for autonomous vehicles. In: DSN Workshops, pp. 200\u2013205. IEEE Computer Society (2016)","DOI":"10.1109\/DSN-W.2016.30"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"4505","DOI":"10.1109\/ACCESS.2017.2683508","volume":"5","author":"GM Bahig","year":"2017","unstructured":"Bahig, G.M., El-Kadi, A.: Formal verification of automotive design in compliance with ISO 26262 design verification guidelines. IEEE Access 5, 4505\u20134516 (2017)","journal-title":"IEEE Access"},{"issue":"6","key":"3_CR3","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR4","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/j.infsof.2015.12.008","volume":"73","author":"S Behere","year":"2016","unstructured":"Behere, S., T\u00f6rngren, M.: A functional reference architecture for autonomous driving. Inf. Softw. Technol. 73, 136\u2013150 (2016)","journal-title":"Inf. Softw. Technol."},{"key":"3_CR6","unstructured":"Cuenot, P., Ainhauser, C., Adler, N., Otten, S., Meurville, F.: Applying model based techniques for early safety evaluation of an automotive architecture in compliance with the ISO 26262 standard. In: Proceedings of the 7th European Congress on Embedded Real Time Software and Systems (ERTS$$^2$$) (2014)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-66266-4_1","volume-title":"Computer Safety, Reliability, and Security","author":"M Ghadhab","year":"2017","unstructured":"Ghadhab, M., Junges, S., Katoen, J.-P., Kuntz, M., Volk, M.: Model-based safety analysis for vehicle guidance systems. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2017. LNCS, vol. 10488, pp. 3\u201319. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-66266-4_1"},{"key":"3_CR8","unstructured":"ISO: Road vehicles - functional safety. ISO 26262, International Organization for Standardization, Geneva, Switzerland (2011)"},{"key":"3_CR9","unstructured":"ISO: Draft international standard, road vehicles - functional safety. Technical report ISO\/DIS 26262, International Organization for Standardization, Geneva, Switzerland (2016)"},{"key":"3_CR10","unstructured":"ISO: Road vehicles - safety of the intended functionality. Technical report ISO\/WD PAS 21448, International Organization for Standardization, Geneva, Switzerland (2017)"},{"key":"3_CR11","unstructured":"Koopman P., Wagner, M.: Challenges in autonomous vehicle testing and validation (2016). Preprint \nhttps:\/\/users.ece.cmu.edu\/~koopman\/pubs\/koopman16_sae_autonomous_validation.pdf"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-319-31895-0_14","volume-title":"Automated Driving: Safer and More Efficient Future Driving","author":"A Leitner","year":"2017","unstructured":"Leitner, A., Ochs, T., Bulwahn, L., Watzenig, D.: Open dependable power computing platform for automated driving. In: Watzenig, D., Horn, M. (eds.) Automated Driving, pp. 353\u2013367. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-31895-0_14"},{"key":"3_CR14","unstructured":"Leitner-Fischer, F.: Causality checking of safety-critical software and systems. Ph.D. thesis, University of Konstanz, Germany (2015)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Leitner-Fischer, F., Leue, S.: QuantUM: quantitative safety analysis of UML models. In: QAPL. EPTCS, vol. 57, pp. 16\u201330 (2011)","DOI":"10.4204\/EPTCS.57.2"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-642-35873-9_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F Leitner-Fischer","year":"2013","unstructured":"Leitner-Fischer, F., Leue, S.: Causality checking for complex system models. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 248\u2013267. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-35873-9_16"},{"issue":"2","key":"3_CR17","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1504\/IJCCBS.2013.056492","volume":"4","author":"F Leitner-Fischer","year":"2013","unstructured":"Leitner-Fischer, F., Leue, S.: Probabilistic fault tree synthesis using causality computation. IJCCBS 4(2), 119\u2013143 (2013)","journal-title":"IJCCBS"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-319-31895-0_16","volume-title":"Automated Driving: Safer and More Efficient Future Driving","author":"H Martin","year":"2017","unstructured":"Martin, H., Tschabuschnig, K., Bridal, O., Watzenig, D.: Functional safety of automated driving systems: does ISO 26262 meet the challenges? In: Watzenig, D., Horn, M. (eds.) Automated Driving, pp. 387\u2013416. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-31895-0_16"},{"key":"3_CR19","unstructured":"OMG: Systems Modeling Language (SysML), Version 1.5. Technical report, OMG (2017)"},{"key":"3_CR20","unstructured":"SAE: J3016$$\\_$$201609: Taxonomy and definitions for terms related to driving automation systems for on-road motor vehicles, September 2016. \nhttps:\/\/www.sae.org\/standards\/content\/j3016_201609"},{"issue":"2","key":"3_CR21","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1145\/1897816.1897844","volume":"54","author":"B Schroeder","year":"2011","unstructured":"Schroeder, B., Pinheiro, E., Weber, W.: DRAM errors in the wild: a large-scale field study. Commun. ACM 54(2), 100\u2013107 (2011)","journal-title":"Commun. ACM"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Gnesi, S., Koch, N., Mazzanti, F.: Formal verification of an automotive scenario in service-oriented computing. In: ICSE, pp. 613\u2013622. ACM (2008)","DOI":"10.1145\/1368088.1368173"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-31895-0_1","volume-title":"Automated Driving: Safer and More Efficient Future Driving","author":"D Watzenig","year":"2017","unstructured":"Watzenig, D., Horn, M.: Introduction to automated driving. In: Watzenig, D., Horn, M. (eds.) Automated Driving, pp. 3\u201316. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-31895-0_1"},{"key":"3_CR24","series-title":"SpringerBriefs in Applied Sciences and Technology","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-57445-5_1","volume-title":"Comprehensive Energy Management - Safe Adaptation, Predictive Control and Thermal Management","author":"G Weiss","year":"2018","unstructured":"Weiss, G., Schleiss, P., Drabek, C., Ruiz, A., Radermacher, A.: Safe adaptation for reliable and energy-efficient E\/E architectures. In: Watzenig, D., Brandst\u00e4tter, B. (eds.) Comprehensive Energy Management - Safe Adaptation, Predictive Control and Thermal Management. SAST, pp. 1\u201318. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-57445-5_1"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00244-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T00:17:12Z","timestamp":1535588232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00244-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030002435","9783030002442"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00244-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}