Title | ||
---|---|---|
A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study |
Abstract | ||
---|---|---|
The safety and correctness demonstration of program translators plays a critical role in software certification of digital I&C (Instrumentation & Control) systems in nuclear power plants. This paper proposes a strategy for the demonstration of the FBD to Verilog translator, which translates FBD programs into Verilog programs to synthesize FPGAs. It uses safety case to explain the strategy precisely and also implemented several supporting tools to derive evidences efficiently. A case study of a Korean nuclear power plant found the efficiency of the proposed demonstration strategy and supporting tools. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/ISSREW.2014.71 | ISSRE Workshops |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Junbeom Yoo | 1 | 143 | 19.86 |
Jong-Gyun Choi | 2 | 5 | 2.26 |
Jun-Young Lee | 3 | 263 | 38.21 |
Jang-Soo Lee | 4 | 0 | 0.68 |