{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T18:25:52Z","timestamp":1743877552047},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336744"},{"type":"electronic","value":"9783642336751"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33675-1_3","type":"book-chapter","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T16:33:04Z","timestamp":1347294784000},"page":"22-35","source":"Crossref","is-referenced-by-count":8,"title":["Towards a Case-Based Reasoning Approach for Safety Assurance Reuse"],"prefix":"10.1007","author":[{"given":"Alejandra","family":"Ruiz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ibrahim","family":"Habli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hu\u00e1scar","family":"Espinoza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"3_CR1","doi-asserted-by":"publisher","first-page":"943","DOI":"10.3844\/ajassp.2010.943.948","volume":"7","author":"B. Sahar","year":"2010","unstructured":"Sahar, B., Ardi, S., Kazuhiko, S., Yoshiomi, M., Hirotsugu, M.: HAZOP Management System with Dynamic Visual Model Aid. American Journal of Applied Sciences\u00a07(7), 943\u2013948 (2010)","journal-title":"American Journal of Applied Sciences"},{"issue":"B6","key":"3_CR2","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1205\/psep.04055","volume":"83","author":"C. Zhao","year":"2005","unstructured":"Zhao, C., Bhushan, M., Venkatasubramanian, V.: PHASUITE: An automated HAZOP analysis tool for chemical processes Part I: Knowledge Engineering Framework. Process Safety and Environmental Protection\u00a083(B6), 509\u2013532 (2005)","journal-title":"Process Safety and Environmental Protection"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Daramola, O., Stalhane, T., Moser, T., Biffl, S.: A conceptual framework for semantic case-based safety analysis. In: 2011 IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA), pp. 1\u20138 (2011)","DOI":"10.1109\/ETFA.2011.6058981"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Kelly, T.: Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, The University of York (1998)","DOI":"10.1007\/3-540-48249-0_2"},{"key":"3_CR5","unstructured":"Hawkins, R., Kelly, T.: A software Safety Argument Pattern Catalogue, Department of Computer Science, The University of York (2008)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Stensrud, E., Skramstad, T., Li, J., Xie, J.: Towards Goal-based Software Safety Certification Based on Prescriptive Standards. In: International Workshop on Software Certification, WoSoCER (2011)","DOI":"10.1109\/WoSoCER.2011.7"},{"key":"3_CR7","unstructured":"IEC61508, 61508 - Functional Safety of Electrical\/Electronic\/Programmable Electronic Safety-Related Systems. International Electrotechnical Commission (2011)"},{"key":"3_CR8","unstructured":"RTCA DO-178\/EUROCAE ED-12, Software Considerations in Airborne System and Equipment Certification"},{"key":"3_CR9","unstructured":"RTCA DO-254\/EUROCAE ED-80 Design Assurance Guidance for Airborne Electronic Hardware"},{"key":"3_CR10","unstructured":"RTCA DO-297\/EUROCAE ED-124 Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations"},{"key":"3_CR11","unstructured":"SAE ARP4754\/EUROCAE ED-79, Certification Considerations for Highly Integrated or Complex Aircraft Systems"},{"key":"3_CR12","unstructured":"SAE ARP4761, Guidelines and Methods for Conducting The Safety Assessment Process on Civil Airborne Systems and Equipment"},{"key":"3_CR13","unstructured":"Origin Consulting GSN Community Standard Version 1 (2011)"},{"key":"3_CR14","unstructured":"Everdij, M.H.C., Blom, H.A.P., Kirwan, B.: Development of a structured database of safety methods. In: 8th International Conference on Probabilistic Safety Assessment and Management, PSAM8 (2006)"},{"key":"3_CR15","unstructured":"Johnson, C.W., Robins, D.A.: Mith and barriers to the Introduction of Safety Cases in Space-Based Systems"},{"key":"3_CR16","unstructured":"Kelly, T.: Using Software Architecture Techniques to Support the Modular Certification of Safety-Critical Systems. In: Cant, T. (ed.) Proceedings of Eleventh Australian Workshop on Safety-Related Programmable Systems, Melbourne, Australia. CRPIT. ACS (August 2005)"},{"key":"3_CR17","unstructured":"Hayhurst, K.J., Maddalon, J.M., Miner, P.S., Szatkowski, G.N., Ulrey, M.L., DeWalt, M.P., Spitzer, C.R.: Preliminary Considerations for Classifying Hazards of Unmanned Aircraft Systems. NASA (2007)"},{"key":"3_CR18","unstructured":"Certification Authorities Software Team (CAST): Guidelines for Assessing Software Partitioning\/Protection Schemes. FAA (2001)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Bloomfield, R., Bishop, P.: Safety and Assurance Cases: Past, Present and Possible Future \u2013 an Adelard Perspective. In: 18th Safety-Critical Systems Symposium (SSS 2010), Bristol, UK (2010)","DOI":"10.1007\/978-1-84996-086-1_4"},{"key":"3_CR20","unstructured":"International Organization for Standardization (ISO), ISO26262 Road vehicles \u2013 Functional safety, ISO (November 2011)"},{"key":"3_CR21","unstructured":"U.S. Food and Drug Administration, Guidance for Industry and FDA Staff - Total Product Life Cycle: Infusion Pump \u2013 Premarket Notification, Draft Guidance (April 2010)"},{"key":"3_CR22","unstructured":"Aerospace guidelines for the development of civil aircraft and system ARP 4754A"},{"key":"3_CR23","unstructured":"Eveleens: Integrated Modular Avionics Development Guidance and Certification Considerations (2006)"},{"issue":"1","key":"3_CR24","first-page":"39","volume":"7","author":"A. Aamodt","year":"1994","unstructured":"Aamodt, A., Plaza, E.: Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. Artificial Intelligence Communications\u00a07(1), 39\u201352 (1994)","journal-title":"Artificial Intelligence Communications"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Habli, I., Kelly, T.: Process and Product Certification Arguments \u2013 Getting the Balance Right. Workshop on Innovative Techniques for Certification of Embedded Systems, the Proceedings of 12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, California, USA (April 2006)","DOI":"10.1145\/1183088.1183090"}],"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-642-33675-1_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,28]],"date-time":"2022-01-28T16:05:21Z","timestamp":1643385921000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33675-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336744","9783642336751"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33675-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}