Wyszukiwarka
Abstrakt
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.
Cytowania
-
4
CrossRef
-
0
Web of Science
-
4
Scopus
Cytuj jako
Pełna treść
- Wersja publikacji
- Accepted albo Published Version
- Licencja
- Copyright (Springer International Publishing Switzerland 2016)
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Aktywność konferencyjna
- Typ:
- materiały konferencyjne indeksowane w Web of Science
- Tytuł wydania:
- COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016 strony 87 - 98
- Rok wydania:
- 2016
- Opis bibliograficzny:
- 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:
- Cyfrowy identyfikator dokumentu elektronicznego (otwiera się w nowej karcie) 10.1007/978-3-319-45480-1_8
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 143 razy