Software safety analysis of function block diagrams using fault trees

As programmable logic controllers (PLCs) are often used to implement safety-critical embedded software, safety demonstration of PLC code is needed. In this paper, we propose a fault tree analysis technique on Function Block Diagrams (FBDs) which is one of the most widely used PLC programming languages. FBD is currently being used to develop Reactor Protection System (RPS) for a nuclear power plant in South Korea. Our approach to fault tree analysis, which combines fault-oriented and cause/effect-oriented viewpoints, is easy to understand and offers systematic guidelines to ensure safety of PLC code. Domain experts found the approach to be useful through a case study on RPS, and this paper compares completeness and comprehensiveness of the semi-automatically generated fault trees using the proposed approach against the one manually prepared by nuclear safety engineers.
Publisher
ELSEVIER SCI LTD
Issue Date
2005-06
Language
ENG
Keywords

DYNAMIC FLOWGRAPH METHODOLOGY; SYSTEMS; DEPENDABILITY

Citation

RELIABILITY ENGINEERING & SYSTEM SAFETY, v.88, pp.215 - 228

ISSN
0951-8320
DOI
10.1016/j.ress.2004.07.019
URI
http://hdl.handle.net/10203/87516
Appears in Collection
NE-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
  • Hit : 147
  • Download : 0
  • Cited 0 times in thomson ci
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡClick to seewebofscience_button
⊙ Cited 13 items in WoSClick to see citing articles inrecords_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0