{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T04:57:06Z","timestamp":1754110626464},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319642178"},{"type":"electronic","value":"9783319642185"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-64218-5_16","type":"book-chapter","created":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T07:44:03Z","timestamp":1502437443000},"page":"205-215","source":"Crossref","is-referenced-by-count":7,"title":["Towards Dependability Engineering of Cooperative Automotive Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Georg","family":"Macher","sequence":"first","affiliation":[]},{"given":"Eric","family":"Armengaud","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"Eugen","family":"Brenner","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Kreiner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,12]]},"reference":[{"key":"16_CR1","unstructured":"ISO - International Organization for Standardization, ISO 26262 Road vehicles Functional Safety Part 1\u201310 (2011)"},{"key":"16_CR2","unstructured":"The SPICE User Group, Automotive SPICE Process Assessment\/Reference Model V3.0, July 2015"},{"key":"16_CR3","unstructured":"ISO - International Organization for Standardization, ISO\/IEC 33000 Series on Process Assessment (2014)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Bryans, J., Payne, R., Holt, J., Perry, S.: Semi-formal and formal interface specification for system of systems architecture. In: 2013 IEEE International Systems Conference (SysCon), pp. 612\u2013619, April 2013","DOI":"10.1109\/SysCon.2013.6549946"},{"key":"16_CR5","unstructured":"AUTOSAR Development Cooperation, Adaptive Platform Release Overview (2017)"},{"key":"16_CR6","unstructured":"AUTOSAR development cooperation, AUTOSAR AUTomotive Open System ARchitecture (2009)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-319-24249-1_31","volume-title":"Computer Safety, Reliability, and Security","author":"T Amorim","year":"2015","unstructured":"Amorim, T., Ruiz, A., Dropmann, C., Schneider, D.: Multidirectional modular conditional safety certificates. In: Koornneef, F., Gulijk, C. (eds.) SAFECOMP 2015. LNCS, vol. 9338, pp. 357\u2013368. Springer, Cham (2015). doi: 10.1007\/978-3-319-24249-1_31"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Amorim, T., Schneider, D., Ratasich, D., Grosu, R., Macher, G., Ruiz, A., Driussi, M.: Runtime safety assurance for adaptive cyber-physical systems - conserts M and ontology-based runtime reconfiguration applied to an automotive case study. In: Druml, N., Genser, A., Krieg, A., Menghin, M., Hoeller, A. (eds.) Handbook of Research on Solutions for Cyber-Physical Systems Ubiquity. IGI Global (2017)","DOI":"10.4018\/978-1-5225-2845-6.ch006"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-24270-0_3","volume-title":"Computer Safety, Reliability, and Security","author":"B Zimmer","year":"2011","unstructured":"Zimmer, B., B\u00fcrklen, S., Knoop, M., H\u00f6fflinger, J., Trapp, M.: Vertical safety interfaces \u2013 improving the efficiency of modular certification. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 29\u201342. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-24270-0_3"},{"key":"16_CR10","unstructured":"Iber, J., Hoeller, A., Rauter, T., Kreiner, C.: Towards a generic modeling language for contract-based design. In: 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp), 2015 Workshop Proceedings, p. 24 (2015)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Schneider, D., Trapp, M., Papadopoulos, Y., Armengaud, E., Zeller, M., Hoefig, K.: Digital dependability identities. In: Proceedings of the IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015, pp. 324\u2013329 (2015)","DOI":"10.1109\/ISSRE.2015.7381825"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Messnarz, R., Kreiner, C., Macher, G., Walker, A.: Extending automotive SPICE 3.0 for the use in ADAS service architectures. In Review - IEEE Softw. J. (2017)","DOI":"10.1002\/smr.1948"}],"container-title":["Communications in Computer and Information Science","Systems, Software and Services Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64218-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T22:05:35Z","timestamp":1602713135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64218-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319642178","9783319642185"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64218-5_16","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}