Versenden
Drucken
Müller, Sascha und Jordon, Adeline und Gerndt, Andreas und Noll, Thomas (2021) A Modular Approach to Non-deterministic Dynamic Fault Trees. In: 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021. International Conference on Computer Safety, Reliability, and Security, 2021-09-07 - 2021-09-10, York. doi: 10.1007/978-3-030-83903-1_16. ISBN 978-3-030-83903-1. ISSN 0302-9743.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
366kB |
Offizielle URL: https://link.springer.com/chapter/10.1007/978-3-030-83903-1_16
Kurzfassung
Dynamic Fault Trees (DFTs) are powerful tools for deriving fault-tolerant system designs. However, deterministic approaches to DFTs suffer from semantic struggles with problems such as spare races. In this paper, we discuss the added complexity in the state-space representation of a non-deterministic DFT model and propose a modularized approach for synthesizing recovery automata. Finally, we give an implementation and evaluate it on the Fault tree FOResT (FFORT) benchmark. The results show that non-deterministic semantics with modularization can scale for literature case studies.
| elib-URL des Eintrags: | https://elib.dlr.de/145636/ | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||
| Titel: | A Modular Approach to Non-deterministic Dynamic Fault Trees | ||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||
| Datum: | 25 August 2021 | ||||||||||||||||||||
| Erschienen in: | 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021 | ||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||
| Open Access: | Ja | ||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||
| In SCOPUS: | Ja | ||||||||||||||||||||
| In ISI Web of Science: | Ja | ||||||||||||||||||||
| DOI: | 10.1007/978-3-030-83903-1_16 | ||||||||||||||||||||
| Name der Reihe: | Lecture Notes in Computer Science | ||||||||||||||||||||
| ISSN: | 0302-9743 | ||||||||||||||||||||
| ISBN: | 978-3-030-83903-1 | ||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||
| Stichwörter: | FDIR Reliability engineering Fault Tree Analysis Synthesis Formal methods | ||||||||||||||||||||
| Veranstaltungstitel: | International Conference on Computer Safety, Reliability, and Security | ||||||||||||||||||||
| Veranstaltungsort: | York | ||||||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||||||
| Veranstaltungsbeginn: | 7 September 2021 | ||||||||||||||||||||
| Veranstaltungsende: | 10 September 2021 | ||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||||||
| HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||||||
| DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Model Based Engineering for Failure Detection, Isolation, and Recovery | ||||||||||||||||||||
| Standort: | Braunschweig | ||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Softwaretechnologie Institut für Softwaretechnologie > Software für Raumfahrtsysteme und interaktive Visualisierung | ||||||||||||||||||||
| Hinterlegt von: | Müller, Sascha | ||||||||||||||||||||
| Hinterlegt am: | 07 Dez 2021 08:31 | ||||||||||||||||||||
| Letzte Änderung: | 24 Apr 2024 20:44 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
