{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T12:14:25Z","timestamp":1764936865385},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319454795"},{"type":"electronic","value":"9783319454801"}],"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-45480-1_14","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T11:08:20Z","timestamp":1472814500000},"page":"171-182","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic Safety Contracts for Functional Cooperation of Automotive Systems"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"M\u00fcller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Liggesmeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,1]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/978-3-319-08915-7_11","volume-title":"Models@run.time","author":"M Trapp","year":"2014","unstructured":"Trapp, M., Schneider, D.: Safety assurance of open adaptive systems \u2013 a survey. In: Bencomo, N., France, R., Cheng, B.H., A\u00dfmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 279\u2013318. Springer, Heidelberg (2014)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-89247-2_2","volume-title":"Runtime Verification","author":"J Rushby","year":"2008","unstructured":"Rushby, J.: Runtime certification. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 21\u201335. Springer, Heidelberg (2008)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Schneider, D., Becker, M., Trapp, M.: Approaching runtime trust assurance in open adaptive systems. In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-managing Systems, pp. 196\u2013201. ACM (2011)","DOI":"10.1145\/1988008.1988036"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1016\/j.mfglet.2014.12.001","volume":"3","author":"J Lee","year":"2015","unstructured":"Lee, J., Bagheri, B., Kao, H.-A.: A cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manufact. Lett. 3, 18\u201323 (2015)","journal-title":"Manufact. Lett."},{"issue":"2","key":"14_CR5","first-page":"8","volume":"8","author":"D Schneider","year":"2013","unstructured":"Schneider, D., Trapp, M.: Conditional safety certification of open adaptive systems. ACM Trans. Auton. Adapt. Syst. (TAAS) 8(2), 8 (2013)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"key":"14_CR6","unstructured":"ISO\/CD26262. Road vehicles, functional safety part 6: Product development at the software level, part 10, guidelines (2011)"},{"key":"14_CR7","unstructured":"\u00d6stberg, K., Bengtsson, M.: Run time safety analysis for automotive systems in an open and adaptive environment. In: SAFECOMP 2013-Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security (2013)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-642-33675-1_15","volume-title":"Computer Safety, Reliability, and Security","author":"K \u00d6stberg","year":"2012","unstructured":"\u00d6stberg, K., Johansson, R.: Use of quality metrics for functional safety in systems of cooperative vehicles. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 174\u2013179. Springer, Heidelberg (2012)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Priesterjahn, C., Heinzemann, C., Sch\u00e4fer, W., Tichy, M.: Runtime safety analysis for safe reconfiguration. In: 2012 10th IEEE International Conference on Industrial Informatics (INDIN), pp. 1092\u20131097. IEEE (2012)","DOI":"10.1109\/INDIN.2012.6300900"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45480-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:53:11Z","timestamp":1498326791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45480-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454795","9783319454801"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45480-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}