{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T20:55:41Z","timestamp":1725828941558},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319242484"},{"type":"electronic","value":"9783319242491"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24249-1_34","type":"book-chapter","created":{"date-parts":[[2015,9,7]],"date-time":"2015-09-07T11:43:15Z","timestamp":1441626195000},"page":"397-408","source":"Crossref","is-referenced-by-count":0,"title":["Is Current Incremental Safety Assurance Sound?"],"prefix":"10.1007","author":[{"given":"V.","family":"Cassano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Grigorova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. K.","family":"Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Adedjouma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Lawford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. S. E.","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Wassyng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,9]]},"reference":[{"key":"34_CR1","first-page":"258","volume":"2008","author":"E Althammer","year":"2008","unstructured":"Althammer, E., Schoitsch, E., Sonneck, G., Eriksson, H., Vinter, J.: Modular certification support - the DECOS concept of generic safety cases. INDIN 2008, 258\u2013263 (2008)","journal-title":"INDIN"},{"key":"34_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-642-40793-2_15","volume-title":"Computer Safety, Reliability, and Security","author":"J Birch","year":"2013","unstructured":"Birch, J., Rivett, R., Habli, I., Bradshaw, B., Botham, J., Higham, D., Jesty, P., Monkhouse, H., Palin, R.: Safety cases and their role in ISO 26262 functional safety assessment. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP. LNCS, vol. 8153, pp. 154\u2013165. Springer, Heidelberg (2013)"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Birch, J., Rivett, R., Habli, I., Bradshaw, B., Botham, J., Higham, D., Monkhouse, H., Palin, R.: A layered model for structuring automotive safety arguments. In: European Dependable Computing Conference (2014)","DOI":"10.1109\/EDCC.2014.24"},{"key":"34_CR4","unstructured":"Bunkley, N.: GM engineer says he didn\u2019t remember changing ignition switch part. Automotive News 28 May 2014. http:\/\/www.autonews.com\/article\/20140528\/OEM11\/140529859\/gm-engineer-says-he-didnt-remember-changing-ignition-switch-part"},{"key":"34_CR5","unstructured":"Center for Devices and Radiological Health: Device approvals, denials and clearances 4 June 2014. http:\/\/www.fda.gov\/medicaldevices\/productsandmedicalprocedures\/deviceapprovalsandclearances\/default.htm"},{"key":"34_CR6","unstructured":"Conmy, P., Nicholson, M., McDermid, J.: Safety assurance contracts for integrated modular avionics. In: 8th Australian Workshop on Safety Critical Systems and Software (SCS 2003). vol. 33, pp. 69\u201378. Australian Computer Society (2003)"},{"volume-title":"Concurrency Verification: Introduction to Compositional and Non-compositional Methods","year":"2007","key":"34_CR7","unstructured":"de Roever, W., et al. (eds.): Concurrency Verification: Introduction to Compositional and Non-compositional Methods. North-Holland, Amerstadam (2007)"},{"key":"34_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-15651-9_8","volume-title":"Computer Safety, Reliability, and Security","author":"T Dittel","year":"2010","unstructured":"Dittel, T., Aryus, H.-J.: How to \u201cSurvive\u201d a safety case according to ISO 26262. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 97\u2013111. Springer, Heidelberg (2010)"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Elmqvist, J., Nadjm-Tehrani, S.: Tool support for incremental failure mode and effects analysis of component-based systems. In: DATE 2008. pp. 921\u2013927 (2008)","DOI":"10.1109\/DATE.2008.4484792"},{"key":"34_CR10","unstructured":"Federal Aviation Administration: Ac20-148: Software reusable components (2004)"},{"volume-title":"Handbook of the History of Logic: The Many Valued and Nonmonotonic Turn in Logic","year":"2007","key":"34_CR11","unstructured":"Gabbay, D.M., Woods, J. (eds.): Handbook of the History of Logic: The Many Valued and Nonmonotonic Turn in Logic, vol. 8. North-Holland, Amsterdam (2007)"},{"key":"34_CR12","unstructured":"Groeger, L.: Four medical implants that escaped FDA scrutiny 30 April 2012. http:\/\/www.propublica.org\/special\/four-medical-implants-that-escaped-fda-scrutiny"},{"key":"34_CR13","unstructured":"Gutierrez, G., et al.: GM chose not to implement a fix for ignition problem. NBC News 13 March 2014. http:\/\/www.nbcnews.com\/storyline\/gm-recall\/gm-chose-not-implement-fix-ignition-problem-n51731"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Hatcliff, J.A.L.K., Lee, I., Macdonald, A., Anura, F., Robkin, M., Vasserman, E., Weininger, S., Goldman, J.: Rationale and architecture principles for medical application platforms. In: ICCPS 2012. pp. 3\u201312 (2012)","DOI":"10.1109\/ICCPS.2012.9"},{"key":"34_CR15","unstructured":"Holloway, M.: Making the implicit explicit. In: ISSC 2013. Boston (2013)"},{"key":"34_CR16","unstructured":"Internatiional Standard Organization: ISO 26262: Road vehicles - Functional safety (2011)"},{"issue":"12","key":"34_CR17","doi-asserted-by":"publisher","first-page":"1475","DOI":"10.1016\/j.ress.2006.01.008","volume":"91","author":"CW Johnson","year":"2006","unstructured":"Johnson, C.W.: What are emergent properties and how do they affect the engineering of complex systems? Rel. Eng. & Sys. Safety 91(12), 1475\u20131481 (2006)","journal-title":"Rel. Eng. & Sys. Safety"},{"key":"34_CR18","unstructured":"Lisagor, O., Kelly, T.: Incremental safety assessment: Theory and practice. In: Proceedings of 26th International System Safety Conference. Minneapolis (2008)"},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"Palin, R., Ward, D., Habli, I., Rivett, R.: ISO 26262 safety cases - Compliance and assurance. In: Procedings of 6th IET International Conference on System Safety, pp. 1\u20136 (2011)","DOI":"10.1049\/cp.2011.0251"},{"key":"34_CR20","volume-title":"Delphi told GM Ignition Switch Didn\u2019t Meet Specs","author":"T Spangler","year":"2014","unstructured":"Spangler, T.: Delphi told GM Ignition Switch Didn\u2019t Meet Specs. Detroit Free Press, Michigan (2014). http:\/\/www.usatoday.com\/story\/money\/cars\/2014\/03\/30\/gm-ignition-switches-recall-congressional-report\/7085919\/"},{"key":"34_CR21","unstructured":"Thompson, H.: Researchers say DePuy hip ancestry shows 510(k) flaws 19 February 2013. http:\/\/www.mddionline.com\/article\/researchers-say-depuy-hip-ancestry-shows-510k-flaws"},{"key":"34_CR22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511840005","volume-title":"The Uses of Argument","author":"SE Toulmin","year":"2003","unstructured":"Toulmin, S.E.: The Uses of Argument. Cambridge University Press, Cambridge (2003)"},{"key":"34_CR23","doi-asserted-by":"crossref","DOI":"10.56021\/9780801839740","volume-title":"What Engineers Know and How They Know It: Analytical Studies from Aeronautical History","author":"W Vincenti","year":"1993","unstructured":"Vincenti, W.: What Engineers Know and How They Know It: Analytical Studies from Aeronautical History. The Johns Hopkins University Press, Baltimore (1993)"},{"key":"34_CR24","unstructured":"Wald, M., Vlasic, W.: \u2018Upset\u2019 GM engineer spoke in house inquiry. The New York Times 28 May 2014. http:\/\/www.nytimes.com\/2014\/05\/29\/business\/upset-gm-engineer-spoke-in-house-inquiry.html?_r=0"}],"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-24249-1_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T23:57:18Z","timestamp":1718063838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24249-1_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242484","9783319242491"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24249-1_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}