Software safety analysis of function block diagrams using fault trees

Oh, Younju; Yoo, Junbeom; Deok, Sung; Son, Han Seong

doi:10.1016/j.ress.2004.07.019

Cited by 41 publications

(23 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We are now refining it to get improvement of the generation-time. Fault tree templates [69] for FBDs can also be used to do the analysis, but safety experts have to perform manual methods [70] without automatic generation.…”

Section: B the Design Phasementioning

confidence: 99%

See 1 more Smart Citation

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs

Kim¹,

Lee²,

Jung³

et al. 2017

Journal of Computing Science and Engineering

Self Cite

View full text Add to dashboard Cite

NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.

show abstract

Section: B the Design Phasementioning

confidence: 99%

“…The formal specification is translated to a behaviorally-equivalent FBD program by NuSCRtoFBD, and also translated to a C program for PLC implementation by FBDtoC and a Verilog program for FPGA implementation by FBDtoVerilog 2.0. More than 20 case studies [6,7,49,55,69,71] were performed with the Example System I.…”

Section: Case Studymentioning

confidence: 99%

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs

Kim¹,

Lee²,

Jung³

et al. 2017

Journal of Computing Science and Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…so that safety analysis can be guided by the relevant failure semantics of language constructs. [8,30] defined fault tree templates for Function Block Diagrams (FBDs) [31] which is one of the most widely used PLC (Programmable Logic Controller) programming languages. For example, FBD was successfully used in the development of the KNICS RPS system, and [5] proposed how fault trees can be synthesized from a formal requirements specification written in a language named NuSCR [11].…”

Section: Fault Tree Analysis Techniquesmentioning

confidence: 99%

“…Increased use of formal specification has made mechanical (e.g., automated [3][4][5][6] or template-based [7,8] fault trees possible, and such advances create possibilities of extending the use of fault trees beyond safety demonstrations. In this paper, we propose to extend the use of mechanically constructed fault trees for verification purposes by applying a semantic preserving translation into a propositional logic formula.…”

Section: Introductionmentioning

confidence: 99%

A safety-focused verification using software fault trees

Cha¹,

Yoo²

2012

Future Generation Computer Systems

Self Cite

View full text Add to dashboard Cite

“…The safety of software is being accomplished primarily by carrying out safety activities at the software design stage, which is the earlier stage of development for software. As for the representative safety activities, HAZOP, FTA and FMECA [4,5], etc. can be cited.…”

Section: Introductionmentioning

confidence: 99%

Design of automatic testing tool for railway signalling systems software safety assessment

Hwang¹,

Jo²,

Kim³

2008

WIT Transactions on Information and Communication

View full text Add to dashboard Cite

Recent advances in embedded system technology have brought more dependence on automating train control. While great efforts have been reported to improve electronic hardware safety, there have been fewer systematic approaches to evaluate software safety, especially for the vital software running on board signalling systems. In this paper, we propose a new software tool to evaluate train control system software safety. We have reviewed requirements in the international standards and surveyed available tools in the market. From that, we identified necessary tests to meet the standards and proposed a tool that can be used during the whole software life cycle. We show the functional architecture and internal components of the tool. This tool is unique in that it is a comprehensive tool evaluating reliability and safety together.

show abstract

Software safety analysis of function block diagrams using fault trees

Cited by 41 publications

References 15 publications

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs

A safety-focused verification using software fault trees

Design of automatic testing tool for railway signalling systems software safety assessment

Contact Info

Product

Resources

About