{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T12:15:38Z","timestamp":1764936938648,"version":"3.41.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319662831"},{"type":"electronic","value":"9783319662848"}],"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-66284-8_27","type":"book-chapter","created":{"date-parts":[[2017,9,2]],"date-time":"2017-09-02T12:14:30Z","timestamp":1504354470000},"page":"317-329","source":"Crossref","is-referenced-by-count":7,"title":["Assuring Degradation Cascades of Car Platoons via Contracts"],"prefix":"10.1007","author":[{"given":"Irfan","family":"Sljivo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Gallina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Kaiser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"key":"27_CR1","unstructured":"Kagermann, H., Helbig, J., Hellinger, A., Wahlster, W.: Recommendations for implementing the strategic initiative INDUSTRIE 4.0: securing the future of German manufacturing industry. Forschungsunion (2013)"},{"issue":"2","key":"27_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1880050.1880056","volume":"10","author":"R Adler","year":"2011","unstructured":"Adler, R., Schaefer, I., Trapp, M., Poetzsch-Heffter, A.: Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. ACM Trans. Embed. Comput. Syst. 10(2), 1\u201339 (2011)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"27_CR3","unstructured":"Kaiser, B.: From \u201csafe state\u201d to \u201cdegradation cascades\u201d - structured and quantified requirements for automated driving systems. Presentation at VDA Automotive SYS, Berlin, Germany (2016)"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Shelton, C.P., Koopman, P., Nace, W.: A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems. In: 8th International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 156\u2013163. IEEE (2003)","DOI":"10.1109\/WORDS.2003.1218078"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Sljivo, I., Gallina, B., Carlson, J., Hansson, H.: Strong and weak contract formalism for third-party component reuse. In: 3rd International Workshop on Software Certification, pp. 359\u2013364. IEEE, November 2013","DOI":"10.1109\/ISSREW.2013.6688921"},{"key":"27_CR6","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1016\/j.jss.2016.07.034","volume":"131","author":"I Sljivo","year":"2016","unstructured":"Sljivo, I., Gallina, B., Carlson, J., Hansson, H., Puri, S.: A method to generate reusable safety case argument-fragments from compositional safety analysis. J. Syst. Softw.: Spec. Issue Softw. Reuse 131, 570\u2013590 (2016)","journal-title":"J. Syst. Softw.: Spec. Issue Softw. Reuse"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Gallina, B., Javed, M., Muram, F., Punnekkat, S.: Model-driven dependability analysis method for component-based architectures. In: 38th Euromicro Conference on Software Engineering and Advanced Applications, pp. 233\u2013240. IEEE, September 2012","DOI":"10.1109\/SEAA.2012.35"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Kaiser, B., Nejad, B.M., Kusche, D., Schulte, H.: Systematic design and validation of degradation cascades for safety-relevant systems. In: To Appear in The Annual European Safety and Reliability Conference ESREL, June 2017","DOI":"10.1201\/9781315210469-452"},{"key":"27_CR9","unstructured":"Goal Structuring Notation Working Group: GSN Community Standard Version 1. Origin Consulting (York) Limited (2011)"},{"key":"27_CR10","doi-asserted-by":"crossref","first-page":"66","DOI":"10.7250\/csimq.2015-4.05","volume":"4","author":"B Kaiser","year":"2015","unstructured":"Kaiser, B., Weber, R., Oertel, M., B\u00f6de, E., Nejad, B.M., Zander, J.: Contract-based design of embedded systems integrating nominal behavior and safety. Complex Syst. Inform. Model. Q. 4, 66\u201391 (2015)","journal-title":"Complex Syst. Inform. Model. Q."},{"key":"27_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-319-10506-2_12","volume-title":"Computer Safety, Reliability, and Security","author":"I Sljivo","year":"2014","unstructured":"Sljivo, I., Gallina, B., Carlson, J., Hansson, H.: Generation of safety case argument-fragments from safety contracts. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 170\u2013185. Springer, Cham (2014). doi: 10.1007\/978-3-319-10506-2_12"},{"key":"27_CR12","unstructured":"ECSEL-JU-692474: AMASS - Architecture-Driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems. http:\/\/www.amass-ecsel.eu\/"},{"key":"27_CR13","unstructured":"Ghodratbaki, A.: Modellierung lose gekoppelter System-of-Systems am Beispiel eines Cooperative Adaptive Cruise Control (CACC) Fahrerassistenzsystems. Master\u2019s thesis (2017)"},{"issue":"2","key":"27_CR14","doi-asserted-by":"crossref","first-page":"8:1","DOI":"10.1145\/2491465.2491467","volume":"8","author":"D Schneider","year":"2013","unstructured":"Schneider, D., Trapp, M.: Conditional safety certification of open adaptive systems. TAAS 8(2), 8:1\u20138:20 (2013)","journal-title":"TAAS"},{"key":"27_CR15","unstructured":"Oertel, M., Schulze, M., Peikenkamp, T.: Reusing a functional safety concept in variable system architectures. In: 7th International Workshop on Model-Based Architecting and Construction of Embedded Systems, pp. 16\u201325, September 2014"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Iliasov, A., Romanovsky, A., Dotti, F.L.: Structuring specifications with modes. In: LADC, pp. 81\u201388. IEEE Computer Society (2009)","DOI":"10.1109\/LADC.2009.11"}],"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-66284-8_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T14:19:00Z","timestamp":1750861140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66284-8_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319662831","9783319662848"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66284-8_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}