DC Field | Value | Language |
---|---|---|
dc.contributor.author | Oh, Younju | ko |
dc.contributor.author | Yoo, Junbeom | ko |
dc.contributor.author | Cha, Sungdeok | ko |
dc.contributor.author | Son, Han Seong | ko |
dc.date.accessioned | 2013-03-06T16:00:50Z | - |
dc.date.available | 2013-03-06T16:00:50Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2005-06 | - |
dc.identifier.citation | RELIABILITY ENGINEERING & SYSTEM SAFETY, v.88, pp.215 - 228 | - |
dc.identifier.issn | 0951-8320 | - |
dc.identifier.uri | http://hdl.handle.net/10203/87516 | - |
dc.description.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. | - |
dc.language | English | - |
dc.publisher | ELSEVIER SCI LTD | - |
dc.subject | DYNAMIC FLOWGRAPH METHODOLOGY | - |
dc.subject | SYSTEMS | - |
dc.subject | DEPENDABILITY | - |
dc.title | Software safety analysis of function block diagrams using fault trees | - |
dc.type | Article | - |
dc.identifier.wosid | 000228255000003 | - |
dc.identifier.scopusid | 2-s2.0-15744367147 | - |
dc.type.rims | ART | - |
dc.citation.volume | 88 | - |
dc.citation.beginningpage | 215 | - |
dc.citation.endingpage | 228 | - |
dc.citation.publicationname | RELIABILITY ENGINEERING & SYSTEM SAFETY | - |
dc.identifier.doi | 10.1016/j.ress.2004.07.019 | - |
dc.contributor.nonIdAuthor | Oh, Younju | - |
dc.contributor.nonIdAuthor | Son, Han Seong | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | safety analysis | - |
dc.subject.keywordAuthor | fault tree analysis | - |
dc.subject.keywordAuthor | function block diagram | - |
dc.subject.keywordAuthor | programmable logic controller | - |
dc.subject.keywordPlus | DYNAMIC FLOWGRAPH METHODOLOGY | - |
dc.subject.keywordPlus | SYSTEMS | - |
dc.subject.keywordPlus | DEPENDABILITY | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.