Software safety analysis of function block diagrams using fault trees

Younju Oh, Junbeom Yoo, Sungdeok Cha, Han Seong Son

Research output: Contribution to journalArticle

33 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)215-228
Number of pages14
JournalReliability Engineering and System Safety
Volume88
Issue number3
DOIs
Publication statusPublished - 2005 Jun 1
Externally publishedYes

Fingerprint

Programmable Logic Controller
Safety Analysis
Fault Tree
Programmable logic controllers
Diagram
Safety
Fault Tree Analysis
Fault tree analysis
Software
Reactor
Codes (standards)
Embedded Software
Embedded software
Nuclear Power Plant
Computer programming languages
Nuclear power plants
Programming Languages
Completeness
Fault
Demonstrations

Keywords

  • Fault tree analysis
  • Function block diagram
  • Programmable logic controller
  • Safety analysis

ASJC Scopus subject areas

  • Mechanical Engineering
  • Safety, Risk, Reliability and Quality

Cite this

Software safety analysis of function block diagrams using fault trees. / Oh, Younju; Yoo, Junbeom; Cha, Sungdeok; Seong Son, Han.

In: Reliability Engineering and System Safety, Vol. 88, No. 3, 01.06.2005, p. 215-228.

Research output: Contribution to journalArticle

Oh, Younju ; Yoo, Junbeom ; Cha, Sungdeok ; Seong Son, Han. / Software safety analysis of function block diagrams using fault trees. In: Reliability Engineering and System Safety. 2005 ; Vol. 88, No. 3. pp. 215-228.
@article{53fcbc646e17479cb7c4920147beb2b7,
title = "Software safety analysis of function block diagrams using fault trees",
abstract = "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.",
keywords = "Fault tree analysis, Function block diagram, Programmable logic controller, Safety analysis",
author = "Younju Oh and Junbeom Yoo and Sungdeok Cha and {Seong Son}, Han",
year = "2005",
month = "6",
day = "1",
doi = "10.1016/j.ress.2004.07.019",
language = "English",
volume = "88",
pages = "215--228",
journal = "Reliability Engineering and System Safety",
issn = "0951-8320",
publisher = "Elsevier Limited",
number = "3",

}

TY - JOUR

T1 - Software safety analysis of function block diagrams using fault trees

AU - Oh, Younju

AU - Yoo, Junbeom

AU - Cha, Sungdeok

AU - Seong Son, Han

PY - 2005/6/1

Y1 - 2005/6/1

N2 - 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.

AB - 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.

KW - Fault tree analysis

KW - Function block diagram

KW - Programmable logic controller

KW - Safety analysis

UR - http://www.scopus.com/inward/record.url?scp=15744367147&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=15744367147&partnerID=8YFLogxK

U2 - 10.1016/j.ress.2004.07.019

DO - 10.1016/j.ress.2004.07.019

M3 - Article

AN - SCOPUS:15744367147

VL - 88

SP - 215

EP - 228

JO - Reliability Engineering and System Safety

JF - Reliability Engineering and System Safety

SN - 0951-8320

IS - 3

ER -