• Nuclear Engineering and Technology
• /
• v.45 no.4
• /
• pp.489-504
• /
• 2013

Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software development processes. The RPS software is typically modeled with function block diagrams (FBDs) in the design phase, and then mechanically translated into C programs in the implementation phase, which is finally compiled into executable machine codes and loaded on RPS hardware - PLC (Programmable Logic Controller). Whereas C Compilers are fully-verified COTS (Commercial Off-The-Shelf) software, translators from FBDs to C programs are provided by PLC vendors. Long-term experience, experiments and simulations have validated their correctness and function safety. This paper proposes a behavior-preserving translation from FBD design to C implementation for RPS software. It includes two sets of translation algorithms and rules as well as a prototype translator. We used an example of RPS software in a Korean nuclear power plant to demonstrate the correctness and effectiveness of the proposed translation.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.11 no.1
• /
• pp.61-69
• /
• 2002

This paper describes a converting algorithm between programmable languages of a software PLU. It is based on IEC 61131-3 standard and PC. The proposed control logic is designed by the software model and common element with data type, variables, POUs(program organization unit) and execution control unit commonly used within programmable languages of IEC 61131-3 Standard. The generation method of object file is proposed on five programmable language based on IEC 61131-3. It is represented as fo11ows; 1) the generation method using conversion algorithm from LD to IL with FBD(function block diagram), 2) the generation method using f code generation algorithm from SFC using the SFC execution sequence with FBD and ST(structured text). The proposed control logic generator was implemented by Visual C++ 6.0 and MFC on MS-windows NT 4.0.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.30-33
• /
• 2008

PLC는 실시간 운영체제와 어플리케이션을 이용하여 하드웨어 장치들을 관리하고 제어한다. 하지만 하드웨어 장치를 관리하는 핵심인 실시간 운영체제가 블랙박스화 된 경우 어플리케이션 만을 이용 한 입출력 장치의 테스트 방안이 고려되어야 한다. 본 논문에서는, PLC의 어플리케이션 프로그램인 FBD를 이용한 입출력 장치의 테스트 방안과 원자력 발전소 PLC에 적용한 사례에 대해 기술 한다.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2001.04a
• /
• pp.171-176
• /
• 2001

This paper describes the methodology of an IEC 1131-3-based control logic generator for the control system design and converting algorithm between programmable languages. The proposed control logic generator is generated based on the software model and common element with data type, variables, POUs(program organization unit) and execution control unit commonly used within programmable languages of IEC 1131-3 Standard. The generation method of object file was proposed on five programmable language based on IECI 131-3. The generation method of object file is represented as following; 1) the generation method using conversion algorithm from LD to IL with FBD(function block diagram), 2) the generation method using C code generation algorithm from SFC using the SFC execution sequence with FBD and ST(structured text). The proposed control logic generator was implemented by Visual C++ and MFC on MS-windows NT 4.0

• Proceedings of the KIEE Conference
• /
• 2007.10a
• /
• pp.265-266
• /
• 2007

본 논문에서는 안전등급 PLC(Programable Logic Controller) LD/FBD(Ladder/Function Block Diagram) 프로그램을 C-코드로 변환하는 C-코드 발생기의 시험에 관해서 다룬다. 개발된 C-코드 발생기는 로직 분석, 오류 검출, C-코드 생성 등 각 부분 별로 시험 항목을 설정하고 검증하는 방법에 대해서 서술한다. 또한 C-언어로 작성된 사용자 정의 함수/함수 블록에 관한 시험 항목을 기술한다.