Assurance Case Patterns On-line Catalogue - Publication - Bridge of Knowledge

Your account

login

Search

Assurance Case Patterns On-line Catalogue

Abstract

Assurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argu-ment is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and pub-lished. This paper reports work on development of an on-line assurance case patterns catalogue available in NOR-STA web-based software tool. This work included an extensive literature search, critical evaluation of available patterns and selection of most relevant ones, finally translation of selected patterns to their target representation. The paper also describes a validation case study in which an assurance case for medical devices was reviewed and restructured by introducing patterns. The resulting catalogue was published and its 45 patterns can be directly used in assurance cases built using NOR-STA tool.

Citations

  • 7

    CrossRef

  • 0

    Web of Science

  • 9

    Scopus

Authors (2)

Cite as

Full text

download paper
downloaded 168 times
Publication version
Accepted or Published Version
License
Copyright (Springer International Publishing AG 2018)

Keywords

Details

Category:
Conference activity
Type:
materiały konferencyjne indeksowane w Web of Science
Title of issue:
Advances in Dependability Engineering of Complex Systems. DepCoS-RELCOMEX 2017 strony 407 - 417
Language:
English
Publication year:
2017
Bibliographic description:
Szczygielska M., Jarzębowicz A..: Assurance Case Patterns On-line Catalogue, W: Advances in Dependability Engineering of Complex Systems. DepCoS-RELCOMEX 2017, 2017, Springer,.
DOI:
Digital Object Identifier (open in new tab) 10.1007/978-3-319-59415-6_39
Bibliography: test
  1. Kissel, R.: Glossary of Key Information Security Terms, Revision 2, NIST IR 7298, Na- tional Institute of Standards and Technology (2013) open in new tab
  2. International Organization for Standardization (ISO): ISO/DIS 26262: Road Vehicles - Functional Safety (2011) open in new tab
  3. CENELEC: EN 50126. Railway Applications: The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (1999) open in new tab
  4. FDA: Infusion Pumps Total Product Life Cycle, Guidance for Industry and FDA staff (2014) open in new tab
  5. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software, Addison-Wesley, Reading, Massachusetts (1995) open in new tab
  6. Kelly, T.: Arguing Safety -a Systematic Approach to Safety Case Management, PhD the- sis, Department of Computer Science, University of York (1998) open in new tab
  7. Maguire, R.: Safety Cases and Safety Reports: Meaning, Motivation and Management, Ashgate Publishing Ltd. (2006) open in new tab
  8. Despotou, G., Kelly, T.: Extending the Safety Case Concept to Address Dependability, Proc. of 22nd International System Safety Conference, pp. 645-654 (2004) open in new tab
  9. International Organization for Standardization (ISO): 15026-2:2011: Systems and Soft- ware Engineering --Systems and Software Assurance --Part 2: Assurance Case (2011) open in new tab
  10. Object Management Group: Structured Assurance Case Metamodel ver. 1.1 (2015) 11. Adelard: Claims, Arguments and Evidence (CAE), http://www.adelard.com/asce/choosing-asce/cae.html open in new tab
  11. GSN Community Standard Working Group: GSN community standard version 1, http://www.goalstructuringnotation.info/ (2011) 13. Argevide: NOR-STA Argument Notation White Paper, https://www.argevide.com/sites/default/files/docs/Argevide%20WP2%20-%20NOR- open in new tab
  12. Górski, J., Jarzębowicz, A., Leszczyna, R., Miler, J., Olszewski, M.: An Approach to Trust Case Development, In Proc. of the 22nd International Conference on Computer Safety, Re- liability and Security (SAFECOMP 2003), LNCS 2788, pp. 193-206 (2003) open in new tab
  13. Kelly, T., McDermid, J.: Safety Case Construction and Reuse Using Patterns, in Proc. of SAFECOMP'97, pp. 55-69 (1997) open in new tab
  14. Hawkins, R., Clegg, K., Alexander, R., Kelly, T.: Using a Software Safety Argument Pat- tern Catalogue -Two Case Studies, In Proc. of the 30th International Conference on Com- puter Safety, Reliability and Security (SAFECOMP 2011), LNCS 6894, pp. 185-198 (2011) open in new tab
  15. Khalil, M., Schätz, B., Voss, S.: A Pattern-based Approach towards Modular Safety Anal- ysis and Argumentation, In Proc. of ERTS 2014, Toulouse, France, LNCS 8822 pp. 137- 151 (2014) open in new tab
  16. Hauge, A., Stølen, K.: A Pattern-based Method for Safe Control Systems Exemplified within Nuclear Power Production, In Proc. of the 31st International Conference on Com- puter Safety, Reliability and Security (SAFECOMP 2012), LNCS 7612, pp. 13-24 (2012) open in new tab
  17. Ye, F.: Justifying the Use of COTS Components within Safety Critical Applications, PhD Thesis, Department of Computer Science, University of York (2005) open in new tab
  18. Ayoub, A., Kim, B., Lee, I., Sokolsky, O.: A Safety Case Pattern for Model-Based Devel- opment Approach, Proc. of The 4th NASA Formal Methods Symposium (NFM 2012), LNCS 7226, pp. 141-146 (2012) open in new tab
  19. Denney, E., Pai, G.: Safety Case Patterns: Theory and Applications, NASA/TM-2015- 218492 Technical Report (2015) open in new tab
  20. Alexander, R., Kelly, T., Kurd, Z., McDermid, J.: Safety Cases for Advanced Control Software: Safety Case Patterns, Technical Report, University of York (2007)
  21. Yamamoto, S., Matsuno, Y.: An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case, In Proc. of 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), pp. 12-17 (2013) open in new tab
  22. Weaver, R.: The Safety of Software -Constructing and Assuring Arguments, PhD Thesis, Department of Computer Science, University of York (2003)
  23. Hawkins, R., Kelly, T.: A Software Safety Argument Pattern Catalogue, Technical Report, University of York (2013) open in new tab
  24. Weinstock, C., Lipson, H., Goodenough, J.: Arguing Security -Creating Security Assur- ance Cases, US CERT BSI (Build Security In) Report, Carnegie Mellon University (2007)
  25. Assurance Case Patterns On-line Catalogue, Gdańsk University of Technology, http://www.nor-sta.eu/en/en/news/assurance_case_pattern_catalogue open in new tab
  26. Larson B.R., Hatcliff J. Chalin P.: Open source patient-controlled analgesic pump re- quirements documentation. In: 5th International Workshop on Software Engineering in Health Care (SEHC), pp. 28-34 (2013) open in new tab
  27. Larson, B.R.: Open PCA Pump Assurance Case, SAnToS Research Group, Kansas State University, http://openpcapump.santoslab.org/ (2014)
  28. Wardziński, A., Jarzębowicz, A.: Towards Safety Case Integration with Hazard Analysis for Medical Devices, In Proc. of 4th International Workshop on Assurance Cases for Soft- ware-intensive Systems (ASSURE 2016), LNCS 9923, pp. 87-98 (2016) open in new tab
Verified by:
Gdańsk University of Technology

seen 155 times

Recommended for you

Uniform Model Interface for Assurance Case Integration with System Models

2017

Supporting Assurance by Evidence-based Argument Services

2012

Towards Safety Case Integration with Hazard Analysis for Medical Devices

2016

Introducing agile practices into development processes of safety critical software

2018
Meta Tags