Assurance Case Patterns On-line Catalogue - Publikacja - MOST Wiedzy

Wyszukiwarka

Assurance Case Patterns On-line Catalogue

Abstrakt

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.

Cytowania

  • 1

    CrossRef

  • 1

    Web of Science

  • 2

    Scopus

Pełna treść

pobierz publikację
pobrano 41 razy

Licencja

Copyright (Springer International Publishing AG 2018)

Informacje szczegółowe

Kategoria:
Aktywność konferencyjna
Typ:
materiały konferencyjne indeksowane w Web of Science
Tytuł wydania:
Advances in Dependability Engineering of Complex Systems. DepCoS-RELCOMEX 2017 strony 407 - 417
Język:
angielski
Rok wydania:
2017
Opis bibliograficzny:
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:
Cyfrowy identyfikator dokumentu elektronicznego (otwiera się w nowej karcie) 10.1007/978-3-319-59415-6_39
Bibliografia: test
  1. Kissel, R.: Glossary of Key Information Security Terms, Revision 2, NIST IR 7298, Na- tional Institute of Standards and Technology (2013) otwiera się w nowej karcie
  2. International Organization for Standardization (ISO): ISO/DIS 26262: Road Vehicles - Functional Safety (2011) otwiera się w nowej karcie
  3. CENELEC: EN 50126. Railway Applications: The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (1999) otwiera się w nowej karcie
  4. FDA: Infusion Pumps Total Product Life Cycle, Guidance for Industry and FDA staff (2014) otwiera się w nowej karcie
  5. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software, Addison-Wesley, Reading, Massachusetts (1995) otwiera się w nowej karcie
  6. Kelly, T.: Arguing Safety -a Systematic Approach to Safety Case Management, PhD the- sis, Department of Computer Science, University of York (1998) otwiera się w nowej karcie
  7. Maguire, R.: Safety Cases and Safety Reports: Meaning, Motivation and Management, Ashgate Publishing Ltd. (2006) otwiera się w nowej karcie
  8. Despotou, G., Kelly, T.: Extending the Safety Case Concept to Address Dependability, Proc. of 22nd International System Safety Conference, pp. 645-654 (2004) otwiera się w nowej karcie
  9. International Organization for Standardization (ISO): 15026-2:2011: Systems and Soft- ware Engineering --Systems and Software Assurance --Part 2: Assurance Case (2011) otwiera się w nowej karcie
  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 otwiera się w nowej karcie
  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- otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  13. Kelly, T., McDermid, J.: Safety Case Construction and Reuse Using Patterns, in Proc. of SAFECOMP'97, pp. 55-69 (1997) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  17. Ye, F.: Justifying the Use of COTS Components within Safety Critical Applications, PhD Thesis, Department of Computer Science, University of York (2005) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  19. Denney, E., Pai, G.: Safety Case Patterns: Theory and Applications, NASA/TM-2015- 218492 Technical Report (2015) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  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 otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
Weryfikacja:
Politechnika Gdańska

wyświetlono 60 razy

Publikacje, które mogą cię zainteresować

Meta Tagi