A Categorization of GSN-based Safety Cases and Patterns

Yaping Luo, Zhuoao Li, Mark van den Brand

2016

Abstract

Recently modeling techniques are introduced to support safety assessment. Goal Structural Notation is one of these modeling techniques, which can be used to facilitate the development of safety argumentation and create reusable safety argumentation models. Consequently, GSN-based safety cases are widely used to demonstrate the safety of systems in safety-critical domains. Due to the amount of manual work, constructing a safety case is usually time-consuming. Moreover, the re-usability of GSN-based safety cases is limited. To address this, safety case patterns are introduced to support safety case reuse. As more and more GSN-based safety cases and patterns are designed with different goals in different contexts, it becomes hard to identify a reusable safety case or pattern. In this paper, we carried out a study on the categorization of existing GSN-based safety cases and patterns. As a result, a number of high cited publications are selected and studied. Finally a categorization of GSN-based safety cases is proposed. A clear categorization of GSN-based safety cases can be used to identify similar safety cases or patterns and facilitate safety case reuse.

References

  1. Alexander, R., Kelly, T., Kurd, Z., and McDermid, J. (2007). Safety Cases for Advanced Control Software: Safety Case Patterns. Technical report, DTIC Document. Cited by 16.
  2. Ayoub, A., Kim, B., Lee, I., and Sokolsky, O. (2012). A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. In Computer Safety, Reliability, and Security, pages 305-316. Springer. Cited by 7.
  3. Birch, J., Rivett, R., Habli, I., Bradshaw, B., Botham, J., Higham, D., Jesty, P., Monkhouse, H., and Palin, R. (2013). Safety Cases and Their Role in ISO 26262 Functional Safety Assessment. Computer Safety, Reliability, and Security Lecture Notes in Computer Science Volume 8153, pp 154-165. Cited by 11.
  4. Bishop, P. and Bloomfield, R. (1998). A Methdology for Safety Case Development. Industrial Perspectives of Safety-critical Systems, P194-203. Cited by 201.
  5. Conmy, P. and Bate, I. (2014). Assuring Safety for Component Based Software Engineering. In 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE), pages 121-128. Cited by 3.
  6. Denney, E., Pai, G., and Habli, I. (2011). Towards Measurement of Confidence in Safety Cases. In 2011 International Symposium on Empirical Software Engineering and Measurement (ESEM), pages 380-383. IEEE. Cited by 26.
  7. GSN Community Standard (2011). GSN Community Standard: Version 1; November 2011, (c) 2011 Origin Consulting (York) Limited. http://www.goalstructuringnotation.info/documents/GS N_Standard.pdf/.
  8. Habli, I. and Kelly, T. (2006). Process and Product Certification Arguments: Getting the Balance Right. ACM SIGBED Review, 3(4):1-8. Cited by 32.
  9. Hawkins, R. and Kelly, T. (2008). A Software Safety Argument Pattern Catalogue. Department of Computer Science, The University of York. Cited by 13.
  10. Hawkins, R., Kelly, T., Knight, J., and Graydon, P. (2011). A New Approach to Creating Clear Safety Arguments. Advances in Systems Safety, pp 3-23. Cited by 63.
  11. ISO26262 (2011). ISO: ISO 26262 Road Vehicles - Functional Safety. ISO Standard.
  12. Kelly, T. (1999). Arguing Safety: A Systematic Approach to Managing Safety Cases. PhD thesis, University of York. Cited by 295.
  13. Kelly, T. and McDermid, J. (1997). Safety Case Construction and Reuse using Patterns. In SafeComp 97, pages 55- 69. Springer. Cited by 107.
  14. Kelly, T. and McDermid, J. (1998). Safety Case Patterns - Reusing Successful Arguments. In IEEE Colloquium on Understanding Patterns and Their Application to Systems Engineering (Digest No. 1998/308), pages 3/1- 3/9. cited by 41.
  15. Kelly, T. and Weaver, R. (2004). The Goal Structuring Notation - A Safety Argument Notation. Proc. of Dependable Systems and Networks 2004 Workshop on Assurance Cases. Cited by 257.
  16. Luo, Y., van den Brand, M. G. J., Engelen, L., and Klabbers, M. (2015a). A Modeling Approach to Support Safety Assurance in the Automotive Domain. In Progress in Systems Engineering, volume 1089, pages 339-345. Springer International Publishing.
  17. Luo, Y., van den Brand, M. G. J., and Kiburse, A. (2015b). Safety Case Development with SBVR-based Controlled Language. In Proceedings of Third International Conference on Model-Driven Engineering and Software Development.
  18. MOD (1997). Defence Standard 00-55 Part 1. http://www.software-supportability.org/Docs/00- 55_Part_1.pdf.
  19. OPENCOSS (2013). OPENCOSS: Deliverable D5.3 - Compositional certification conceptual framework (report). http://www.opencoss-project.eu/node/7.
  20. Robert, P. and Ibrahim, H. (2010). Assurance of Automotive Safety-A Safety Case Approach . Springer. Cited by 16.
  21. Safety Case Repository (2013). Safety Case Repository. http://dependability.cs.virginia.edu/info/Safety_Cases: Repository.
  22. Weaver, R. (2004). The Safety of Software - Constructing and Assuring Arguments. PhD thesis, Department of Computer Science, University of York. Cited by 102.
  23. Ye, F. (2005). Justifying the Use of COTS Components within Safety Critical Applications. PhD thesis, Department of Computer Science, University of York. Cited by 21.
Download


Paper Citation


in Harvard Style

Luo Y., Li Z. and van den Brand M. (2016). A Categorization of GSN-based Safety Cases and Patterns . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 509-516. DOI: 10.5220/0005734305090516


in Bibtex Style

@conference{modelsward16,
author={Yaping Luo and Zhuoao Li and Mark van den Brand},
title={A Categorization of GSN-based Safety Cases and Patterns},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={509-516},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005734305090516},
isbn={978-989-758-168-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Categorization of GSN-based Safety Cases and Patterns
SN - 978-989-758-168-7
AU - Luo Y.
AU - Li Z.
AU - van den Brand M.
PY - 2016
SP - 509
EP - 516
DO - 10.5220/0005734305090516