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

1. 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
2. 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
3. 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
4. FDA: Infusion Pumps Total Product Life Cycle, Guidance for Industry and FDA staff (2014) open in new tab
5. FDA: Guidance for the Content of Premarket Submissions for Software Contained in Med- ical Devices, (2005) open in new tab
6. 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
7. ISO: ISO 14971:2007. Medical devices --Application of risk management to medical de- vices (2007) open in new tab
8. 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
9. 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
10. NOR-STA tool website, https://www.argevide.com/en/products/assurance_case 11. OMG: Structured Assurance Case Metamodel (SACM), Version 1.1 (2015)
11. Weinstock C., Goodenough J.: Towards an Assurance Case Practice for Medical Devic- es, Software Engineering Institute, Technical Note CMU/SEI-2009-TN-018 (2009)
12. 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
13. 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
14. Generic Infusion Pump Research Project website, https://rtg.cis.upenn.edu/gip/ open in new tab
15. 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
16. 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
17. 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)
18. Larson B.R.: Open PCA Pump Assurance Case, SAnToS research group, Kansas State University, http://openpcapump.santoslab.org/ (2014)
19. Kelly T., McDermid J.: Safety case construction and reuse using patterns, in Proceedings of SAFECOMP' 97, pp. 55-69 (1997) open in new tab
20. 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
21. 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
22. 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
23. 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
24. Weaver R.: The Safety of Software -Constructing and Assuring Arguments, PhD Thesis, Department of Computer Science, University of York (2003)
25. 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
26. Alexander R., Kelly T., Kurd Z., McDermid J.: Safety cases for advanced control software: Safety case patterns, Technical Report, University of York (2007)
27. Hawkins R., Kelly T.: A software safety argument pattern catalogue, Technical report, University of York (2013) open in new tab
28. Denney E., Pai G.: Safety Case Patterns: Theory and Applications, NASA/TM-2015- 218492 Technical Report (2015) open in new tab
29. 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
30. 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
31. 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)
32. 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
33. 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
34. 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
35. 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
36. 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

show (36) hide

Verified by:

Gdańsk University of Technology