{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:49:00Z","timestamp":1760586540777,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165757"},{"type":"electronic","value":"9783642165764"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16576-4_4","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T09:55:56Z","timestamp":1288691756000},"page":"47-61","source":"Crossref","is-referenced-by-count":13,"title":["Designing Self-healing in Automotive Systems"],"prefix":"10.1007","author":[{"given":"Hella","family":"Seebach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Nafz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Holtmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Tichy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Autosar specification (2009), \n                    \n                      www.autosar.org"},{"key":"4_CR2","unstructured":"Amor-Segan, M., McMurran, R., Dhadyalla, G., Jones, R.: Towards the Self Healing Vehicle. In: Automotive Electronics, 2007 3rd Institution of Engineering and Technology Conference on, pp. 1\u20137 (2007)"},{"key":"4_CR3","unstructured":"Anthony, R., Leonhardi, A., Ekelin, C., Chen, D., Trngren, M., de Boer, G., Jahnich, I., Burton, S., Redell, O., Weber, A., Vollmer, V.: A future dynamically reconfigurable automotive software system. In: Proceedings of the IESS (2007)"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-0-387-72258-0_7","volume":"231","author":"R. Anthony","year":"2007","unstructured":"Anthony, R., Rettberg, A., Chen, D., Jahnich, I., de Boer, G., Enkelin, C.: Towards a dynamically reconfigurable automotive control system architecture. International Federation for Information Processing (IFIP)\u00a0231, 71\u201384 (2007)","journal-title":"International Federation for Information Processing (IFIP)"},{"issue":"4","key":"4_CR5","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1145\/504704.504705","volume":"8","author":"G.J. Badros","year":"2001","unstructured":"Badros, G.J., Borning, A., Stuckey, P.J.: The cassowary linear arithmetic constraint solving algorithm. ACM Trans. Comput.-Hum. Interact.\u00a08(4), 267\u2013306 (2001)","journal-title":"ACM Trans. Comput.-Hum. Interact."},{"key":"4_CR6","unstructured":"Becker, B., Giese, H., Neumann, S., Schenck, M., Treffer, A.: Model-based extension of autosar for architectural online reconfiguration. In: Proceedings of the ACES-MB 2009, CEUR Workshop Proceedings, CEUR-WS.org, pp. 123\u2013137 (2009)"},{"key":"4_CR7","unstructured":"Beckert, B., Keller, U., Schmitt, P.H.: Translating the object constraint language into first-order predicate logic. In: Proceedings, VERIFY, Workshop at Federated Logic Conferences (FLoC), pp. 113\u2013123 (2002)"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0141-9331(95)98982-P","volume":"19","author":"D. Bri\u00e8re","year":"1995","unstructured":"Bri\u00e8re, D., Favre, C., Traverse, P.: A family of fault-tolerant systems: electrical flight controls, from airbus a320\/330\/340 to future military transport aircraft. Microprocessors and Microsystems\u00a019(2), 75 (1995)","journal-title":"Microprocessors and Microsystems"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Broy, M.: Challenges in automotive software engineering. In: International Conference on Software Engineering, ICSE (2006)","DOI":"10.1145\/1134285.1134292"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/ICSE.2003.1201228","volume-title":"ICSE 2003: Proceedings of the 25th International Conference on Software Engineering","author":"K. Grimm","year":"2003","unstructured":"Grimm, K.: Software technology in an automotive company: major challenges. In: ICSE 2003: Proceedings of the 25th International Conference on Software Engineering, pp. 498\u2013503. IEEE Computer Society, Washington (2003)"},{"key":"4_CR11","first-page":"233","volume-title":"SASO","author":"M. G\u00fcdemann","year":"2008","unstructured":"G\u00fcdemann, M., Nafz, F., Ortmeier, F., Seebach, H., Reif, W.: A specification and construction paradigm for organic computing systems. In: Brueckner, S.A., Robertson, P., Bellur, U. (eds.) SASO, pp. 233\u2013242. IEEE Computer Society, Los Alamitos (2008)"},{"key":"4_CR12","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Budapest, Hungary","author":"B. Kl\u00f6pper","year":"2010","unstructured":"Kl\u00f6pper, B., Meyer, J., Tichy, M., Honiden, S.: Planning with utilities and state trajectories constraints for self-healing in automotive systems. In: Proc. of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Budapest, Hungary. LNCS, Springer, Heidelberg (2010)"},{"key":"4_CR14","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-02704-8_3","volume-title":"Autonomic and Trusted Computing","author":"F. Nafz","year":"2009","unstructured":"Nafz, F., Ortmeier, F., Seebach, H., Stegh\u00f6fer, J.P., Reif, W.: A universal self-organization mechanism for role-based organic computing systems. In: Gonz\u00e1lez Nieto, J., Reif, W., Wang, G., Indulska, J. (eds.) ATC 2009. LNCS, vol.\u00a05586, pp. 17\u201331. Springer, Heidelberg (2009)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-69295-9_7","volume-title":"Autonomic and Trusted Computing","author":"B. Satzger","year":"2008","unstructured":"Satzger, B., Pietzowski, A., Trumler, W., Ungerer, T.: Using automated planning for trusted self-organising organic computing systems. In: Rong, C., Jaatun, M.G., Sandnes, F.E., Yang, L.T., Ma, J. (eds.) ATC 2008. LNCS, vol.\u00a05060, pp. 60\u201372. Springer, Heidelberg (2008)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Seebach, H., Nafz, F., Stegh\u00f6fer, J.P., Reif, W.: software engineering guideline for self-organizing resource-flow systems. In: Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (2010)","DOI":"10.1109\/SASO.2010.26"},{"key":"4_CR17","volume-title":"Proceedings of the IEEE Congress on Evolutionary Computation 2007","author":"H. Seebach","year":"2007","unstructured":"Seebach, H., Ortmeier, F., Reif, W.: Design and Construction of Organic Computing Systems. In: Proceedings of the IEEE Congress on Evolutionary Computation 2007. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"4_CR18","volume-title":"Organic Computing","author":"T. Streichert","year":"2008","unstructured":"Streichert, T., Haubelt, C., Koch, D., Teich, J.: Concepts for Self-Adaptive and Self-Healing Networked Embedded Systems. In: Organic Computing. Springer, Heidelberg (2008)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. pp. 632\u2013647 (2007), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/978-3-540-71209-1_49","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Trumler, W., Helbig, M., Pietzowski, A., Satzger, B., Ungerer, T.: Self-configuration and self-healing in autosar. In: APAC-14 (2007)","DOI":"10.4271\/2007-01-3507"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-02704-8_4","volume-title":"Autonomic and Trusted Computing","author":"G. Weiss","year":"2009","unstructured":"Weiss, G., Zeller, M., Eilers, D., Knorr, R.: Towards Self-organization in Automotive Embedded Systems. In: Gonz\u00e1lez Nieto, J., Reif, W., Wang, G., Indulska, J. (eds.) ATC 2009. LNCS, vol.\u00a05586, pp. 32\u201346. Springer, Heidelberg (2009)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Winner, H., Hakuli, S., Wolf, G.: Handbuch Fahrerassistenzsysteme- Kapitel Adaptive Cruise Control. Vieweg Verlag (2009)","DOI":"10.1007\/978-3-8348-9977-4"}],"container-title":["Lecture Notes in Computer Science","Autonomic and Trusted Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16576-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T19:55:49Z","timestamp":1553198149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16576-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165757","9783642165764"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16576-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}