Matthias Güdemann, Frank Ortmeier: Model-Based Multi-Objective Safety Optimization. Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), 6894 , LNCS Springer, 2011, ISBN: 978-3642242694.

Abstract

It is well-known that in many safety critical applications safety goals are antagonistic to other design goals or even antagonistic to each other. This is a big challenge for the system designers who have to find the best compromises between different goals. In this paper, we show how model-based safety analysis can be combined with multi-objective optimization to balance a safety critical system wrt. different goals. In general the presented approach may be combined with almost any type of (quantitative) safety analysis technique. For additional goal functions, both analytic and black-box functions are possible, derivative information about the functions is not necessary. As an example, we use our quantitative model-based safety analysis in combination with analytical functions describing different other design goals. The result of the approach is a set of emphbest compromises of possible system variants. Technically, the approach relies on genetic algorithms for the optimization. To improve efficiency and scalability to complex systems, elaborate estimation models based on artificial neural networks are used which speed up convergence. The whole approach is illustrated and evaluated on a real world case study from the railroad domain.

BibTeX (Download)

@conference{safecomp-saml-opt,
title = {Model-Based Multi-Objective Safety Optimization},
author = {Matthias G\"{u}demann and Frank Ortmeier},
editor = {Francesco Flammini and Sandro Bologna and Valeria Vittorini},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2017/10/Model-Based_Multi-Objective_Safety_Optimization.pdf
http://www.safecomp2011.unina.it/},
isbn = {978-3642242694},
year  = {2011},
date = {2011-01-01},
booktitle = {Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011)},
volume = {6894},
publisher = {Springer},
series = {LNCS},
abstract = {It is well-known that in many safety critical applications safety goals are antagonistic to other design goals or even antagonistic to each other. This is a big challenge for the system designers who have to find the best compromises between different goals. In this paper, we show how model-based safety analysis can be combined with multi-objective optimization to balance a safety critical system wrt. different goals. In general the presented approach may be combined with almost any type of (quantitative) safety analysis technique. For additional goal functions, both analytic and black-box functions are possible, derivative information about the functions is not necessary. As an example, we use our quantitative model-based safety analysis in combination with analytical functions describing different other design goals. The result of the approach is a set of emphbest compromises of possible system variants. Technically, the approach relies on genetic algorithms for the optimization. To improve efficiency and scalability to complex systems, elaborate estimation models based on artificial neural networks are used which speed up convergence. The whole approach is illustrated and evaluated on a real world case study from the railroad domain.},
keywords = {model-based, optimization, safety},
pubstate = {published},
tppubtype = {conference}
}