Model-Based Development of Medical Devices
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Model-based multi-objective safety optimization
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
| Hi-index | 0.00 |
We present a new form of quantitative safety analysis - safety optimization.This method is a combination of faulttree 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 theoptimal configuration of a given system with respect to opposed safety requirements. Furthermore, the system maynot only be examined for safety, but usability as well.We illustrate this method on a real-world case study: theheight control system of the Elbtunnel in Hamburg. Safetyoptimization showed some significant problems in trustworthiness of the system,yielded optimal values for configuration of free parameters and showed possible modificationsto improve the system.