• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.50-51
• /
• 2008

최근 구미 선진국에서 빈발하고 있는 전압붕괴로 인한 대형 정전사고의 확률이 점증하고 있어 전압관리가 전력계통의 주요관심사로 대두되고 있으며, 이러한 문제들에 대한 대비가 시급한 실정이다. 전압 및 무효전력의 계층적 전압제어는 이러한 문제점들을 경감시킬 수 있는 방법의 일환으로 이미 유럽의 선진국에서는 2차적 전압제어, 3차적 전압제어 시스템을 개발하여 운영하고 있는 실정이다. 이에 따라 본 연구에서는 지능형 전압제어시스템을 개발하였으며, RTDS(Real Time Digital Simulator)를 통하여 성능을 검증하는 단계에 와 있다. 본 논문에서는 정적 모의를 통해 지능형 전압제어시스템의 효과를 검증하였고, 제주계통을 대상으로 개발된 지능형 전압제어시스템의 동적 특성을 검증 할 예정이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.595-598
• /
• 2000

원자력 발전소와 같이 시스템 오작동으로 인하여 엄청난 재난을 불러 올 수 있는 시스템은 시스템을 구축하기 이전에 완전한 설계 및 검증이 절대적으로 필요하다. 특히 긴급성을 요하는 원자력 발전소의 긴급 차단 시스템과 같은 실시간 safety-critical 시스템은 시스템 행위의 유기적인 측면뿐만 아니라, 시간적 제약을 고려하여 엄격하게 명세하고 분석해야 한다. 본 논문에서는 시각적 기반의 설계 명세 언어인 STATECAHRT를 이용하여 원자력 발전소 제어 시스템을 명세하고 이를 모델 체킹 검증 도구인 SMV로 검증함으로써 시스템의 신뢰성을 높이고 실시간 safety-critical 시스템의 설계 및 검증에 대한 방법론을 제시한다. 본 연구에서는 [6]의 논문의 명세 오류를 수정하여 명세 및 검증을 수행하였다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.1
• /
• pp.55-62
• /
• 2020

It is necessary to develop digital flight control system by digital control technology to ensure stability and maneuverability of rotary helicopter. It is important to meet functional requirements of helicopter flight control system OFP and verify system reliability directly linked to flight safety as a core technology that avoids the transfer of technology by overseas advanced helicopter manufacturer. In this paper, we studied how to perform FMET for operational flight program of rotary automatic flight control system.

• Review of KIISC
• /
• v.27 no.2
• /
• pp.34-40
• /
• 2017

제어시스템(발전시설, 전력시설, 교통시설 등)은 생산성, 가용성, 안전성을 목적으로 다양한 제어기기들로 구성되며, 물리적으로 다양한 위치에 분산되어 운영되고 있다. 그리고 안전성과 가용성을 유지하기 위해 시스템 도입 시 기존 시스템에 영향을 미치지 않는지 검증을 수행 후 시스템을 도입한다. 이러한 이유로 신규 기술의 도입이나, 기기의 변경이 자유롭지 않다. 이와 같은 제어시스템의 특성으로 인해 현재 증가되고 있는 제어시스템 사이버공격에 대한 보안대책 또는 기술들의 적용이 쉽지 않아 사이버공격에 취약한 상황이다. 제어시스템은 상위 시스템의 제어 명령을 통해 하위 제어기기 또는 필드기기를 제어하는 형태로 제어 명령의 무결성 유지가 특히 중요하다. 이는 곧 제어시스템에 환경에 접근한 공격자가 인가되지 않은 장비를 제어시스템에 연결하고, 악성 제어명령을 전송하게 된다면 제어기기는 이를 인지하지 못하고 정지되거나 오작동을 유발 할 수 있다는 것을 의미한다. 본 논문에서는 제어시스템 내 제어명령의 무결성 유지를 위해 임베디드 Add-on 단말을 통해 OTP 값을 생성, 전달, 검증하는 방안을 제안한다. 해당 방안은 상위노드와 하위노드 사이에 Add-on 장치를 두어 상위노드에서 제어명령 발생 시, 제어명령에 OTP값을 통해 캡슐화하고 하위노드로 전달한다. Add-on 장비는 일반 IT시스템과 상이한 제어시스템의 특성에 맞게 고안되었으며 제어시스템 내에 발생되는 제어명령 위변조, 제어명령 재사용 공격 등을 차단 할 수 있다.

• Proceedings of the KIEE Conference
• /
• 2001.07d
• /
• pp.2144-2146
• /
• 2001

본 논문은 국내 한 발전소의 가스터빈 제어계통을 개조하기 위해 제작된 터빈제어시스템과 제어로직의 타당성을 검증하기 위해 구현한 시뮬레이터에 대해서 언급하고자 한다. 시뮬레이터는 가스터빈 계통의 열역학적 모델 부분, 제어시스템과 인터페이스를 위한 입출력 시스템 및 사용자 그래픽 인터페이스 부분으로 구성되어 있다. 실제 출력 운전상태에서 발전 운전데이터를 취득하였고, 이 데이터를 가지고 구현된 시뮬레이터의 성능을 확인한 결과 현장과 유사한 특성을 보여 주었다.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.23 no.2
• /
• pp.95-103
• /
• 2019

