{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T10:15:23Z","timestamp":1770977723316,"version":"3.50.1"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319295091","type":"print"},{"value":"9783319295107","type":"electronic"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29510-7_8","type":"book-chapter","created":{"date-parts":[[2016,1,29]],"date-time":"2016-01-29T14:39:16Z","timestamp":1454078356000},"page":"139-154","source":"Crossref","is-referenced-by-count":3,"title":["A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Becker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Voss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,30]]},"reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-3-319-10431-7_15","volume-title":"Software Engineering and Formal Methods","author":"K Becker","year":"2014","unstructured":"Becker, K., Sch\u00e4tz, B., Armbruster, M., Buckl, C.: A formal model for constraint-based deployment calculation and analysis for fault-tolerant systems. In: Giannakopoulou, D., Sala\u00fcn, G. (eds.) SEFM 2014. LNCS, vol. 8702, pp. 205\u2013219. Springer, Heidelberg (2014)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Becker, K., Voss, S.: Analyzing graceful degradation for mixed critical fault-tolerant real-time systems. In: IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) (2015)","DOI":"10.1109\/ISORC.2015.10"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"NS Bj\u00f8rner","year":"2008","unstructured":"Bj\u00f8rner, N.S., de Moura, L.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-3-662-46681-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"N Bj\u00f8rner","year":"2015","unstructured":"Bj\u00f8rner, N., Phan, A.-D., Fleckenstein, L.: $$\\nu $$ Z - an optimizing SMT solver. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 194\u2013199. Springer, Heidelberg (2015)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Blanke, M., Staroswiecki, M., Wu, N.E.: Concepts and methods in fault-tolerant control. In: Proceedings of the American Control Conference, vol. 4, pp. 2606\u20132620. IEEE (2001)","DOI":"10.1109\/ACC.2001.946264"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-29673-4_9","volume-title":"Advanced Microsystems for Automotive Applications 2012 (AMAA)","author":"M Armbruster","year":"2012","unstructured":"Armbruster, M., Fiege, L., Freitag, G., Schmid, T., Spiegelberg, G., 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 (AMAA), pp. 91\u2013107. Springer, Heidelberg (2012)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Sommer, S., Camek, A., Becker, K., Buckl, C., Knoll, A., Zirkler, A., Fiege, L., Armbruster, M., Spiegelberg, G.: RACE: a centralized platform computer based architecture for automotive applications. In: IEEE Vehicular Electronics Conference \/ International Electric Vehicle Conference (VEC-IEVC) (2013)","DOI":"10.1109\/IEVC.2013.6681152"},{"key":"8_CR9","unstructured":"Becker, K., Frtunikj, J., Felser, M., Fiege, L., Buckl, C., Rothbauer, S., Zhang, L., Klein, C.: RACE RTE: a runtime environment for robust fault-tolerant vehicle functions. In: 3rd Workshop on Critical Automotive Applications : Robustness & Safety (CARS) (2015)"},{"key":"8_CR10","unstructured":"Rushby, J.: Partitioning in avionics architectures: Requirements, mechanisms, and assurance. Technical report, DTIC Document (2000)"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29510-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T07:59:04Z","timestamp":1748764744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29510-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319295091","9783319295107"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29510-7_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}