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

• The KIPS Transactions:PartD
• /
• v.11D no.2
• /
• pp.415-422
• /
• 2004

Automation systems improve the productivity of works which relate to product design, facilities management, fault processing and quality evaluation. In these systems, the description language for monitoring and control process is called new control language. These are five flow control languages : IL, ST, FBD, SFC and LD. IL and ST are based on left form. FBD, SFC and LD are based on graphic form. Generally, a software which monitors and controls a system is allowed to use just one flow control language. It is impossible to use more than two languages for simulation in the same system environment. In this paper, we analyzed the characteristics of flow control languages and the process of programming in the legacy system. In addition, for the Integrated processing of languages, we propose Extended ST based on the high-level ST language. Based on this research, we implement a graphical language editor and EST-IL convertor. The graphical language editor makes sequence rules, and converts graphical language into EST. EST-IL convertor has a function to convert EST into IL which is similar to assembly language. As the result of this paper, we present a scheme which integrates all the flow control language processing based on IL.

• 연구논문집
• /
• s.22
• /
• pp.21-26
• /
• 1992

Dynamic analysis is important in structural design of SCARA or articulated type industrial robots and is' usually done to main three axes. In this paper, robot arm dynamics was analyzed using FBD(free body diagram). Though the proposed scheme becomes complex as DOF(degree of freedom)increases, it allows to see types and directions of forces and moments acting on the body. Therefore, the strength analysis of robot arm can be done relatively easy in a case of either closed or open loop chain. This method can be used for obtaining dynamic simulation at off-line programming system and calculating required torques at joints at on-line system.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.599-602
• /
• 2014

본 논문은 FBDtoVerilog 변환기의 correctness 검증을 지원하는 시나리오 생성기에 대해 소개한다. 현재 원자력 발전소의 제어기는 PLC 를 이용하여 개발되고 있지만, 최근 FPGA 를 이용한 제어기 개발의 필요성이 증가하고 있다. 우리는 이를 지원하기 위해 PLC 개발에 사용되는 언어인 FBD를 FPGA 에 사용되는 언어인 Verilog 로 자동 변환하는 변환기 FBDtoVerilog 를 개발 하였다. 하지만 원자력 발전소와 같은 안전 필수 시스템은 철저하고 엄격한 검증 과정이 필수 이기 때문에, 우리는 FBDtoVerilog 를 검증할 수 있는 Co-Simulation 환경을 구축하여 검증할 계획을 가지고 있다. Co-Simulation 환경을 위한 첫 번째 단계로 자동화된 시나리오 생성기를 개발 하였다. 개발된 시나리오 생성기는 도메인 특징을 반영한 시나리오를 생성할 수 있고, 무한한 개수의 시나리오를 자동으로 생성할 수 있는 장점을 가지고 있다.

• Journal of Advanced Marine Engineering and Technology
• /
• v.33 no.5
• /
• pp.729-737
• /
• 2009

This paper introduces the machine tools feed system, which can be optimized the control's performance through simulation and the adjustment of the mechanical components. One method simulates the frequency response of the speed-loop with the design value using the MATLAB application, so that all of the interpolation axis can be equal to the response bandwidth, resulting in a high accuracy rate. The other method sees the mechanical component being adjusted by analyzing the results of various experiments. Lastly, this client's program is able to change the parameters that are related to the FFD, as well as the parameters in the friction compensation of the OPEN-CNC.

• Journal of Institute of Control, Robotics and Systems
• /
• v.11 no.4
• /
• pp.297-303
• /
• 2005

In this paper, I developed an intelligent multi agents based softPLC(IMPLC). In IMPLC, the standard IEC 1131-3 PLC languages(LD, SFC, FBD, ST) programmed by a user are converted to IL, which is one of intermediate codes, in order to make them interactions. And then the IL is converted to the standard C code regarding some extension and transplanting, which can be used in a commercial editor such as visual C++. In IMPLC, the logical errors and syntax errors occurred by users are detected, so that the optimal PC control based softPLC can be possible. IMPLC provide easy programming platform to such beginner as well as professionals. The study of code conversion is firstly tried in the world as well as KOREA. I applied IMPLC to 3 steps conveyer belt system. The simulation results say that the debugging steps by IMPLC using multi agents are decreased than the conventional softPLC's.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.14 no.7
• /
• pp.552-559
• /
• 2002

The fault detection and diagnosis (FDD) technology may be applied in order to decrease the energy consumption and the maintenance cost of the air conditioning system. In this study, rule bases and curve fitting models were used to detect faults in an air handling unit. Gradually progressed faults, such as the fan speed degradation, the coil water leakage, the humidifier nozzle clogging, the sensor degradation and the damper stoppage, were applied to the developed FBD system. Simulation results show good detections and diagnoses of these faults. Therefore, this method may be effectively used for the fault detection and diagnosis of the air handling unit.