A safety-focused verification using software fault trees-Reference-Cited by-同舟云学术

A safety-focused verification using software fault trees

Published:2012-10 Issue:8 Volume:28 Page:1272-1282
ISSN:0167-739X
Container-title:Future Generation Computer Systems
language:en
Short-container-title:Future Generation Computer Systems

Author:

Cha Sungdeok,Yoo Junbeom

Publisher

Elsevier BV

Subject

Computer Networks and Communications,Hardware and Architecture,Software

Reference59 articles.

1. W.E. Vesely, F.F. Goldberg, N.H. Roberts, D.F. Haasl, Fault tree handbook, Technical report NUREG-0492, US Nuclear Regulatory Commission (1981).

2. SAFEWARE, System Safety and Computers;Leveson,1995

3. Automatic synthesis of fault trees for computer-based systems;Vemuri;IEEE Transactions on Reliability,1999

4. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure;Papadopoulos;Reliability Engineering and System Safety,2001

5. A synthesis method of software fault tree from NuSCR formal specification using templates;Kim;Journal of the Korean Institute of Information Scientists and Engineers-Software and Application,2005

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

1. Trunk-Branch Tree: A New Tree Structure, can be Divided into Trunk and Branches;2023 5th International Conference on Frontiers Technology of Information and Computer (ICFTIC);2023-11-17

2. A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems;Reliability Engineering & System Safety;2020-11

3. Quantitative risk analysis of safety–critical embedded systems;Software Quality Journal;2016-01-22

4. Research on safety analysis for airborne system based on extended functional model;Advances in Mechanical Engineering;2015-05-01

5. A Safety Requirement Elicitation Technique of Safety-Critical System Based on Scenario;Intelligent Computing Theory;2014