• Proceedings of the KIEE Conference
• /
• 2005.07c
• /
• pp.2345-2347
• /
• 2005

In this paper, impedance characteristics of overhead medium-voltage (MV) power lines is reported for power line communication (PLC) over an MV power line network. For analysis, a two-port equivalent network model of MV power lines is derived. By applying the transmission line theory, reflection behavior and impedance of power lines are investigated. For verification, impedance of power lines is measured at a test field for an MV PLC. The results show that impedance of MV power lines is between $200{\Omega}$ and $300{\Omega}$ and converges to a half of their characteristic impedance.

• Nuclear Engineering and Technology
• /
• v.53 no.1
• /
• pp.131-141
• /
• 2021

Simulation is a widely used functional verification method for FBD programs of PLC-based digital I&C system in nuclear power plants. It is difficult, however, to estimate the thoroughness (i.e., effectiveness or quality) of a simulation in the absence of any clear measure for the estimation. This paper proposes two sets of structural coverage adequacy criteria for the FBD simulation, toggle coverage and modified condition/decision coverage, which can estimate the thoroughness of simulation scenarios for FBD programs, as recommended by international standards for functional safety. We developed two supporting tools to generate numerous simulation scenarios and to measure automatically the coverages of the scenarios. The results of our experiment on five FBD programs demonstrated that the measures and tools can help software engineers estimate the thoroughness and improve the simulation scenarios quantitatively.

• International Journal of Precision Engineering and Manufacturing
• /
• v.5 no.1
• /
• pp.55-59
• /
• 2004

This study developed a fully automated test system for pressure vessels, containing such as oxygen, nitrogen, which is widely used in many industries. The pressure vessel test has three major parts including weight measurement test, water-hydraulic test and leakage test followed by cleaning and drying. The control system for these tests consists of three parts: a PLC, a monitoring system and a database management system. The PLC oversees overall control of test machines, while the monitoring system measures and displays weight, pressure, flow etc. for every situations, and the database management system stores test data. These three modules are designed to communicate with one another at 1 Hz frequency alerting problematic situations to the operator. The system has gone through actual field tests for verification of performances.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.42 no.11
• /
• pp.67-78
• /
• 2005

In this paper, impedance characteristics of overhead medium-voltage (MV) power line for power line communication (PLC) is analyzed. For analysis, a two-port equivalent network model of MV power lines is derived. By applying the equivalent model and basic transmission line theory, input impedance at the signal induction part is calculated. And also calculated input impedance of power line itself that the medium voltage coupler and coaxial cable effect are removed. For verification, impedance of power lines is measured at a test field for an MV PLC. The results show that impedance of MV power line itself is between $200\;{\Omega}\;and\;300\;{\Omega}$ and converges to a half of their characteristic impedance with increasing frequency. And also measured data is very similar to calculated data.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.25 no.3
• /
• pp.127-137
• /
• 2021

The launch complex(LC) is composed of various facilities. The launch control system that operates remotely those of LC spends much time and labor for developing and verifying its control algorithms. The verification of algorithms is performed by the software developer entering simulated state values based on the test procedure and checking the output result according to the algorithm flow. These verification processes should be performed repeatedly, thus the human errors are easily occurred. In this paper, an efficient automated verification method with a script test procedure is proposed to minimize human errors and shorten the verification duration. We also present the results of the algorithm verification tests for the cases of the compressed gases supply system and the electro pneumatic panel system of LC.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.8
• /
• pp.657-665
• /
• 2016

Launch Control System(LCS) performs the pre-launch preparation and launch operation during launch campaign. The successful launch operation is basically influenced by hardware and software of LCS. Especially, a trivial errors in control algorithm can cause critical problem or disaster in launch operation. Therefore, the hidden or implicit errors should be distinguished and eliminated by the verification test in advance. In this paper, the design and implementation of hardware and software simulator which have already been used in LCS verification will be introduced. By presenting the detailed design and flowchart-based algorithms, we make other similar systems adopt the implementation philosophies of this paper. Especially, this paper emphasizes that all the simulation algorithms work on the self-controller in LCS without using separated computer or PLC.

• Korean Journal of Computational Design and Engineering
• /
• v.16 no.5
• /
• pp.351-360
• /
• 2011

Product systems are quickly and frequently changed because Product Life Cycle is continuously reduced and adopting new product is steadily fast. Thus, various studies are progressed using simulation which is one of digital manufacturing. The research that is concerning simulation of control verification for shorten the commissioning which has a lot of trial and error is in progress. Also, simulation of control verification has strength that it can catch the errors in advance. However, a control program in simulation needs virtual factory for representation of control information. For this reason, excessive time and energy is put into controlling the virtual factory. So, in this paper, we construct library which is using exist data, in order to overcome limitation of these problems. Furthermore, we suggest methodology which can model and verify the process more speedy using library. Especially, we give body to the BB/BR Line process which has many altering equipment and need high technology effectively using physical and logical modeling. We can set up a control simulation environment very rapidly, as well as cut process time down using our suggestion.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.3
• /
• pp.365-369
• /
• 2015

In this paper, geographic information system(GIS) for an intelligent power distribution network was implemented with location informations acquired from automatic meter reading system, where the location informations of power line communication(PLC) modems installed at customer side were collected at data concentration units(DCUs) of headend equipment via PLC and then were transmitted to front end processor server. By displaying the connection status of the power distribution network on GIS map, operation of advanced metering infrastructure(AMI) or management of power grid system could be performed intuitionally and in real time, because the configuration state of the power grid could be easily monitored. The feasibility of the proposed system was confirmed with the especially constructed laboratory-level test bed and the verification test of the system will be carried out for a real power distribution network.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.35 no.5
• /
• pp.509-515
• /
• 2022

As the 4th industrial revolution based on ICT is progressing in the manufacturing field, interest in building smart factories that can be flexible and customized according to customer demand is increasing. To this end, it is necessary to maximize the efficiency of factory by performing an automated process in real time through a network communication between engineers and equipment to be able to link the established IT system. It is also necessary to collect and store real-time data from heterogeneous facilities and to analyze and visualize a vast amount of data to utilize necessary information. Therefore, in this study, four types of controllers such as PLC, Arduino, Raspberry Pi, and embedded system, which are generally used to build a smart factory that can connect technologies such as artificial intelligence (AI), Internet of Things (IoT), and big data, are configured. This study was conducted for the development of a program that can collect and store data in real time to visualize and manage information. For communication verification by controller, data communication was implemented and verified with the data log in the program, and 3D monitoring was implemented and verified to check the process status such as planned quantity for each controller, actual quantity, production progress, operation rate, and defect rate.

• Nuclear Engineering and Technology
• /
• v.38 no.3
• /
• pp.259-276
• /
• 2006

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.