Towards a Case-Based Reasoning Approach for Safety Assurance Reuse

  • Alejandra Ruiz
  • Ibrahim Habli
  • Huáscar Espinoza
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7613)


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.


cased-based reasoning safety assurance avionics certification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Kelly, T.: Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, The University of York (1998)Google Scholar
  5. 5.
    Hawkins, R., Kelly, T.: A software Safety Argument Pattern Catalogue, Department of Computer Science, The University of York (2008)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    IEC61508, 61508 - Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems. International Electrotechnical Commission (2011) Google Scholar
  8. 8.
    RTCA DO-178/EUROCAE ED-12, Software Considerations in Airborne System and Equipment CertificationGoogle Scholar
  9. 9.
    RTCA DO-254/EUROCAE ED-80 Design Assurance Guidance for Airborne Electronic HardwareGoogle Scholar
  10. 10.
    RTCA DO-297/EUROCAE ED-124 Integrated Modular Avionics (IMA) Development Guidance and Certification ConsiderationsGoogle Scholar
  11. 11.
    SAE ARP4754/EUROCAE ED-79, Certification Considerations for Highly Integrated or Complex Aircraft SystemsGoogle Scholar
  12. 12.
    SAE ARP4761, Guidelines and Methods for Conducting The Safety Assessment Process on Civil Airborne Systems and Equipment Google Scholar
  13. 13.
    Origin Consulting GSN Community Standard Version 1 (2011) Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    Johnson, C.W., Robins, D.A.: Mith and barriers to the Introduction of Safety Cases in Space-Based SystemsGoogle Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    Certification Authorities Software Team (CAST): Guidelines for Assessing Software Partitioning/Protection Schemes. FAA (2001) Google Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    International Organization for Standardization (ISO), ISO26262 Road vehicles – Functional safety, ISO (November 2011) Google Scholar
  21. 21.
    U.S. Food and Drug Administration, Guidance for Industry and FDA Staff - Total Product Life Cycle: Infusion Pump – Premarket Notification, Draft Guidance (April 2010) Google Scholar
  22. 22.
    Aerospace guidelines for the development of civil aircraft and system ARP 4754AGoogle Scholar
  23. 23.
    Eveleens: Integrated Modular Avionics Development Guidance and Certification Considerations (2006)Google Scholar
  24. 24.
    Aamodt, A., Plaza, E.: Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. Artificial Intelligence Communications 7(1), 39–52 (1994)Google Scholar
  25. 25.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Alejandra Ruiz
    • 1
  • Ibrahim Habli
    • 2
  • Huáscar Espinoza
    • 1
  1. 1.ICT-European Software InstituteTECNALIAZamudioSpain
  2. 2.Department of Computer ScienceUniversity of YorkYorkUnited Kingdom

Personalised recommendations