Buch, Englisch, 195 Seiten, Format (B × H): 170 mm x 240 mm
Buch, Englisch, 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
Safety assessment is a critical component in the design of many modern systems. Fault Tree Analysis (FTA) is a safety analysis technique that originated within the chemical industry and is widely accepted and used in many areas today. One of its drawbacks is that its application often becomes tedious and time-consuming for complex systems. This poses an obstacle in practice, where competitiveness and a short time-to-market are essential.
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
- Mathematik | Informatik EDV | Informatik Informatik
- 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
