Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking-Reference-Cited by-同舟云学术

Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking

Published:2018 Issue: Volume: Page:139-156
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Elderhalli Yassmeen^ORCID,Hasan Osman^ORCID,Ahmad Waqar^ORCID,Tahar Sofiène^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-77935-5_10

Reference18 articles.

1. Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15–16, 29–62 (2015)

2. Stamatelatos, M., Vesely, W., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance (2002)

3. Merle, G.: Algebraic Modelling of Dynamic Fault Trees, Contribution to Qualitative and Quantitative Analysis. Ph.D. thesis, ENS, France (2010)

4. Lecture Notes in Computer Science;C Dehnert,2017

5. Volk, M., Junges, S., Katoen, J.P.: Fast dynamic fault tree analysis by model checking techniques. IEEE Trans. Ind. Inf. 14, 370–379 (2017). https://doi.org/10.1109/TII.2017.2710316

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analysing Mission-critical Cyber-physical Systems with AND/OR Graphs and MaxSAT;ACM Transactions on Cyber-Physical Systems;2021-07-31

2. Measuring cyber-physical security in industrial control systems via minimum-effort attack strategies;Journal of Information Security and Applications;2020-06

3. Reliability modeling of correlated competitions and dependent components with random failure propagation time;Quality and Reliability Engineering International;2020-01-05

4. Nutritional Quality and Safety Traceability System for China’s Leafy Vegetable Supply Chain Based on Fault Tree Analysis and QR Code;IEEE Access;2020

5. A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving;Lecture Notes in Computer Science;2020