Abstrakt
Assurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types of system models. References to system metamodels are specified in an argument pattern and then used for assurance case instantiation. The proposed approach permits incremental development of assurance cases that maintain consistency with corresponding system models throughout the system development life cycle.
Cytowania
-
4
CrossRef
-
0
Web of Science
-
4
Scopus
Autorzy (2)
Cytuj jako
Pełna treść
- Wersja publikacji
- Accepted albo Published Version
- Licencja
- Copyright (Springer International Publishing AG 2017)
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Publikacja monograficzna
- Typ:
- rozdział, artykuł w książce - dziele zbiorowym /podręczniku w języku o zasięgu międzynarodowym
- Tytuł wydania:
- Computer Safety, Reliability, and Security strony 39 - 51
- Język:
- angielski
- Rok wydania:
- 2017
- Opis bibliograficzny:
- Wardziński A., Jones P.: Uniform Model Interface for Assurance Case Integration with System Models// / ed. Tonetta S., Schoitsch E., Bitsch F. : Springer, 2017, s.39-51
- DOI:
- Cyfrowy identyfikator dokumentu elektronicznego (otwiera się w nowej karcie) 10.1007/978-3-319-66284-8_4
- Bibliografia: test
-
- Jee, E., Lee, I., Sokolsky, O.: Assurance cases in model-driven development of the pacemaker software. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6416, pp. 343-356. otwiera się w nowej karcie
- Springer, Heidelberg (2010). doi:10.1007/978-3-642-16561-0_33 otwiera się w nowej karcie
- Górski, J., Jarzębowicz, A., Leszczyna, R., Miler, J., Olszewski, M.: Trust case justifying trust in an IT solution. Reliab. Eng. Syst. Saf. 89, 33-47 (2005) otwiera się w nowej karcie
- Sljivo, I., Gallina, B., Carlson, B., Hansson, H., Puri, S.: A method to generate reusable safety case argument-fragments from compositional safety analysis. J. Syst. Softw. 131, 570-590 (2017). doi:10.1016/j.jss.2016.07.034. Elsevier otwiera się w nowej karcie
- Hawkins, R., Habli, I., Kolovos, D., Paige, R., Kelly, T.: Weaving an assurance case from design: a model-based approach. In: IEEE 16th International Symposium on High Assurance Systems Engineering (2015) otwiera się w nowej karcie
- Compositional assurance cases and arguments for distributed MILS, D-MILS Project deliverable D4.2, University of York (2015) otwiera się w nowej karcie
- Wardziński, A., Jarzębowicz, A.: Towards safety case integration with hazard analysis for medical devices. In: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2016. LNCS, vol. 9923, pp. 87-98. Springer, Cham (2016). doi:10.1007/978-3-319-45480-1_8 otwiera się w nowej karcie
- Larson B.R., Hatcliff, J.: Open Patient-Controlled Analgesia fufusion Pump System Requirements, Kansas State University, SAnToS TR 2014-6-1 (2014) otwiera się w nowej karcie
- Jones, P.L., Taylor, A.: Medical device risk management and safety cases. Bio-Med. fustrum. Technol. 49, 45-53 (2015) otwiera się w nowej karcie
- Structured Assurance Case Metam odel (SACM), version 2.0 -Beta, Object Management Group (2016) otwiera się w nowej karcie
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 119 razy