Navigation

Operating Systems Group
Operating Systems Group

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

    2016

  1. 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 
  2. Christine Jakobs, "Quantitative analysis of imprecise system models with configurable fault trees", in GI Fachgruppentreffen Betriebssysteme, 2016 


  3. 2015

  4. Peter Tröger, "Identifying Security-Related Safety Issues with Data Flow Analysis", 2015
     
  5. 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 


  6. 2014

  7. 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 
  8. 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 

Contact