LIPIcs.FSTTCS.2016.3.pdf
- Filesize: 299 kB
- 2 pages
Document
My O Is Bigger Than Yours (Invited Talk)
Author
-
Part of:
Volume:
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2016-12-10
Cite AsGet BibTex
Holger Hermanns. My O Is Bigger Than Yours (Invited Talk). In 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 65, pp. 3:1-3:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/LIPIcs.FSTTCS.2016.3
https://doi.org/10.4230/LIPIcs.FSTTCS.2016.3
Abstract
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.
Keywords
- Probabilistic Safety Analysis
- Fault Trees
- Compositionality
- Markov Models
- Model Checking
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krcál, and Pavel Krcál. Effective static and dynamic fault tree analysis. In Amund Skavhaug, Jérémie Guiochet, and Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings, volume 9922 of Lecture Notes in Computer Science, pages 266-280. Springer, 2016. URL: http://dx.doi.org/10.1007/978-3-319-45477-1_21.
- Tomás Brázdil, Holger Hermanns, Jan Krcál, Jan Kretínský, and Vojtech Rehák. Verification of Open Interactive Markov Chains. In Deepak D'Souza, Telikepalli Kavitha, and Jaikumar Radhakrishnan, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, volume 18 of LIPIcs, pages 474-485. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. URL: http://www.dagstuhl.de/dagpub/978-3-939897-47-7, URL: http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474.
- Yuliya Butkova, Hassan Hatefi, Holger Hermanns, and Jan Krcál. Optimal Continuous Time Markov Decisions. In Bernd Finkbeiner, Geguang Pu, and Lijun Zhang, editors, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, volume 9364 of Lecture Notes in Computer Science, pages 166-182. Springer, 2015. URL: http://dx.doi.org/10.1007/978-3-319-24953-7_12.
- Holger Hermanns, Jan Krcál, and Jan Kretínský. Compositional Verification and Optimization of Interactive Markov Chains. In Pedro R. D'Argenio and Hernán C. Melgratti, editors, CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, volume 8052 of Lecture Notes in Computer Science, pages 364-379. Springer, 2013. URL: http://dx.doi.org/10.1007/978-3-642-40184-8_26.
- Jan Krcál and Pavel Krcál. Scalable Analysis of Fault Trees with Dynamic Features. In 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015, pages 89-100. IEEE Computer Society, 2015. URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7265894, URL: http://dx.doi.org/10.1109/DSN.2015.29.
- A. Lyubarskiy, I. Kuzmina, and M. El-Shanawany. Notes on Potential Areas for Enhancement of the PSA Methodology based on Lessons Learned from the Fukushima Accident. In UK’s 2nd Probabilistic Safety Analysis / Human Factors Assessment Forum, Warrington, UK, 2011. URL: https://nucleus.iaea.org/sites/gsan/lib/Lists/Papers/Attachments/1/Lessons%20from%20FA%20for%20PSA_UK-Forum_Sept2011.pdf.
- ASME Presidential Task Force on Response to Japan Nuclear Power Plant Events. Forging a New Nuclear Safety Construct. Technical report, American Society of Mechanical Engineers, 2012. URL: https://www.asme.org/getmedia/73081de8-e963-4557-9498-f856b56dabd1/Forging_a_new_nuclear_safety_construct.aspx.
- N. Siu, D. Marksberry, S. Cooper, K. Coyne, and M. Stutzke. PSA Technology Challenges Revealed by the Great East Japan Earthquake. In PSAM Topical Conference In Light of the Fukushima Dai-ichi Accident, Tokyo, Japan, 2013. URL: http://www.nrc.gov/docs/ML1309/ML13099A347.pdf.