{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T16:58:58Z","timestamp":1725814738221},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319141299"},{"type":"electronic","value":"9783319141305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14130-5_18","type":"book-chapter","created":{"date-parts":[[2014,12,21]],"date-time":"2014-12-21T20:11:06Z","timestamp":1419192666000},"page":"253-268","source":"Crossref","is-referenced-by-count":4,"title":["A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis"],"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":"Jan","family":"Carlson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Hansson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Puri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"AC 20-148: Reusable Software Components. FAA (2004)"},{"key":"18_CR2","unstructured":"ARP4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. Society of Automotive Engineers (1996)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Basir, N., Denney, E., Fischer, B.: Building heterogeneous safety cases for automatically generated code. In: Infotech@ Aerospace Conference. AIAA (2011)","DOI":"10.2514\/6.2011-1481"},{"key":"18_CR4","unstructured":"Bloomfield, R., Cazin, J., Craigen, D., Juristo, N., Kesseler, E., et al.: Validation, Verification and Certification of Embedded Systems. Tech. rep., NATO (2005)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-87698-4_9","volume-title":"Computer Safety, Reliability, and Security","author":"D. Chen","year":"2008","unstructured":"Chen, D., Johansson, R., L\u00f6nn, H., Papadopoulos, Y., Sandberg, A., T\u00f6rner, F., T\u00f6rngren, M.: Modelling support for design of safety-critical automotive embedded systems. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol.\u00a05219, pp. 72\u201385. Springer, Heidelberg (2008)"},{"key":"18_CR6","unstructured":"CHESS-toolset, http:\/\/www.chess-project.org\/page\/download"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Gallina, B., Javed, M.A., Muram, F.U., Punnekkat, S.: Model-driven Dependability Analysis Method for Component-based Architectures. In: Euromicro-SEAA Conference. IEEE Computer Society Press (2012)","DOI":"10.1109\/SEAA.2012.35"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Gallina, B., Kashiyarandi, S., Zugsbratl, K., Geven, A.: Enabling cross-domain reuse of tool qualification certification artefacts. In: Bondavalli, A., Ceccarelli, A., Ortmeier, F. (eds.) SAFECOMP 2014 Workshop. LNCS, vol.\u00a08696, pp. 255\u2013266. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-319-10557-4_28"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Gallina, B., Punnekkat, S.: FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures Analysis. In: International Workshop on Distributed Architecture Modeling for Novel Component Based Embedded Systems. IEEE Computer Society (2011)","DOI":"10.1109\/SEAA.2011.80"},{"key":"18_CR10","unstructured":"GSN Community Standard Version 1. Origin Consulting (York) Limited (2011)"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.ssci.2013.04.007","volume":"59","author":"R. Hawkins","year":"2013","unstructured":"Hawkins, R., Habli, I., Kelly, T., McDermid, J.: Assurance cases and prescriptive software safety certification: A comparative study. Safety Science\u00a059, 55\u201371 (2013)","journal-title":"Safety Science"},{"key":"18_CR12","unstructured":"ISO 26262:2011: Road vehicles \u2014 Functional safety. International Organization for Standardization (2011)"},{"key":"18_CR13","unstructured":"Kelly, T.P.: Arguing Safety \u2014 A Systematic Approach to Managing Safety Cases. Ph.D. thesis, University of York, York, UK (1998)"},{"key":"18_CR14","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.\u00a08666, pp. 170\u2013185. Springer, Heidelberg (2014)"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Sljivo, I., Gallina, B., Carlson, J., Hansson, H.: Strong and weak contract formalism for third-party component reuse. In: International Workshop on Software Certification. IEEE Computer Society (2013)","DOI":"10.1109\/ISSREW.2013.6688921"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Varnell-Sarjeant, J., Andrews, A.A., Stefik, A.: Comparing Reuse Strategies: An Empirical Evaluation of Developer Views. In: International Workshop on Quality Oriented Reuse of Software. IEEE Computer Society (2014)","DOI":"10.1109\/COMPSACW.2014.83"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Wallace, M.: Modular architectural representation and analysis of fault propagation and transformation. In: International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures. Elsevier (2005)","DOI":"10.1016\/j.entcs.2005.02.051"},{"key":"18_CR18","unstructured":"Weaver, R., McDermid, J., Kelly, T.: Absence of Late Hazardous Failure Mode, http:\/\/www.goalstructuringnotation.info\/archives\/218"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Wu, W.: Architectural Reasoning for Safety \u2014 Critical Software Applications. Ph.D. thesis, University of York, York, UK (2007)","DOI":"10.1007\/978-3-540-74035-3_17"}],"container-title":["Lecture Notes in Computer Science","Software Reuse for Dynamic Systems in the Cloud and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14130-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,24]],"date-time":"2022-04-24T14:56:25Z","timestamp":1650812185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14130-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319141299","9783319141305"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14130-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}