Safety optimization: a combination of fault tree analysis and optimization techniques

  • We present a new form of quantitative safety analysis - safety optimization. This method is a combination of fault tree analysis (FTA) and mathematical optimization techniques. With the use of the results of FTA, statistics, and a quantification of the costs of hazards, it allows to find the optimal configuration of a given system with respect to opposed safety requirements. Furthermore, the system may not only be examined for safety, but usability as well. We illustrate this method on a real-world case study: the height control system of the Elbtunnel in Hamburg. Safety optimization showed some significant problems in trustworthiness of the system, yielded optimal values for configuration of free parameters and showed possible modifications to improve the system.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Frank OrtmeierORCiDGND, Wolfgang ReifORCiDGND
URN:urn:nbn:de:bvb:384-opus4-1358
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/184
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2004-06)
Type:Report
Language:English
Year of first Publication:2004
Publishing Institution:Universität Augsburg
Release Date:2006/06/07
Tag:fault tree analysis; dependability; optimization; safety analysis; embedded systems
GND-Keyword:Sicherheitskritisches System; Optimierung
Source:auch erschienen 2004 in: Florence Proceedings of the Conference on Dependable Systems and Networks (DSN'04)
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik