Fuzziness and uncertainty in dependability modeling and analysis
Classical methods for dependability modeling fail for modern information systems. Due to the increasing complexity, both system configurations and usage patterns are known lately in the development, sometimes never. This makes an early dependability analysis very hard and sometimes even impossible. Beside the lack of knowledge about structural aspects, also basic event probabilities are unknown, reasoned by the fact that such data is (meanwhile) unavailable with modern hardware and software. This leads to the increasing reliance on qualitative methods in practical reliability and safety engineering.
In this research project, we are investigating the early dependability modeling based on fuzzy and uncertain knowledge. We extend existing methods such as fault tree analysis, so that a partial evaluation of dependability under imperfect knowledge becomes possible.
Publications
- Christine Jakobs, "Quantitative analysis of imprecise system models with configurable fault trees", in GI Fachgruppentreffen Betriebssysteme, 2016
- Christine Jakobs, Peter Tröger, Matthias Werner, "Configurable Fault Trees", in Ivica Crnkovic, Elena Troubitsyna (ed.): Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings, Springer International Publishing,, 13-27, 2016 @Inbook{Jakobs2016,
author="Christine Jakobs and Peter Tröger and Matthias Werner",
editor="Ivica Crnkovic and Elena Troubitsyna",
title="Configurable Fault Trees",
bookTitle="Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings",
year="2016",
publisher="Springer International Publishing",
pages="13--27",
isbn="978-3-319-45892-2",
doi="10.1007/978-3-319-45892-2_2",
url="http://dx.doi.org/10.1007/978-3-319-45892-2_2",
keywords="uncertainty"
- Peter Tröger, "Identifying Security-Related Safety Issues with Data Flow Analysis", 2015
@misc{Tro:SecurityDataFlow:2015,
title= {Identifying Security-Related Safety Issues with Data Flow Analysis},
author = {Peter Tröger},
year = {2015},
month = mar,
day = {25},
location = {Berlin, Germany},
keywords = {uncertainty},
howpublished = {Invited Talk at the 5th International Conference - ISO26262}
- Peter Tröger, Lena Feinbube, Matthias Werner, "What activates a bug? A refinement of the Laprie terminology model", in 26th IEEE International Symposium on Software Reliability Engineering, 2015 @conference{ Tro:Laprie:2015,
author = {Peter Tröger and Lena Feinbube and Matthias Werner },
title = {{What activates a bug? A refinement of the Laprie terminology model}},
day = {2},
year = {2015},
shorttitle = {{ISSRE}},
booktitle = {{26th IEEE International Symposium on Software Reliability Engineering}},
location = {{Gaithersburg, USA}},
month = nov,
keywords = {uncertainty}
- Lena Herscheid, Peter Tröger, "Specification of Dynamic Fault Tree Concepts with Stochastic Petri Nets", in Eighth International Conference on Software Security and Reliability, 177-186, 2014 @conference{ citemaster_10113,
author = {Lena Herscheid and Peter Tröger},
title = {{Specification of Dynamic Fault Tree Concepts with Stochastic Petri Nets}},
publisher = {{IEEE}},
doi = {{10.1109/SERE.2014.31}},
isbn = {{978-1-4799-4296-1}},
year = {2014},
shorttitle = {{SERE}},
booktitle = {{Eighth International Conference on Software Security and Reliability}},
pages = {{177-186}},
location = {{San Francisco}},
address = {{San Francisco, CA}},
keywords = {petrinet faulttolerance, uncertainty}
- Karsten Schmidt, Peter Tröger, Hans-Martin Kroll, Thomas Bünger, Florian Krueger, Christian Neuhaus, "Adapted Development Process for Security in Networked Automotive Systems", SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 7(2014), 516-526 @article{ citemaster_10187,
author = {Karsten Schmidt and Peter Tröger and Hans-Martin Kroll and Thomas Bünger and Florian Krueger and Christian Neuhaus},
title = {{Adapted Development Process for Security in Networked Automotive Systems}},
doi = {{10.4271/2014-01-0334}},
pages = {{516-526}},
url = {http://saepcelec.saejournals.org/content/7/2/516.full.pdf+html},
journal = {{SAE International Journal of Passenger Cars - Electronic and Electrical Systems}},
volume = {7},
year = {2014},
issue = {2},
keywords = {uncertainty}
2016
2015
2014