Abstract
Safety case is one of system safety lifecycle products and should be consistent with other lifecycle products like hazard analysis results. In this paper we present a method of safety case integration with hazard tables based on the use of parametrized argument patterns. We describe a hazard table metamodel, a safety argument pattern and a mechanism of pattern instantiation using a linking table which represents references to system lifecycle artefacts. We report and comment results of a feasibility study of pattern application for medical device hazard analysis. Finally we discuss the opportunities of applying such solution to safety case development and maintenance and the perspectives of further development of this approach.
Citations
-
3
CrossRef
-
0
Web of Science
-
3
Scopus
Authors (2)
Cite as
Full text
- Publication version
- Accepted or Published Version
- License
- Copyright (Springer International Publishing Switzerland 2016)
Keywords
Details
- Category:
- Conference activity
- Type:
- materiały konferencyjne indeksowane w Web of Science
- Title of issue:
- COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016 strony 87 - 98
- Publication year:
- 2016
- Bibliographic description:
- Wardziński A., Jarzębowicz A..: Towards Safety Case Integration with Hazard Analysis for Medical Devices, W: COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, Springer International Publishing,.
- DOI:
- Digital Object Identifier (open in new tab) 10.1007/978-3-319-45480-1_8
- Bibliography: test
-
- Sujan M., Koornneef F., Chozos N., Pozzi S., Kelly T.: Safety Cases for Medical Devices and Health IT -Involving Healthcare Organisations in the Assurance of Safety, Health In- formatics Journal 19(3), pp. 165-182 (2013) open in new tab
- Chen Y., Lawford M., Wang H., Wassyng A.: Insulin pump software certification, in: Foundations of Health Information Engineering and Systems, pp. 87-106, Springer Berlin Heidelberg (2013) open in new tab
- Sujan M., Habli I., Kelly T., Pozzi S., Johnson C.: Should healthcare providers do safety cases? Lessons from a cross-industry review of safety case practices, Safety Science 84, pp. 181-189 (2016) open in new tab
- FDA: Infusion Pumps Total Product Life Cycle, Guidance for Industry and FDA staff (2014) open in new tab
- FDA: Guidance for the Content of Premarket Submissions for Software Contained in Med- ical Devices, (2005) open in new tab
- FDA: Content of Premarket Submissions for Management of Cybersecurity in Medical Devices. Guidance for Industry and Food and Drug Administration Staff (2014) open in new tab
- ISO: ISO 14971:2007. Medical devices --Application of risk management to medical de- vices (2007) open in new tab
- Jones P.L., Taylor A.: Medical Device Risk Management And Safety Cases, Bio-medical Instrumentation & Technology 49 (s1), pp. 45-53 (2015) open in new tab
- Górski J., Jarzębowicz A., Miler J., Witkowicz M., Czyżnikiewicz J., Jar P.: Supporting Assurance by Evidence-Based Argument Services, Proc. of SAFECOMP 2012, LNCS 7613, pp. 417-426 (2012) open in new tab
- NOR-STA tool website, https://www.argevide.com/en/products/assurance_case 11. OMG: Structured Assurance Case Metamodel (SACM), Version 1.1 (2015)
- Weinstock C., Goodenough J.: Towards an Assurance Case Practice for Medical Devic- es, Software Engineering Institute, Technical Note CMU/SEI-2009-TN-018 (2009)
- Ray A., Cleaveland R.: Constructing safety assurance cases for medical devices, in Pro- ceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, pp. 40-45, IEEE Press (2013) open in new tab
- Wassyng A., Singh N.K., Geven M., Proscia N., Wang H., Lawford M., Maibaum T., Can product specific assurance case templates be used as medical device stand- ards?, IEEE Design & Test, Issue 5 (2015) open in new tab
- Generic Infusion Pump Research Project website, https://rtg.cis.upenn.edu/gip/ open in new tab
- Jee E., Lee I., Sokolsky O.: Assurance Cases in Model-Driven Development of the Pace- maker Software, Lecture Notes in Computer Science: Leveraging Methods of Formal Methods, Verification, and Validation 6416, pp. 343-356 (2010) open in new tab
- Ayoub A., Kim B., Lee I., Sokolsky O.: A Safety Case Pattern for Model-Based Develop- ment Approach, NASA Formal Methods LNCS vol. 7226, pp. 141-146 (2012) open in new tab
- Feng L., King A., Chen S., Ayoub A., Park J., Bezzo N., Sokolsky O., Lee I.: A Safety Ar- gument Strategy for PC A Closed-Loop Systems: A Preliminary Proposal, 5th Workshop on Medical Cyber-Physical Systems 36, pp. 94-99 (2014)
- Larson B.R.: Open PCA Pump Assurance Case, SAnToS research group, Kansas State University, http://openpcapump.santoslab.org/ (2014)
- Kelly T., McDermid J.: Safety case construction and reuse using patterns, in Proceedings of SAFECOMP' 97, pp. 55-69 (1997) open in new tab
- Kelly T., McDermid J.: Safety case patterns -reusing successful arguments, In Proc. of IEE Colloquium on Understanding Patterns and Their Application to System Engineering, London, UK (1998) open in new tab
- Kelly T.: Arguing safety -a systematic approach to safety case management, PhD thesis, Department of Computer Science, University of York (1998) open in new tab
- Hawkins R., Kelly T., A Systematic Approach for Developing Software Safety Argu- ments, In proceedings of the 27th System Safety Society (SSS) International System Safe- ty Conference (ISSC), 3-7 August 2009, Huntsville AL, USA (2009) open in new tab
- Hawkins R., Clegg K., Alexander R., Kelly T.: Using a Software Safety Argument Pattern Catalogue -Two Case Studies, in Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), Springer LNCS (2011) open in new tab
- Weaver R.: The Safety of Software -Constructing and Assuring Arguments, PhD Thesis, Department of Computer Science, University of York (2003)
- 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
- Alexander R., Kelly T., Kurd Z., McDermid J.: Safety cases for advanced control software: Safety case patterns, Technical Report, University of York (2007)
- Hawkins R., Kelly T.: A software safety argument pattern catalogue, Technical report, University of York (2013) open in new tab
- Denney E., Pai G.: Safety Case Patterns: Theory and Applications, NASA/TM-2015- 218492 Technical Report (2015) open in new tab
- 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
- Hauge A., Stølen K.: A pattern-based method for safe control systems exemplified within nuclear power production, Safecomp 2012, LNCS vol. 7612, pp. 13-24 (2012) open in new tab
- Khalil M., Schätz B., Voss S.: A Pattern-based Approach towards Modular Safety Analy- sis and Argumentation, Embedded Real Time Software and Systems Conference (ERTS2014), Toulouse, France (2014)
- Denney E., Pai G., Pohl J.: AdvoCATE: An Assurance Case Automation Toolset, in: SAFECOMP 2012 Workshops, LNCS Vol. 7613, pp. 8-21 (2012) open in new tab
- Denney E., Pai G.: A lightweight methodology for safety case assembly, In Proc. of 31st International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2012), pp. 1-12, Springer Berlin Heidelberg (2012) open in new tab
- Hawkins R., Habli I., Kolovos D., Paige R., Kelly T.: Weaving an Assurance Case from Design: A Model-Based Approach, 2015 IEEE 16th International Symposium on High As- surance Systems Engineering (HASE) (2015) 36. Argevide: NOR-STA Argument Notation White Paper, https://www.argevide.com/sites/default/files/docs/Argevide%20WP2%20-%20NOR- open in new tab
- Jarzębowicz A., Wardziński A.: Integrating Confidence and Assurance Arguments, In: 10th IET System Safety and Cyber Security Conference, Bristol, UK (2015) open in new tab
- 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
- Verified by:
- Gdańsk University of Technology
seen 99 times