Abstract
The increasing complexity and size of electronic systems in the aerospace industry, combined with the growing market demand, requires the industry to implement an efficient safety assurance strategy. Reuse of safety argumentation and evidence for certification is one of the potential means for achieving such a strategy. Typically, major problems arise when the evolution of complex avionics entails the reconstruction of the entire body of safety justification, often resulting in expensive and time-consuming assurance and certification processes. This paper investigates the use of Case-Based Reasoning (CBR) as a strategy for representing, retrieving and reusing previously assured safety cases. This is supported by the existence of patterns of safety cases, which determine a unified knowledge representation scheme for retrieving further safety cases. We illustrate the approach with the development of modular argumentation for an Integrated Modular Avionics (IMA) platform.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Sahar, B., Ardi, S., Kazuhiko, S., Yoshiomi, M., Hirotsugu, M.: HAZOP Management System with Dynamic Visual Model Aid. American Journal of Applied Sciences 7(7), 943–948 (2010)
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 83(B6), 509–532 (2005)
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–8 (2011)
Kelly, T.: Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, The University of York (1998)
Hawkins, R., Kelly, T.: A software Safety Argument Pattern Catalogue, Department of Computer Science, The University of York (2008)
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)
IEC61508, 61508 - Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems. International Electrotechnical Commission (2011)
RTCA DO-178/EUROCAE ED-12, Software Considerations in Airborne System and Equipment Certification
RTCA DO-254/EUROCAE ED-80 Design Assurance Guidance for Airborne Electronic Hardware
RTCA DO-297/EUROCAE ED-124 Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations
SAE ARP4754/EUROCAE ED-79, Certification Considerations for Highly Integrated or Complex Aircraft Systems
SAE ARP4761, Guidelines and Methods for Conducting The Safety Assessment Process on Civil Airborne Systems and Equipment
Origin Consulting GSN Community Standard Version 1 (2011)
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)
Johnson, C.W., Robins, D.A.: Mith and barriers to the Introduction of Safety Cases in Space-Based Systems
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)
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)
Certification Authorities Software Team (CAST): Guidelines for Assessing Software Partitioning/Protection Schemes. FAA (2001)
Bloomfield, R., Bishop, P.: Safety and Assurance Cases: Past, Present and Possible Future – an Adelard Perspective. In: 18th Safety-Critical Systems Symposium (SSS 2010), Bristol, UK (2010)
International Organization for Standardization (ISO), ISO26262 Road vehicles – Functional safety, ISO (November 2011)
U.S. Food and Drug Administration, Guidance for Industry and FDA Staff - Total Product Life Cycle: Infusion Pump – Premarket Notification, Draft Guidance (April 2010)
Aerospace guidelines for the development of civil aircraft and system ARP 4754A
Eveleens: Integrated Modular Avionics Development Guidance and Certification Considerations (2006)
Aamodt, A., Plaza, E.: Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. Artificial Intelligence Communications 7(1), 39–52 (1994)
Habli, I., Kelly, T.: Process and Product Certification Arguments – 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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ruiz, A., Habli, I., Espinoza, H. (2012). Towards a Case-Based Reasoning Approach for Safety Assurance Reuse. In: Ortmeier, F., Daniel, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7613. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33675-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-33675-1_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33674-4
Online ISBN: 978-3-642-33675-1
eBook Packages: Computer ScienceComputer Science (R0)