• Nuclear Engineering and Technology
• /
• 제53권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.

• 정보처리학회논문지D
• /
• 제11D권2호
• /
• pp.415-422
• /
• 2004

산업분야에서 자동화 시스템은 제품의 설계, 생산 공정의 제어, 장애 처리, 품질검사 등과 관련된 처리 과정을 자동으로 수행할 수 있도록 하여 생산성을 향상시킨다. 이러한 자동화 시스템에서 감시 및 제어에 대한 처리 과정을 기술하는 언어를 흐름 제어 언어라 한다. 현재 사용되고 있는 흐름 제어 언어는 문자 기반의 IL, ST와 그래픽 기반의 FBD, SFC, LD가 있다. 일반적으로 감시 제어 시스템에서 사용되는 소프트웨어는 사용할 수 있는 흐름 제어 언어를 2종류 이하로 제한하고 있고, 동일한 시스템 환경에서는 언어의 혼용을 통한 통합 시뮬레이션이 불가능하다. 본 논문에서는 흐름 제어 언어의 특성을 분석하고 기존 시스템 환경에서 언어 작성 및 처리 과정에 대하여 분석하고, 언어의 통합 처리를 위하여 고급언어 형태의 ST를 확장한 EST 언어를 제안하였다. 이러한 연구를 기초로 그래픽 언어인 FBD, LD, SFC를 통합 처리하여 EST로 변환하는 그래픽 언어 편집기와 EST를 저급언어인 교로 변환하는 EST-IL변환기를 구현하였다. 이러한 편집기 및 변환기를 통한 교 기반의 시스템 구현 및 실험 결과는 흐름 제어 언어의 통합 처리 방안을 제시한 것이다.

• 연구논문집
• /
• 통권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.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 춘계학술발표대회
• /
• 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
• /
• 제33권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.

• 제어로봇시스템학회논문지
• /
• 제11권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.

• 설비공학논문집
• /
• 제14권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.