![Software safety analysis of function block diagrams using fault trees [An article from: Reliability Engineering and System Safety]](https://www.ebooknetworking.net/books/B00/0RR/bigB000RR2EU0.jpg)
Software safety analysis of function block diagrams using fault trees [An article from: Reliability Engineering and System Safety]
Book Details
Author(s)Y. Oh, J. Yoo, S. Cha, H. Seong Son
PublisherElsevier
ISBN / ASINB000RR2EU0
ISBN-13978B000RR2EU6
AvailabilityAvailable for download now
Sales Rank10,680,435
MarketplaceUnited States 🇺🇸
Description
This digital document is a journal article from Reliability Engineering and System Safety, published by Elsevier in 2005. The article is delivered in HTML format and is available in your Amazon.com Media Library immediately after purchase. You can view it with any web browser.
Description:
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.
Description:
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.
