2026-07-21T14:10:44Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6888 2024-03-06T10:39:00Z ddc:004 open_access

My O Is Bigger Than Yours (Invited Talk) Hermanns, Holger Probabilistic Safety Analysis Fault Trees Compositionality Markov Models Model Checking This invited talk starts off with a review of probabilistic safety assessment (PSA) methods currently exercised across the nuclear power plant domain worldwide. It then elaborates on crucial aspects of the Fukushima Dai-ichi accident which are not considered properly in contemporary PSA studies. New kinds of PSA are needed so as to take into account external hazards, dynamic aspects of accident progression, and partial information. All of these come with obvious increases in algorithmic analysis complexity. This motivates our ongoing work to gradually tackle the resulting modelling and analysis problems. They revolve around static and dynamic fault trees, open interpretations of compositional Markov models and advances in their effective numerical analysis. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Holger Hermanns 2016 Is Part Of LIPIcs, Volume 65, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSTTCS.2016.3 urn:nbn:de:0030-drops-68881 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.3 eng https://creativecommons.org/licenses/by/3.0/legalcode