liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
A tool for automatic formal analysis of fault tolerance
Linköping University, Department of Computer and Information Science.
2005 (English)Independent thesis Basic level (professional degree), 20 points / 30 hpStudent thesis
Abstract [en]

The use of computer-based systems is rapidly increasing and such systems can now be found in a wide range of applications, including safety-critical applications such as cars and aircrafts. To make the development of such systems more efficient, there is a need for tools for automatic safety analysis, such as analysis of fault tolerance.

In this thesis, a tool for automatic formal analysis of fault tolerance was developed. The tool is built on top of the existing development environment for the synchronous language Esterel, and provides an output that can be visualised in the Item toolkit for fault tree analysis (FTA). The development of the tool demonstrates how fault tolerance analysis based on formal verification can be automated. The generated output from the fault tolerance analysis can be represented as a fault tree that is familiar to engineers from the traditional FTA analysis. The work also demonstrates that interesting attributes of the relationship between a critical fault combination and the input signals can be generated automatically.

Two case studies were used to test and demonstrate the functionality of the developed tool. A fault tolerance analysis was performed on a hydraulic leakage detection system, which is a real industrial system, but also on a synthetic system, which was modeled for this purpose.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2005. , 153 p.
Keyword [en]
Dependability, Fault Tolerance, Esterel, Formal Verification, System Safety
National Category
Computer Science
URN: urn:nbn:se:liu:diva-4435ISRN: LITH-IDA-EX-05/055-SEOAI: diva2:20622
Available from: 2005-10-21 Created: 2005-10-21

Open Access in DiVA

fulltext(713 kB)666 downloads
File information
File name FULLTEXT01.pdfFile size 713 kBChecksum MD5
Type fulltextMimetype application/pdf

By organisation
Department of Computer and Information Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 666 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: 397 hits
ReferencesLink to record
Permanent link

Direct link