Composition of Safety Argument Patterns
Argument structure patterns can be used to represent classes of safety arguments. Such patterns can become quite complex, making use of loops and choices, posing a potential challenge for comprehension and evaluation, offsetting the likely gains that might follow from creating arguments using them. We show how complex patterns can be constructed by composition of simpler patterns. We provide a formal basis for pattern composition and show that this notion satisfies certain desirable properties. Furthermore, we show that it is always possible to construct complex patterns by omposition in this way. We motivate this work with example patterns extracted from real aviation safety cases, and illustrate the application of the theory on the same.
KeywordsArgumentation Composition Patterns Safety cases Unmanned aircraft systems
This work was funded by the SASO project under the Airspace Operations and Safety Program of NASA ARMD.
- 1.Berthold, R., Denney, E., Fladeland, M., Pai, G., Storms, B., Sumich, M.: Assuring ground-based detect and avoid for UAS operations. In: 33rd IEEE/AIAA Digital Avionics Systems Conference (DASC 2015), pp. 6A1-1–6A1-16, October 2014Google Scholar
- 2.Federal Aviation Administration (FAA): Flight Standards Information Management System, vol. 16, Unmanned Aircraft Systems. Order 8900.1, June 2014Google Scholar
- 3.Denney, E., Pai, G.: A methodology for the development of assurance arguments for unmanned aircraft systems. In: 33rd International System Safety Conference (ISSC 2015), August 2015Google Scholar
- 4.Denney, E., Pai, G., Pohl, J.: AdvoCATE: an assurance case automation toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 8–21. Springer, Heidelberg (2012)Google Scholar
- 6.Goal Structuring Notation Working Group: GSN Community Standard Version 1. http://www.goalstructuringnotation.info/
- 8.Kelly, T.: Concepts and principles of compositional safety case construction. Technical report COMSA/2001/1/1, University of York (2001)Google Scholar
- 9.Hawkins, R., Kelly, T.: A systematic approach for developing software safety arguments. In: 27th International System Safety Conference (ISSC 2009) (2009)Google Scholar
- 10.Bloomfield, R., Netkachova, K.: Building blocks for assurance cases. In: 2014 IEEE ISSRE Workshops, (ISSREW), pp. 186–191, November 2014Google Scholar
- 11.Denney, E., Pai, G., Whiteside, I.: Formal foundations for hierarchical safety cases. In: 16th IEEE International Symposium High Assurance Systems Engineering (HASE 2015), pp. 52–59, January 2015Google Scholar
- 12.Walton, D., Reed, C.: Argumentation schemes and defeasible inferences. In: Workshop on Computational Models of Natural Argument, 15th European Conference on Artificial Intelligence, pp. 11–20 (2002)Google Scholar
- 13.Industrial Avionics Working Group: Modular Software Safety Case Process GSN - MSSC 203 Issue 1, November 2012Google Scholar