PLC-based safety critical software development for nuclear power plants

Junbeom Yoo, Sungdeok Cha, Han Seong Son, Chang Hwoi Kim, Jang Soo Lee

Research output: Contribution to journalArticle

5 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)155-165
Number of pages11
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3219
Publication statusPublished - 2004 Dec 1
Externally publishedYes

Fingerprint

Programmable Logic Controller
Nuclear Power Plants
Nuclear Power Plant
Programmable logic controllers
Software Development
Nuclear power plants
Software engineering
Software
Safety
Diagram
Formal Specification
Specifications
Notation
Specification
Requirements Specification
Control Software
Programming Languages
Model checking
Computer programming languages
Model Checking

ASJC Scopus subject areas

  • Computer Science(all)
  • Biochemistry, Genetics and Molecular Biology(all)
  • Theoretical Computer Science

Cite this

PLC-based safety critical software development for nuclear power plants. / Yoo, Junbeom; Cha, Sungdeok; Son, Han Seong; Kim, Chang Hwoi; Lee, Jang Soo.

In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3219, 01.12.2004, p. 155-165.

Research output: Contribution to journalArticle

@article{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}",
year = "2004",
month = "12",
day = "1",
language = "English",
volume = "3219",
pages = "155--165",
journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
issn = "0302-9743",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - PLC-based safety critical software development for nuclear power plants

AU - Yoo, Junbeom

AU - Cha, Sungdeok

AU - Son, Han Seong

AU - Kim, Chang Hwoi

AU - Lee, Jang Soo

PY - 2004/12/1

Y1 - 2004/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=35048885637&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=35048885637&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:35048885637

VL - 3219

SP - 155

EP - 165

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SN - 0302-9743

ER -