Navigation

Professur Betriebssysteme
Professur Betriebssysteme

Unschärfe und Unsicherheit bei Verlässlichkeitsmodellierung und -analyse

Klassische Verfahren der Verlässlichkeitsmodellierung scheitern bei modernen Informationssystemen. Durch die gestiegene Komplexität sind Systemkonfigurationen und Nutzungsmuster zunehmend erst zum Ende der Entwicklung hin vollständig bekannt. Dies macht eine frühe Modellbildung sehr aufwändig oder sogar unmöglich. Neben den strukturellen Informationen ist auch die Auftretenswahrscheinlichkeit von Basisereignissen häufig unbekannt, da solche Daten für moderne IT-Bauteile und für Software-Module nicht (mehr) in zufriedenstellender Genauigkeit ermittelbar sind. Als Folge wird in der Praxis meist die rein qualitative Analyse bevorzugt.

Im Forschungsvorhaben wird die frühzeitige Zuverlässigkeitsmodellierung mit unscharfen und unsicheren Wissen genauer untersucht. Ziel ist es, trotz unvollständiger Datenlage eine teilweise Evaluierung der Zuverlässigkeit durchführen zu können. Dafür werden existierende Methoden wie die Fehlerbaumanalyse erweitert, um die unscharfe quantitative Analyse so früh wie möglich zu unterstützen.

Veröffentlichungen

    2016

  1. Christine Jakobs, Peter Tröger, Matthias Werner, "Configurable Fault Trees", in Ivica Crnkovic, Elena Troubitsyna (Hrsg.): 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"
  2. Christine Jakobs, "Quantitative analysis of imprecise system models with configurable fault trees", in GI Fachgruppentreffen Betriebssysteme, 2016 
    @inproceedings{Ja:Faulttree:2016,
    title = {Quantitative analysis of imprecise system models with configurable fault trees},
    author = {Christine Jakobs},
    year = {2016},
    month = feb,
    booktitle = {GI Fachgruppentreffen Betriebssysteme},
    day = {26},
    keywords = {uncertainty},
    location = {Graz, Austria},


    3. 2015

  3. 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}
  4. 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}


    5. 2014

  5. 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}
  6. 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}

Ansprechpartner