Buch, Englisch, Band 73, 195 Seiten, Format (B × H): 170 mm x 240 mm
Buch, Englisch, Band 73, 195 Seiten, Format (B × H): 170 mm x 240 mm
Reihe: PhD Theses in Experimental Software Engineering
ISBN: 978-3-8396-1912-4
Verlag: Fraunhofer Verlag
Component Fault Trees (CFTs) solve several related issues by breaking down the models into smaller, more manageable parts and better aligning the safety analysis model with the component structure of the system architecture. A remaining shortcoming is that their composition into a cohesive fault tree at system level is a manual task to date.
This work introduces the automation of this step by composing CFTs based on machine-readable type annotations at their interfaces. The resulting process relieves the burden on safety engineers by assisting them in the creation and maintenance of safety analysis models and facilitating the repetition of analyses after revisions to the system design.
Autoren/Hrsg.
Fachgebiete
- Technische Wissenschaften Maschinenbau | Werkstoffkunde Produktionstechnik Zuverlässigkeitstechnik
- Mathematik | Informatik EDV | Informatik EDV & Informatik Allgemein Gesundheits- und Sicherheitstechnische Aspekte der EDV
- Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Entscheidungstheorie, Sozialwahltheorie
- Mathematik | Informatik EDV | Informatik Informatik