Paper Info
Title
Guidelines for the Use of Function Block Diagram in Reactor Protection Systems
Abstract
Making software dependable is one of most important aspects in safety-critical system such as a nuclear power plant. Dependable programming techniques to get rid of undependable properties, such as ambiguity, wrong uses of elements, discordance, etc., help engineers reduce the faults in programs. This paper proposes the practice guidelines for function block diagram (FBD) which is a programming language for programmable logic controllers (PLC) widely used in industry. The guidelines show that what cases cause undependable properties and how the properties should be eliminated to be dependable ones in FBD programs. The paper introduces the application of guidelines to the trip (shutdown) logic of bistable processor (BP) in reactor protection system (RPS) developed in the Korea Nuclear Instrumentation and Control System R&D Center (KNICS). The application describes that the guidelines eliminates undependable properties in the trip logic.
Year
DOI
Venue
2014
10.1109/APSEC.2014.29
APSEC (1)
Keywords
Field
DocType
programmable controllers,korea nuclear instrumentation and control system r&d center,programming languages,function block diagram,programming language,fbd programs,bp,programmable logic controllers,knics,fbd,trip logic,plc,dependable programming techniques,fission reactors,rps,power engineering computing,nuclear power plant,dependable programming,reactor protection systems,shutdown logic,bistable processor,safety-critical system,programming,inductors
Reactor protection system,Computer science,Shutdown,Real-time computing,Control engineering,Software,Programmable logic controller,Function block diagram,Control system,Nuclear power plant,Ambiguity
Conference
Volume
ISSN
Citations 
1
1530-1362
0
PageRank 
References 
Authors
0.34
1
3
Name
Order
Citations
PageRank
Dong-Ah Lee132.77
Junbeom Yoo214319.86
Jang-Soo Lee312012.60