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

90.00 €

Order
Automated Fault Tree Analysis by Composition of Type-Annotated Component Fault Trees
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.

More from the series "PhD Theses in Experimental Software Engineering"

More books by Felix Möhrle

Log in to get access to this book and to automatically save your books and your progress.

Purchase this book or upgrade to dav Pro to read this book.

When you buy this book, you can access it regardless of your plan. You can also download the book file and read it in another app or on an Ebook reader.

80 % of the price goes directly to the author.

ISBN: 9783839619124

Language: English

Publication date: 06.04.2023

Number of pages: 195

Our shipping costs are a flat rate of €2.50, regardless of the order.
Currently, we only ship within Germany.

Shipping is free for PocketLib Pro users.

An error occured. Please check your internet connection or try it again later.