• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.12
• /
• pp.3574-3580
• /
• 2009

An embedded motion controller supporting the PLC programming environment based on the IEC 61131-3 International Standard Language was developed in this paper. In this developed motion controller, the CoDeSys, one of the IEC61131-3 development tools, was embedded in order to support that of PLC as well as the development environment of the PC, and the various function blocks based on PLCopen standard for motion control such as the linear and circular interpolation control were implemented. Moreover, the ethernet based remote control on real-time operating system and the motion simulator for a motion programmer were implemented.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.11 no.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.

• The KIPS Transactions:PartA
• /
• v.14A no.7
• /
• pp.457-466
• /
• 2007

IEC61131-3 is the standard of control languages in which special purpose controllers and motion controllers such as PLC can be programmed. IL(Instruction List), one of the standard languages, is in assembly level but has some high-level features. This paper describes a formal semantics of IL in operational style. Previous works on IL semantics do not include functions and function blocks, which is not so practical. We define IL semantics including functions and function blocks.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• 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.

• Nuclear Engineering and Technology
• /
• v.41 no.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.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.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.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.40 no.11
• /
• pp.955-962
• /
• 2016

In recent years, there have been emerging needs for standardized software-based motion application development for better scalability and support for multiple operation modes for small quantity batch production. Although a software-based motion system provides a basis for constructing multiple operation modes on a machine, it is not easy to construct such systems without tools for defining multiple motion operation modes and standardized mode-change protocols. This paper proposes a motion recipe concept to overcome this problem; the concept includes the authoring of multiple motion operation modes using the PLCopen-compliant motion function blocks and communication protocols to trigger operation mode changes from an external interface. The motion recipe was implemented by extending an IEC 61131-3 compliant IDE called Beremiz, and the correctness of the motion recipe-based application behavior was verified on a real testbed.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10c
• /
• pp.526-529
• /
• 2007

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

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.63 no.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.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.2
• /
• pp.201-206
• /
• 2010

PLCs are special purpose microcontrollers used in most automatic control systems such as plants, embedded systems, and intelligent buildings. LD is one of the most popular languages among PLC languages. For now LD programs are mainly verified by simulation and testing which has a lot of limitation. This paper describes how to translate a given LD program into an input of a model checker so that LD program is verified by model checking. We define formal semantics of LD programs and SMV models and specify a formal definition of the translation function which preserves semantics between LD programs and SMV models.