Uniform Model Interface for Assurance Case Integration with System Models - Publikacja - MOST Wiedzy

Wyszukiwarka

Uniform Model Interface for Assurance Case Integration with System Models

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

0
CrossRef
0
Web of Science
0
Scopus

Andrzej Wardziński, Paul Jones. (2017). Uniform Model Interface for Assurance Case Integration with System Models. Computer Safety, Reliability, And Security, 39-51. https://doi.org/10.1007/978-3-319-66284-8_4

Pełna treść

Pełna treść dostępna od 2018-09-28

Informacje szczegółowe

Kategoria:
Inna publikacyjna praca zbiorowa (w tym materiały konferencyjne)
Typ:
publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
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// Computer Safety, Reliability, and Security / ed. Tonetta S., Schoitsch E., Bitsch F. : Springer, 2017, s.39-51

wyświetlono 10 razy

Meta Tagi