{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T11:15:52Z","timestamp":1720437352019},"reference-count":57,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T00:00:00Z","timestamp":1519862400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100006360","name":"Federal Ministry for Economic Affairs and Energy","doi-asserted-by":"publisher","award":["01ME12009"],"id":[{"id":"10.13039\/501100006360","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1016\/j.scico.2017.10.007","type":"journal-article","created":{"date-parts":[[2017,11,8]],"date-time":"2017-11-08T01:00:16Z","timestamp":1510102816000},"page":"89-133","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":5,"special_numbering":"C","title":["Formal analysis of feature degradation in fault-tolerant automotive systems"],"prefix":"10.1016","volume":"154","author":[{"given":"Klaus","family":"Becker","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Voss","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Sch\u00e4tz","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.scico.2017.10.007_br0010","series-title":"Adv. Microsystems for Automotive Applications","first-page":"91","article-title":"Ethernet-based and function-independent vehicle control-platform: motivation, idea and technical concept fulfilling quantitative safety-requirements from ISO 26262","author":"Armbruster","year":"2012"},{"key":"10.1016\/j.scico.2017.10.007_br0030","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","article-title":"Basic concepts and taxonomy of dependable and secure computing","volume":"1","author":"Avizienis","year":"2004","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"10.1016\/j.scico.2017.10.007_br0040","series-title":"1st Workshop on Engineering Dependable Systems of Systems","article-title":"Deployment calculation and analysis for a fail-operational automotive platform","author":"Becker","year":"2014"},{"key":"10.1016\/j.scico.2017.10.007_br0050","series-title":"3rd Workshop on Critical Automotive Applications: Robustness & Safety","article-title":"RACE RTE: a runtime environment for robust fault-tolerant vehicle functions","author":"Becker","year":"2015"},{"key":"10.1016\/j.scico.2017.10.007_br0060","series-title":"12th Int. Conference on Software Engineering and Formal Methods","first-page":"205","article-title":"A formal model for constraint-based deployment calculation and analysis for fault-tolerant systems","volume":"vol. 8702","author":"Becker","year":"2014"},{"key":"10.1016\/j.scico.2017.10.007_br0070","series-title":"18th International Symposium on Real-Time Distributed Computing","first-page":"110","article-title":"Analyzing graceful degradation for mixed critical fault-tolerant real-time systems","author":"Becker","year":"2015"},{"key":"10.1016\/j.scico.2017.10.007_br0080","series-title":"4th Int. Workshop on Formal Techniques for Safety-Critical Systems","first-page":"139","article-title":"A formal model and analysis of feature degradation in fault-tolerant systems","volume":"vol. 596","author":"Becker","year":"2015"},{"key":"10.1016\/j.scico.2017.10.007_br0090","series-title":"20th Int. Conf on Logic for Programming, Artificial Intelligence, and Reasoning","article-title":"Satisfiability: from quality to quantities (invited talk)","volume":"vol. 9450","author":"Bj\u00f8rner","year":"2015"},{"key":"10.1016\/j.scico.2017.10.007_br0100","series-title":"6th Int. Symposium on Symbolic Computation in Software Science","first-page":"1","article-title":"\u03bdZ \u2013 maximal satisfaction with Z3","volume":"vol. 30","author":"Bj\u00f8rner","year":"2014"},{"key":"10.1016\/j.scico.2017.10.007_br0110","series-title":"21st Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems","article-title":"\u03bdZ \u2013 an optimizing SMT solver","author":"Bj\u00f8rner","year":"2015"},{"key":"10.1016\/j.scico.2017.10.007_br0120","series-title":"Proceedings of the American Control Conference, vol. 4","first-page":"2606","article-title":"Concepts and methods in fault-tolerant control","author":"Blanke","year":"2001"},{"key":"10.1016\/j.scico.2017.10.007_br0130","series-title":"6th International Conference on Software Engineering Research, Management and Applications","first-page":"21","article-title":"Automated deployment of distributed software components with fault tolerance guarantees","author":"Boone","year":"2008"},{"key":"10.1016\/j.scico.2017.10.007_br0140","series-title":"Organic Computing","first-page":"261","article-title":"An artificial hormone system for self-organizing real-time task allocation in organic middleware","author":"Brinkschulte","year":"2008"},{"key":"10.1016\/j.scico.2017.10.007_br0150","series-title":"Workshop on Adaptive and Reconfigurable Embedded Systems (APRES)","article-title":"CHROMOSOME: a run-time environment for plug & play-capable embedded real-time systems","author":"Buckl","year":"2014"},{"key":"10.1016\/j.scico.2017.10.007_br0160","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1613\/jair.3196","article-title":"Computing small unsatisfiable cores in satisfiability modulo theories","author":"Cimatti","year":"2011","journal-title":"J. Artif. Intell. Res."},{"key":"10.1016\/j.scico.2017.10.007_br0170","series-title":"Tools and Algorithms for the Construction and Analysis of Systems","first-page":"337","article-title":"Z3: an efficient SMT solver","author":"De Moura","year":"2008"},{"key":"10.1016\/j.scico.2017.10.007_br0180","series-title":"Proceedings of the 4th International Workshop on Intelligent Transportation (WIT)","first-page":"85","article-title":"Self-configuration of vehicle systems-algorithms and simulation","author":"Dinkel","year":"2007"},{"key":"10.1016\/j.scico.2017.10.007_br0190","series-title":"Searching for Flexible Solutions to Task Allocation Problems","author":"Emberson","year":"2009"},{"key":"10.1016\/j.scico.2017.10.007_br0200","series-title":"Real-Time Systems Symposium (RTSS)","first-page":"270","article-title":"Extending a task allocation algorithm for graceful degradation of real-time distributed embedded systems","author":"Emberson","year":"2008"},{"key":"10.1016\/j.scico.2017.10.007_br0210","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/857076.857078","article-title":"The many faces of publish\/subscribe","volume":"35","author":"Eugster","year":"2003","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/j.scico.2017.10.007_br0220","series-title":"47th IEEE Conference on Decision and Control","first-page":"3737","article-title":"Self configuration of dependent tasks for dynamically reconfigurable automotive embedded systems","author":"Feng","year":"2008"},{"key":"10.1016\/j.scico.2017.10.007_br0230","series-title":"Proceedings of the Conference on Design, Automation and Test in Europe","first-page":"320","article-title":"Incorporating graceful degradation into embedded system design","author":"Gla\u00df","year":"2009"},{"key":"10.1016\/j.scico.2017.10.007_br0240","series-title":"Optimisation of the Allocation of Functions in Vehicle Networks","author":"Hardung","year":"2006"},{"key":"10.1016\/j.scico.2017.10.007_br0250","doi-asserted-by":"crossref","first-page":"1381","DOI":"10.4304\/jsw.6.8.1381-1394","article-title":"A graph-based approach for deploying component-based applications into channel-based distributed environments","volume":"6","author":"Heydarnoori","year":"2011","journal-title":"J. Softw."},{"key":"10.1016\/j.scico.2017.10.007_br0260","series-title":"International Working Conference on Component Deployment","first-page":"108","article-title":"Packaging predictable assembly","author":"Hissam","year":"2002"},{"key":"10.1016\/j.scico.2017.10.007_br0270","series-title":"Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures","first-page":"123","article-title":"Automated failure propagation using inner port dependency traces","author":"H\u00f6fig","year":"2015"},{"key":"10.1016\/j.scico.2017.10.007_br0280","series-title":"ISO 26262-1 \u2013 Road Vehicles \u2013 Functional Safety, Part 1: Glossary","author":"International Organization for Standardization (ISO)","year":"2011"},{"key":"10.1016\/j.scico.2017.10.007_br0290","series-title":"ISO 26262-6 \u2013 Road Vehicles \u2013 Functional Safety, Part 6: Product Development at the Software Level","author":"International Organization for Standardization (ISO)","year":"2011"},{"key":"10.1016\/j.scico.2017.10.007_br0300","series-title":"ISO 26262-9 \u2013 Road Vehicles \u2013 Functional Safety, Part 9: ASIL Oriented and Safety-Oriented Analyses","author":"International Organization for Standardization (ISO)","year":"2011"},{"key":"10.1016\/j.scico.2017.10.007_br0310","series-title":"6th Int. Workshop on Constraints in Software Testing, Verification, and Analysis","first-page":"18","article-title":"Model-based optimization of automotive E\/E-architectures","author":"Kugele","year":"2014"},{"key":"10.1016\/j.scico.2017.10.007_br0320","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1109\/TR.2008.2006079","article-title":"Multilevel redundancy allocation optimization using hierarchical genetic algorithm","volume":"57","author":"Kumar","year":"2008","journal-title":"IEEE Trans. Reliab."},{"key":"10.1016\/j.scico.2017.10.007_br0330","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1109\/TSE.2007.70726","article-title":"Software component models","volume":"33","author":"Lau","year":"2007","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.scico.2017.10.007_br0340","series-title":"White Paper \u2013 Energy Saving in Automotive E\/E Architectures","author":"Liebetrau","year":"2012"},{"key":"10.1016\/j.scico.2017.10.007_br0350","unstructured":"G. Pardo-Castellote, B. Farabaugh, R. Warren, An introduction to dds and data-centric communications, 2005."},{"key":"10.1016\/j.scico.2017.10.007_br0360","series-title":"Int. Conference on Embedded and Ubiquitous Computing (EUC)","first-page":"52","article-title":"Pattern-based approach for designing fail-operational safety-critical embedded systems","author":"Penha","year":"2015"},{"key":"10.1016\/j.scico.2017.10.007_br0370","doi-asserted-by":"crossref","first-page":"906","DOI":"10.1109\/TCAD.2008.917971","article-title":"Fault-tolerant distributed deployment of embedded control software","volume":"27","author":"Pinello","year":"2008","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"key":"10.1016\/j.scico.2017.10.007_br0380","series-title":"Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling","first-page":"23","article-title":"Viewpoints and views in hardware platform modeling for safe deployment","author":"Pohlmann","year":"2014"},{"key":"10.1016\/j.scico.2017.10.007_br0390","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1109\/TVLSI.2008.2003166","article-title":"Design optimization of time-and cost-constrained fault-tolerant embedded systems with checkpointing and replication","volume":"17","author":"Pop","year":"2009","journal-title":"IEEE Trans. Very Large Scale Integr. (VLSI) Syst."},{"key":"10.1016\/j.scico.2017.10.007_br0400","series-title":"ICRA Workshop on Open Source Software, Kobe, vol. 3","first-page":"5","article-title":"ROS: an open-source robot operating system","author":"Quigley","year":"2009"},{"key":"10.1016\/j.scico.2017.10.007_br0410","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/356725.356729","article-title":"Reliability issues in computing system design","volume":"10","author":"Randell","year":"1978","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/j.scico.2017.10.007_br0420","series-title":"Quality of Protection","first-page":"107","article-title":"A conceptual model for service availability","author":"Rossebe\u00f8","year":"2006"},{"key":"10.1016\/j.scico.2017.10.007_br0430","series-title":"Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance","author":"Rushby","year":"1999"},{"key":"10.1016\/j.scico.2017.10.007_br0440","series-title":"Transactions on Pattern Languages of Programming I","first-page":"67","article-title":"Design patterns for graceful degradation","author":"Saridakis","year":"2009"},{"key":"10.1016\/j.scico.2017.10.007_br0450","series-title":"IEEE International Electric Vehicle Conference","first-page":"1","article-title":"Component-based modeling and integration of automotive application architectures","author":"Schorp","year":"2014"},{"key":"10.1016\/j.scico.2017.10.007_br0460","series-title":"Autonomic and Trusted Computing","first-page":"47","article-title":"Designing self-healing in automotive systems","author":"Seebach","year":"2010"},{"key":"10.1016\/j.scico.2017.10.007_br0470","series-title":"Scalable Graceful Degradation for Distributed Embedded Systems","author":"Shelton","year":"2003"},{"key":"10.1016\/j.scico.2017.10.007_br0480","series-title":"Architecting Dependable Systems","first-page":"267","article-title":"Using architectural properties to model and measure graceful degradation","author":"Shelton","year":"2003"},{"key":"10.1016\/j.scico.2017.10.007_br0490","series-title":"Proceedings of the 8th Int. Workshop on Object-Oriented Real-Time Dependable Systems","first-page":"156","article-title":"A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems","author":"Shelton","year":"2003"},{"key":"10.1016\/j.scico.2017.10.007_br0500","series-title":"IEEE Vehicular Electronics Conference \/ Int. Electric Vehicle Conference","first-page":"1","article-title":"RACE: a centralized platform computer based architecture for automotive applications","author":"Sommer","year":"2013"},{"key":"10.1016\/j.scico.2017.10.007_br0510","series-title":"International Conference on Fundamental Approaches to Software Engineering","first-page":"22","article-title":"A description language for composable components","author":"Sora","year":"2003"},{"key":"10.1016\/j.scico.2017.10.007_br0520","first-page":"241","article-title":"Concepts for self-adaptive and self-healing networked embedded systems","author":"Streichert","year":"2008","journal-title":"Organic Computing"},{"key":"10.1016\/j.scico.2017.10.007_br0530","series-title":"Component Software: Beyond Object-Oriented Programming","author":"Szyperski","year":"2002"},{"key":"10.1016\/j.scico.2017.10.007_br0540","series-title":"Software Architecture: Foundations, Theory, and Practice","author":"Taylor","year":"2009"},{"key":"10.1016\/j.scico.2017.10.007_br0550","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF00365407","article-title":"Allocating hard real-time tasks: an NP-hard problem made easy","volume":"4","author":"Tindell","year":"1992","journal-title":"Real-Time Syst."},{"key":"10.1016\/j.scico.2017.10.007_br0560","series-title":"Engineering of Computer Based Systems (ECBS)","article-title":"Deployment and scheduling synthesis for mixed-critical shared memory applications","author":"Voss","year":"2013"},{"key":"10.1016\/j.scico.2017.10.007_br0570","doi-asserted-by":"crossref","first-page":"1067","DOI":"10.1016\/j.sysarc.2012.11.003","article-title":"Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems","volume":"59","author":"Zeller","year":"2013","journal-title":"J. Syst. Archit."},{"key":"10.1016\/j.scico.2017.10.007_br0580","series-title":"Computer Safety, Reliability, and Security","first-page":"328","article-title":"Safety-focused deployment optimization in open integrated architectures","author":"Zimmer","year":"2012"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642317302198?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642317302198?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T02:25:25Z","timestamp":1646101525000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642317302198"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":57,"alternative-id":["S0167642317302198"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2017.10.007","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2018,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Formal analysis of feature degradation in fault-tolerant automotive systems","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2017.10.007","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2017 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}