Change search
ReferencesLink to record
Permanent link

Direct link
Automated Fault Tree Generation from Requirement Structures
Linköping University, Department of Electrical Engineering, Vehicular Systems.
2015 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

The increasing complexity of today’s vehicles gives drivers help with everything from adaptive cruisecontrol to warning lights for low fuel level. But the increasing functionality also increases the risk offailures in the system. To prevent system failures, different safety analytic methods can be used, e.g.,fault trees and/or FMEA-tables. These methods are generally performed manually, and due to thegrowing system size the time spent on safety analysis is growing with increased risk of human errors. If the safety analysis can be automated, lots of time can be saved.

This thesis investigates the possibility to generate fault trees from safety requirements as wellas which additional information, if any, that is needed for the generation. Safety requirements are requirements on the systems functionality that has to be fulfilled for the safety of the system to be guaranteed. This means that the safety of the truck, the driver, and the surroundings, depend on thefulfillment of those requirements. The requirements describing the system are structured in a graphusing contract theory. Contract theory defines the dependencies between requirements and connectsthem in a contract structure.

To be able to automatically generate the fault tree for a system, information about the systems failure propagation is needed. For this a Bayesian network is used. The network is built from the contract structure and stores the propagation information in all the nodes of the network. This will result in a failure propagation network, which the fault tree generation will be generated from. The failure propagation network is used to see which combinations of faults in the system can violate thesafety goal, i.e., causing one or several hazards. The result of this will be the base of the fault tree.

The automatic generation was tested on two different Scania systems, the fuel level displayand the dual circuit steering. Validation was done by comparing the automatically generated trees withmanually generated trees for the two systems showing that the proposed method works as intended. The case studies show that the automated fault tree generation works if the failure propagationinformation exists and can save a lot of time and also minimize the errors made by manuallygenerating the fault trees. The generated fault trees can also be used to validate written requirementsto by analyzing the fault trees created from them.

Place, publisher, year, edition, pages
2015. , 86 p.
Keyword [en]
fault tree, Scania, safety analysis, bayesian network, requirement structure
National Category
Other Electrical Engineering, Electronic Engineering, Information Engineering
URN: urn:nbn:se:liu:diva-122471ISRN: LiTH-ISY-EX--15/4900--SEOAI: diva2:866830
External cooperation
Subject / course
Vehicular Systems
2015-10-23, Filtret, Linköping, 13:15 (Swedish)
Available from: 2015-11-17 Created: 2015-11-03 Last updated: 2015-11-17Bibliographically approved

Open Access in DiVA

fulltext(3280 kB)92 downloads
File information
File name FULLTEXT01.pdfFile size 3280 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Andersson, Johan
By organisation
Vehicular Systems
Other Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 92 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 188 hits
ReferencesLink to record
Permanent link

Direct link