Control systems of compressed gas supply facility are responsible for storing and supplying compressed gases required for launch complex qualification test and launch operation. Most of the facilities that make up the launch complex require compressed gas for their operation. Therefore, such control systems should be developed and verified earlier rather than the other systems that constitute the launch complex. Each verification for hardware and software is performed separately. In particular, software verification of control algorithms loaded on the controller takes a lot of time and man power during the development period of the control system. Thus, specific test procedures and methods should be prepared in advance for efficient development. This paper introduces the configuration of a compressed gas supply facility and its control system with the verification procedure and results of major algorithms.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.5
• /
• pp.147-156
• /
• 2022

Industrial control systems that manage and maintain various industries were mainly operated in closed environment without external connection, but with the recent development of the Internet and the introduction of ICT technology, the access to the industrial control system of external or attackers has become easier. Such incorrect approaches or attacks can undermine the availability, a major attribute of the industrial control system, and violation of availability can cause great damage. In this paper, when issuing commands in an industrial control system, a verification group is formed using a random list to verify and execute commands, and a trust score technique is introduced that applies feedback to the verification group that conducted verification using the command execution result. This technique can reduce overhead generated by random generation in the process of requesting command verification, give flexibility to the verification process, and ensure system availability. For the performance analysis of the system, we measured the time and gas usage when deploying a smart contract, gas usage when verifying a command. As a result, we confirmed that although the proposed system generates a random list compared to the legacy system, there was little difference in the time when it took to deploy smart contract and that the gas used to deploy smart contract increased by about 1.4 times in the process of generating a random list. However, the proposed system does not perform random operations even though the operation of command verification and confidence score technique is performed together during the command verification process, thus it uses about 9% less gas per verification, which ensures availability in the verification process.

• ICROS
• /
• v.21 no.3
• /
• pp.25-34
• /
• 2015

철강산업의 플랜트 엔지니어링에서 투자비와 공기를 저감하기 위해 Virtual Factory 기술 적용이 확대되고 있다. Virtual Factory 기술은 엔지니어링 프로세스의 설계 및 제작 단계에서 설비 간섭, 분해, 설치, 검증 등 기계 요소를 테스트하고, 시운전, 운영 및 유지보수 단계에서 제어 프로그램 검증, 운전 훈련 등 제어 요소를 테스트하기 위하여 컴퓨터 기반의 가상 플랜트를 구성하여 시뮬레이션을 수행하는 기술이다. 본 논문에서는 제어 요소 테스트를 위한 시뮬레이션 기술로서 가상 시운전 시스템과 가상 훈련 시스템의 기술 및 개발 동향을 소개한다.

• Proceedings of the KIEE Conference
• /
• 2006.07d
• /
• pp.1864-1865
• /
• 2006

무인지능형로봇 시스템에 있어서 자세의 정확도를 향상시키기 위한 많은 연구가 이루어져 왔다. 시스템의 자세 제어는 사용되는 모터의 위치 제어로 대응된다. 이와 같은 시스템은 운용 시에 충격 진동이 발생하게 된다. 이러한 충격 진동 외란을 잘 제거해야 요구되는 위치 정도로 제어를 수행할 수 있다. 로봇 제어 분야에서 불확실한 로봇에 대한 자세 제어 분야는 가장 기본적이면서 중요한 분야중의 하나이다. 이러한 문제를 다루기 위하여 계산 토크 방식에 기초한 선형 제어 기법이나 적응 제어 기법, 강인 제어 기법 등을 이용한 연구 결과들이 발표되고 있다. 그러나 그러한 기법은 일반적으로 로봇의 정확한 동력학식을 알아야 하며, 구현하기 복잡하다. 따라서 본 논문에서는 적응 규칙에 의하여 모델의 불확실성, 시스템의 변화, 외란으로 인해 발생하는 공칭 플랜트와의 오차를 보상하도록 제어 입력을 생성하는 내부 루프 부분과 공칭 플랜트 모델의 명령을 추종하도록 하는 제어 입력을 생성하는 외부 루프 부분으로 구성되는 방법인 외란관측기(Disturbance OBserver : DOB) 제어 알고리즘을 제안한다. 또한 프로세서의 신뢰성과 수치 연산 및 알고리즘의 빠른 처리를 위해 현재 사용 빈도가 높은 TI사의 DSP시리즈 중에서 부동 소수점 연산 기능을 가지면서 모터 제어에 적합한 TMS320C2000계열의 TMS320F2812을 사용하여, 운용 시 발생되는 진동 둥에 대한 외란 제거를 목적으로 한다. 본 논문은 규명된 시스템 모델식을 바탕으로 DOB 제어 시뮬레이션을 수행하고 PMSM 모터모델 시뮬링크 블록을 구성하여 검증된 외란 관측기 제어 알고리즘을 검증한다. 시뮬레이션으로 검증된 DOB 모터 자세 제어 알고리즘을 DSP에 적용하기 위해 코드변환하고 모터 실험 시스템에 실제 적용함으로써 타당성을 검증하여 상용 제어기로 실제 현장에 적용 가능함을 입증한다.

• Journal of the Korea Society for Simulation
• /
• v.19 no.3
• /
• pp.71-79
• /
• 2010

The simulator models for 500MW fossil power plant have been developed, and interconnected with the turbine control system to test and validate the digital instrumentation & control (I&C) systems before they are implemented in operating power plants. When the performance of a selected digital I&C system is tested, the corresponding simulator model is replaced by the plant digital I&C systems which is considered as a non-tunable system. The input/out variables of simulator models and control systems were mapped using the LabView in interface systems. This paper describes the interconnection method between the simulator model and the digital I&C system, and summarizes the validation test results performed at the condition of steady-state operation, normal evolution, and malfunction. The integrated validation method of digital I&C systems using the simulator models showed that the simulator can be used as a test bed for the implementation of digital I&C systems in power plants.