A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis

Autor:	Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri, Irfan Sljivo
Rok vydání:	2014
Předmět:	Engineering Risk analysis (engineering) business.industry Systems engineering Context (language use) Safety case Reuse business
Zdroj:	Lecture Notes in Computer Science ISBN: 9783319141299 ICSR
DOI:	10.1007/978-3-319-14130-5_18
Popis:	Safety-critical systems usually need to be accompanied by an explained and well-founded body of evidence to show that the system is acceptably safe. While reuse within such systems covers mainly code, reusing accompanying safety artefacts is limited due to a wide range of context dependencies that need to be satisfied for safety evidence to be valid in a different context. Currently the most commonly used approaches that facilitate reuse lack support for reuse of safety artefacts.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::faa7766f40e8bb65957c3639dabdb8fa https://doi.org/10.1007/978-3-319-14130-5_18 Zobrazit plný text záznamu