{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T12:09:30Z","timestamp":1759838970180,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319295091"},{"type":"electronic","value":"9783319295107"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-29510-7_11","type":"book-chapter","created":{"date-parts":[[2016,1,29]],"date-time":"2016-01-29T14:39:16Z","timestamp":1454078356000},"page":"189-205","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications"],"prefix":"10.1007","author":[{"given":"Majdi","family":"Ghadhab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Kuntz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitrii","family":"Kuvaiskii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christof","family":"Fetzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,30]]},"reference":[{"key":"11_CR1","first-page":"82","volume-title":"Communications in Computer and Information Science","author":"Eva Beckschulze","year":"2008","unstructured":"Beckschulze, E., et al.: Fault handling approaches on dual-core microcontrollers in safety-critical automotive applications. RWTH Aachen University, Germany, Embedded Software Laboratory (2008)"},{"key":"11_CR2","unstructured":"Temple, C., Vilela, A.: Fehlertolerante Systeme im Fahrzeug: von \u201cfail-safe\u201d zu \u201cfail-operational\u201d. Infineon Technologies. www.elektroniknet.de"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Wanner, D., et al.: Survey on fault-tolerant vehicle design. In: EVS26 International Battery, Hybrid and Fuel Cell Electric Vehicle Symposium, Los Angeles (2012)","DOI":"10.3390\/wevj5020598"},{"key":"11_CR4","volume-title":"Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems","author":"B Powel Douglass","year":"2002","unstructured":"Powel Douglass, B.: Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Addison-Wesley, Boston (2002)"},{"key":"11_CR5","unstructured":"Bernick, D., et al.: Nonstop advanced architecture. Hewlett Packard Company. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN), Yokohama, Japan (2005)"},{"key":"11_CR6","unstructured":"German Electrical and Electronic Manufacturers Assosciation (ZVEI): ConsumerComponents in Safe Automotive Applications. Position paper (2014)"},{"key":"11_CR7","series-title":"Lecture Notes in Mobility","first-page":"263","volume-title":"Advanced Microsystems for Automotive Applications 2015 Smart Systems for Green and Automated Driving","author":"M Ghadhab","year":"2015","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 software-intensive applications? In: Schulze, T., M\u00fcller, B., Meyer, G. (eds.) Advanced Microsystems for Automotive Applications 2015 Smart Systems for Green and Automated Driving. LNIM, pp. 263\u2013275. Springer, Heidelberg (2015)"},{"key":"11_CR8","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic Model Checking. School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT (2007)"},{"issue":"7","key":"11_CR9","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., et al.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(7), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR10","unstructured":"PRISM - Probabilistic Symbolic Model Checker. www.prismmodelchecker.org"},{"key":"11_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511613586","volume-title":"Finite Markov Chains and Algorithmic Applications","author":"H H\u00e4ggstr\u00f6m","year":"2002","unstructured":"H\u00e4ggstr\u00f6m, H.: Finite Markov Chains and Algorithmic Applications. Cambridge University Press, Cambridge (2002)"},{"key":"11_CR12","unstructured":"International Organization for Standardization: ISO 26262: Road vehicles - Functional safety. International standard, 1st edn. (2011)"},{"key":"11_CR13","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental concepts of dependability. Research report, no. 1145, LAAS-CNRS (2001)"},{"key":"11_CR14","volume-title":"Software Fault Tolerance Techniques and Implementation","author":"LL Pullum","year":"2001","unstructured":"Pullum, L.L.: Software Fault Tolerance Techniques and Implementation. Artech House Computing Library, Boston, London (2001)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1109\/TEC.1960.5219855","volume":"3","author":"DT Brown","year":"1960","unstructured":"Brown, D.T.: Error detecting and correcting binary codes for arithmetic operations. IRE Trans. Electron. Comput. 3, 333\u2013337 (1960)","journal-title":"IRE Trans. Electron. Comput."},{"key":"11_CR16","first-page":"3","volume":"3","author":"JL Massey","year":"1964","unstructured":"Massey, J.L.: Survey of residue coding for arithmetic errors. Int. Comput. Cent. Bull. 3, 3\u201317 (1964)","journal-title":"Int. Comput. Cent. Bull."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Nathan, R., Sorin, D.J.: Nostradamus: Low-cost hardware-only error detection for processor cores. In: Design, Automation and Test in Europe Conference and Exhibition (DATE), pp. 1\u20136 (2014)","DOI":"10.7873\/DATE.2014.173"},{"issue":"2","key":"11_CR18","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MM.2008.22","volume":"28","author":"K Reick","year":"2008","unstructured":"Reick, K., et al.: Fault-tolerant design of the IBM Power6 microprocessor. IEEE Micro 28(2), 30\u201338 (2008)","journal-title":"IEEE Micro"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Forin, P.: Vital coded microprocessor principles and application for various transit systems. In: IFAC-GCCT, pp. 79\u201384, Paris, France (1989)","DOI":"10.1016\/B978-0-08-037025-5.50017-7"},{"key":"11_CR20","unstructured":"Schiffel, U.: Hardware error detection using AN-codes. Ph.D thesis, Technische Universit\u00e4t Dresden (2011)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Kuvaiskii, D., Fetzer, C.: $$\\Delta $$ -encoding: practical encoded processing. In: Proceedings of the 45th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, Rio de Janeiro, Brazil (2015)","DOI":"10.1109\/DSN.2015.20"},{"issue":"1","key":"11_CR22","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/24.994913","volume":"51","author":"N Oh","year":"2002","unstructured":"Oh, N., et al.: Error detection by duplicated instructions in superscalar processors. IEEE Trans. Reliab. 51(1), 63\u201375 (2002)","journal-title":"IEEE Trans. Reliab."},{"key":"11_CR23","unstructured":"Reis, G.A., et al.: SWIFT: Software Implemented Fault Tolerance. In: Proceedings of the International Symposium on Code Generation and Optimization (2005)"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Sommer, S., et al.: RACE: a centralized platform computer based architecture for automotive applications. In: Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (2013)","DOI":"10.1109\/IEVC.2013.6681152"},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-29673-4_9","volume-title":"Advanced Microsystems for Automotive Applications 2012 Smart Systems for Safe, Sustainable and Networked Vehicles","author":"M Armbruster","year":"2012","unstructured":"Armbruster, M., Freitag, G., Schmid, T., Spiegelberg, G., Fiege, L., Zirkler, A.: Ethernet-based and function-independent vehicle control-platform: motivation, idea and technical concept fulfilling quantitative safety-requirements from ISO 26262. In: Meyer, G. (ed.) Advanced Microsystems for Automotive Applications 2012 Smart Systems for Safe, Sustainable and Networked Vehicles, pp. 91\u2013107. Springer, Heidelberg (2012)"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29510-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T19:41:33Z","timestamp":1654198893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29510-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319295091","9783319295107"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29510-7_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"30 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}