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
-
7
CrossRef
-
0
Web of Science
-
9
Scopus
Autorzy (2)
Cytuj jako
Pełna treść
- Wersja publikacji
- Accepted albo Published Version
- Licencja
- Copyright (Springer International Publishing AG 2018)
Słowa kluczowe
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
-
- 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
- International Organization for Standardization (ISO): ISO/DIS 26262: Road Vehicles - Functional Safety (2011) otwiera się w nowej karcie
- CENELEC: EN 50126. Railway Applications: The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (1999) otwiera się w nowej karcie
- FDA: Infusion Pumps Total Product Life Cycle, Guidance for Industry and FDA staff (2014) otwiera się w nowej karcie
- 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
- 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
- Maguire, R.: Safety Cases and Safety Reports: Meaning, Motivation and Management, Ashgate Publishing Ltd. (2006) otwiera się w nowej karcie
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Denney, E., Pai, G.: Safety Case Patterns: Theory and Applications, NASA/TM-2015- 218492 Technical Report (2015) otwiera się w nowej karcie
- Alexander, R., Kelly, T., Kurd, Z., McDermid, J.: Safety Cases for Advanced Control Software: Safety Case Patterns, Technical Report, University of York (2007)
- 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
- Weaver, R.: The Safety of Software -Constructing and Assuring Arguments, PhD Thesis, Department of Computer Science, University of York (2003)
- Hawkins, R., Kelly, T.: A Software Safety Argument Pattern Catalogue, Technical Report, University of York (2013) otwiera się w nowej karcie
- Weinstock, C., Lipson, H., Goodenough, J.: Arguing Security -Creating Security Assur- ance Cases, US CERT BSI (Build Security In) Report, Carnegie Mellon University (2007)
- 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
- 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
- Larson, B.R.: Open PCA Pump Assurance Case, SAnToS Research Group, Kansas State University, http://openpcapump.santoslab.org/ (2014)
- 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 155 razy
Publikacje, które mogą cię zainteresować
Supporting Assurance by Evidence-based Argument Services
- J. Górski,
- A. Jarzębowicz,
- J. Miler
- + 3 autorów