• 한국산학기술학회논문지
• /
• 제10권12호
• /
• pp.3574-3580
• /
• 2009

본 논문에서는 IEC 61131-3 국제표준언어에 근거한 PLC 프로그래밍 개발환경을 지원해 주는 임베디드 모션 제어기를 개발하였다. 이 모션제어기에는 모션시스템 개발자가 PC 개발환경은 물론, PLC 개발환경에서도 손쉽게 모션제어 프로그래밍이 가능하도록 IEC 61131-3 개발 도구인 CoDeSys가 탑재되었으며, 직선 및 원호보간 제어와 같은 다양한 모션제어 함수들이 PLCopen 표준에 부합되는 모션 펑션블록으로 구현되었다. 또한 실시간 운영체제하에서 이더넷 기반 원격제어 및 모션 프로그래머를 위한 모션 시뮬레이터가 구현되었다.

• 한국공작기계학회논문집
• /
• 제11권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.

• 정보처리학회논문지A
• /
• 제14A권7호
• /
• pp.457-466
• /
• 2007

PLC와 같은 특수 목적 제어기나 모션 제어기 등을 프로그램하기 위해 제공되는 제어 언어의 표준은 IEC61131-3이다. 이 표준 언어의 하나인 IL(Instruction List)은 어셈블리 수준의 언어이지만 고수준 언어의 특징들도 가지고 있다. 본 논문에서는 IL의 정형적인 의미구조를 실행적 의미구조를 이용하여 정의한다. 기존의 IL 의미구조들은 함수와 함수블록을 포함하지 않는 기본 프로그램만을 대상으로 하기 때문에 실용적이지 못하다. 우리는 함수와 함수블록을 포함하는 IL 의미구조를 정의하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.1123-1126
• /
• 2005

This paper introduces the key features of NCS (Network based Control System), which is quite a new concept in the industrial automation market. Two control systems "DCS" and "PLC" have been recognized as control systems used for process and factory automation during the past decades. However, the market requires more complex functionality, such as monitoring and operation, alarm handling and notification from remote locations using the Web or e-mail. Besides enhancing functionality, interoperability between each device and system is highly required since network and engineering tools provided by many vendors do not cooperate with each others, so that lots of conversion, reconfiguration and reprogramming are required when expanding systems. NCS can meet this requirement, installing leading-edged IT technology using international standards for network and engineering environment. NCS, which is a harmony of web functionality, networkability and a reliable control function, enables information integration and responding to the market's requirements with agility and high reliability.

• 전기학회논문지
• /
• 제66권1호
• /
• pp.186-193
• /
• 2017

KOSMOS is Korea Open Source MOtion System which is developed based on general purpose hardware and open source software. It is aiming at IEC 61131-3 standard. Real-time ethernet has several advantages for motion control system and distributed control system. So, considering this advantages, KOSMOS has the network interface made up of Real-time ethernet, EtherCAT. In this paper, we explain the KOSMOS platform, the performance for real-time task and show the real case applying KOSMOS platform in manipulator control system.

• Nuclear Engineering and Technology
• /
• 제41권1호
• /
• pp.79-90
• /
• 2009

Verification of programmable logic controller (PLC) programs written in IEC 61131-3 function block diagram (FBD) is essential in the transition from the use of traditional relay-based analog systems to PLC-based digital systems. This paper describes effective use of the well-known verification tool VIS for automatic verification of behavioral equivalences between successive FBD revisions. We formally defined FBD semantics as a state-transition system, developed semantic-preserving translation rules from FBD to Verilog programs, implemented a software tool to support the process, and conducted a case study on a subset of FBDs for APR-1400 reactor protection system design.

• 대한기계학회논문집A
• /
• 제40권11호
• /
• pp.955-962
• /
• 2016

