@inbook{2d64d7d7245440baa127814c6a1c26f7,
title = "PLC-based safety critical software development for nuclear power plants",
abstract = "This paper proposes a PLC(Programmable Logic Controller)-based safety critical software development technique for nuclear power plants' I&C software controllers. To improve software safety, we write the software requirements specification using a formal specification notation named NuSCR [1]. NuSCR specification is then mechanically transformed into semantically equivalent Function Block Diagram(FBD), a widely used PLC programming language. Finally, we manually refine the FED programs so that redundant function blocks are identified and removed. As CASE tool supplied by PLC vendors automatically compiles the resulting FBD programs into PLC machine code, PLC software development is completed when the final FBD programs are essentially tested. Proposed development technique offers several advantages. Requirement errors are reduced as we use the formal specification notation. Consistency and completeness checks are automated, and model checking can be performed on the NuSCR specification. Safety critical errors are less likely to be introduced to the synthesized FBD programming. As a consequence, cost of developing and validating the PLC-based software can be also reduced. The proposed approach is currently being applied in developing safety-critical control software for a Korean nuclear power plant, and experience to date has been positive.",
author = "Junbeom Yoo and Sungdeok Cha and Son, {Han Seong} and Kim, {Chang Hwoi} and Lee, {Jang Soo}",
note = "Copyright: Copyright 2020 Elsevier B.V., All rights reserved.",
year = "2004",
doi = "10.1007/978-3-540-30138-7_14",
language = "English",
isbn = "3540231765",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "155--165",
editor = "Maritta Heisel and Peter Liggesmeyer and Stefan Wittmann",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}