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

• The Journal of the Korea institute of electronic communication sciences
• /
• v.14 no.1
• /
• pp.127-136
• /
• 2019

The public address system should be easily operated and managed by the users, and guaranteed to serve stable working in an emergency and a crisis. In this paper, In this paper, to provide power line communication based public address system users with convenience and efficiency, we implement a firmware to control communication between a PLC(: Power Line Communication) controller of the public address system and UI(: User Interface) and between a PLC controller of the public address system and PLC speakers, and develop a UI software.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2009.11a
• /
• pp.285-285
• /
• 2009

Due to a development of a modem technology as Power Line Communication(PLC) over 200 Mbps, the high-speed multi-media data trasmission could be currently possible. In This paper we develop a high quality media transmitter-receiver based on merging the HomePlug AV, which is 200 Mbps class PLC technology and HDMI Interface technology. Smart Live 6 software were used for the assessment of audio property. As the result of measurement of the HD class images by capturing from the receiver of the PLC, the quality of images couldn't be confirm any deterioration, which has compared with original reflections. In case of audio part as the result of confirmation of the Phase, Magnitude, it has been confirmed that over 90% of nomal transmition and receiving of acoustic signal.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.575-579
• /
• 2005

In this paper, the development of an IMM(Injection Molding Machine) controller is discussed. Presently, the Mold Close and Open Control Method of a toggle-type IMM is open-loop control. Through the development, a PC based control system was built instead of an existing controller and a closed-loop control replaced the previous control method by using PC based PLC. To control the nonlinear system of toggle type clamping unit, a fuzzy PI control algorithm was selected and it was programmed by an IL(Instruction List) and a LD(Ladder Diagram) on a PC based PLC. The application of fuzzy algorithm as the control method was also considered to change a control object like a mold replacement or an additional apparatus. For the development of an IMM controller, PC based PLC of PCI card type, distributed I/O modules with CANopen and Industrial PC and HMI (Human Machine Interface) software were used.

• Journal of Platform Technology
• /
• v.8 no.2
• /
• pp.22-31
• /
• 2020

The construction and operation of industrial automation has been actively taking place from manufacturing plan to production for improving operational efficiency of production line and flexibility of equipment. ISO/TC184 is standardizing on operating methods that can share information of programmable device controllers such as PLC and IoT that are geographically distributed in the production line. In this study, the design of the cell controller consists of PLC group and IoT group that perform signals such as temperature sensors, gas sensors, and pressure sensors for thermal processes and corresponding motors or valves. The operation and analysis of the cell controller were performed using SDN(Software Defined Network) and the three types of process services performed in thermal processes are real-time transmission service, loss-sensitive large-capacity transmission service, and normal transmission service. The simulation result showed that the average loss rate improved by about 17% when the traffic increased before and after the application of the SDN route technique, and the delay in the real-time service was as low as 1 ms.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2004.05a
• /
• pp.226-226
• /
• 2004

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.40 no.4
• /
• pp.282-290
• /
• 2003

AMR(Automatic Meter Reading) and RC(Remote Control) System have been researched from former several decade for a various power rate system, a efficient power service and rising of personal expenses, etc. But the existing AMR and RC System have disadvantage which are complex and high cost to install an individual communication network of electricity company. This paper proposed a new type of AMR and RC System using PLC with Web. and made components for proposal system. Most customer who live in apartment have an internet cable in the Republic of Korea. Therefore there is no more installation component for communication in proposal system at the apartment, except Web server system and PLC modem. so we made the PLC modem the digital watt-hour meter with a build in PLC modem and the software on server computer for establishing the proposal system.

• Proceedings of the KIPE Conference
• /
• 2002.07a
• /
• pp.459-461
• /
• 2002

Various device or devices is automated by developments of various control appliance. however, the control method is not escaping local area System. In these meaning, this research uses PLC and HMI software for the Growth Chamber's remote monitor and control.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.4
• /
• pp.438-451
• /
• 1994

A low complexity, fault detecting computer architecture for utilisation in programmable logic controllers is designed. The cyclic operating mode of PLCs and a specification level, graphical programming paradigm based on the interconnection of application oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the programming and machine execution levels enabling the safety licensing of application software by an extremely simple, but rigorous method, viz, diverse back translation.