Möhrle / Liggesmeyer / Rombach | Automated Fault Tree Analysis by Composition of Type-Annotated Component Fault Trees. | Buch | 978-3-8396-1912-4 | sack.de

Buch, Englisch, Band 73, 195 Seiten, Format (B × H): 170 mm x 240 mm

Reihe: PhD Theses in Experimental Software Engineering

Möhrle / Liggesmeyer / Rombach

Automated Fault Tree Analysis by Composition of Type-Annotated Component Fault Trees.

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


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.
Möhrle / Liggesmeyer / Rombach Automated Fault Tree Analysis by Composition of Type-Annotated Component Fault Trees. jetzt bestellen!
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.