최근 산업 자동화 분야에서는 확장성을 고려한 표준화된 소프트웨어 기반 모션 제어 시스템 개발 방법과 다품종 소량 생산을 위한 다양한 동작 모드 지원에 대한 요구가 증대되고 있는 추세이다. 소프트웨어 기반 모션 시스템은 단일 장비 상에서 다양한 동작 모드 전환이 용이하게 하지만 다중 동작 모드를 쉽게 정의하는 도구와 동작 모드 변경에 대한 표준화된 동작 절차가 정의되어 있지 않은 상태에서 다중 동작 모드를 지원하는 모션 제어시스템을 구성하는 것은 쉽지 않다. 본 논문에서는 PLCopen 표준 호환 모션 블록들을 이용해 다중 동작 모드를 구성하고 모드 변경을 외부에서 구동하기 위한 프로토콜을 포함하는 모션 레시피 개념을 제안한다. 제안된 모션 레시피 개념은 IEC 61131-3 표준 호환 통합개발 환경인 Beremiz의 기능을 확장하여 구현하였으며, 실제 테스트베드 상에서 그 동작을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
• /
• pp.526-529
• /
• 2007

산업자동화, 임베디드시스템, 지능형 빌딩, 유비쿼터스 환경 구축 등의 다양한 분야에 활용되는 PLC나 모션제어기를 위한 표준안은 IEC 61131-3이다. 이 표준안은 제어기를 위한 프로그래밍 환경과 언어의 문법구조를 정의하고 있으나, 도식적으로 표현되는 LD 프로그램의 저장 형식이 제시되지 않아서 관련 소프트웨어마다 서로 다른 저장 형식을 사용한다. PLCopen 그룹에서 배포한 표준 저장 형식 XML 스키마를 사용하면 데이터의 교환과 연동 언어들의 호환이 가능하다. 본 논문은 표준 XML 스키마를 기반하는 LD 그래픽편집기를 구현한다. 구현 형태는 Eclipse 플러그인으로서, Eclipse 도구인 EMF와 GEF를 이용하였다.

• 전기학회논문지P
• /
• 제63권3호
• /
• pp.183-188
• /
• 2014

Power conversion systems used in large gas turbine power plant can be divided into two main part. Because of the initial start-up characteristic of the gas turbine combustor, the gas turbine must be accelerated by starting device(LCI : Load Commutated Inverter) up to 10%~20% of rated speed to ignite it. In addition, the ECS(Excitation Control system) is used to control the rotor field current and reactive power in grid-connected synchronous generator. These two large power conversion systems are located in the same space(container) because of coordination control. Recently, many manufactures develop high speed controller based on function block available in the LCI and ECS with the newest power semiconductor. We also developed high speed controller based on function block to be using these two system and it meets the international standard IEC61131 as using real-time OS(VxWorks) and ISaGRAF. In order to install easily these systems at power plant, main controller, special module and IO module are used with high speed communication line other than electric wire line. Before initial product is installed on the site, prototype is produced and tests are conducted for it. The performance results of Integrated controller and application program(SFC, ECS) were described in this paper. The test results will be considered as the important resources for the application in future.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권2호
• /
• pp.201-206
• /
• 2010

발전소와 임베디드 시스템, 지능형 빌딩과 같은 현대의 대부분의 시스템은 PLC 라는 특수목적 컴퓨터를 이용하여 자동제어된다. PLC 프로그래밍 언어 중에서 가장 많이 사용하는 것은 LD 프로그램이다. LD 프로그램의 검증은 시뮬레이션과 테스팅등을 통해 이루어지는데 이러한 방법은 프로그램 검증에 한계가 있다. 본 논문에는 LD 프로그램의 검증시 모델 체킹을 사용할 수 있도록 주어진 LD 프로그램을 모델 체커의 입력으로 자동으로 변환하는 방법을 기술한다. LD 프로그램과 SMV 모델의 의미구조를 정의 하고 이를 바탕으로 의미가 보존되는 변환 함수를 정형적으로 나타낸다.