{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:08:08Z","timestamp":1746331688928,"version":"3.40.4"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104300"},{"type":"electronic","value":"9783319104317"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10431-7_15","type":"book-chapter","created":{"date-parts":[[2014,8,4]],"date-time":"2014-08-04T09:27:28Z","timestamp":1407144448000},"page":"205-219","source":"Crossref","is-referenced-by-count":5,"title":["A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Becker","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Sch\u00e4tz","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Armbruster","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Buckl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Avizienis, A., Laprie, J., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing\u00a0(1), 11\u201333 (2004)","DOI":"10.1109\/TDSC.2004.2"},{"key":"15_CR2","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 Conf., vol.\u00a04. IEEE (2001)","DOI":"10.1109\/ACC.2001.946264"},{"key":"15_CR3","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 \/ Int. Electric Vehicle Conference (VEC-IEVC) (2013)","DOI":"10.1109\/IEVC.2013.6681152"},{"key":"15_CR4","doi-asserted-by":"crossref","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: Adv. Microsystems for Automotive Applications (AMAA), pp. 91\u2013107 (2012)","DOI":"10.1007\/978-3-642-29673-4_9"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Embedded Software","author":"T.A. Henzinger","year":"2001","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 166\u2013184. Springer, Heidelberg (2001)"},{"key":"15_CR6","unstructured":"International Organization for Standardization: ISO\/DIS 26262-1 - Road vehicles - Functional safety, Part 1 Glossary. Technical report, ISO\/TC 22 (2011)"},{"key":"15_CR7","unstructured":"Becker, K., Armbruster, M., Sch\u00e4tz, B., Buckl, C.: Deployment Calculation and Analysis for a Fail-Operational Automotive Platform. In: 1st Workshop on Engineering Dependable Systems of Systems (EDSoS) (2014)"},{"key":"15_CR8","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":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Shelton, C., Koopman, P., Nace, W.: A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems. In: Int. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), pp. 156\u2013163. IEEE (2003)","DOI":"10.1109\/WORDS.2003.1218078"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Boone, B., De Turck, F., Dhoedt, B.: Automated deployment of distributed software components with fault tolerance guarantees. In: 6th Int. Conf. on Software Engineering Research, Management and Applications (SERA), pp. 21\u201327. IEEE (2008)","DOI":"10.1109\/SERA.2008.28"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10431-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T01:56:33Z","timestamp":1746323793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10431-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104300","9783319104317"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10431-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}