함수를 포함한 IL 언어의 실행적 의미구조
Operational Semantics for Instruction List with Functions
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
PLC와 같은 특수 목적 제어기나 모션 제어기 등을 프로그램하기 위해 제공되는 제어 언어의 표준은 IEC61131-3이다. 이 표준 언어의 하나인 IL(Instruction List)은 어셈블리 수준의 언어이지만 고수준 언어의 특징들도 가지고 있다. 본 논문에서는 IL의 정형적인 의미구조를 실행적 의미구조를 이용하여 정의한다. 기존의 IL 의미구조들은 함수와 함수블록을 포함하지 않는 기본 프로그램만을 대상으로 하기 때문에 실용적이지 못하다. 우리는 함수와 함수블록을 포함하는 IL 의미구조를 정의하였다.
Abstract
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.
참고문헌 (13)
- H. Jack, "Automating Manufacturing Systems with PLCs" (2007)
- IEC, "International Standard IEC 61131-3 Programmable Controllers - Part 3: Programming Languages 2nd Edition" (2003), International Electrotechincal Commission
- K. H. John, "IEC 61131-3:Programming Industrial Automation Systems" (2001), Springer Verlag Heidelberg
- R. Huuck, "Software Verification for Programmable Logic Controllers" (2003), Christian-Albrechts-University of Kiel
- R. Huuck, "Semantics and Analysis of Instruction List Programs", pp.3~18 (2005)
- K. Slonneger, "Executing an SECD machine using logic Programming" (1995)
- 노상훈, "IEC 61131-3 Instruction List의 의미구조: 함수확장" (2007), 함수확장. 한국기술교육대학교 PLLAB
- H. R. Nielson, "Semantics With Applications" (1992)
- G. D. Plotkin, "A Structural Approach to Operational Semantics" (1981), Aarhus University Aarhus
- P. Bertelsen, "Dynamic Semantics of Java Bytecode" (1998)
- B. C. Pierce, "Types and Programming Languages" (2002), The MIT Press
- "Reed Research Group and Control Engineering" (2006)
- E. Alonso, "Building Ambient Intelligence into a Ubiquitous Computing Management system" (2004)