DOI QR코드

DOI QR Code

Operational Semantics for Instruction List with Functions

함수를 포함한 IL 언어의 실행적 의미구조

  • 신승철 (한국기술교육대학교 인터넷미디어공학부) ;
  • 노상훈 (한국기술교육대학교 정보미디어공학과)
  • Published : 2007.12.31

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.

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

Keywords

References

  1. H. Jack, Automating Manufacturing Systems with PLCs, http://claymore.engineer.gvsu.edu/~jackh/books.html, 2007
  2. IEC, International Standard IEC 61131-3 Programmable Controllers - Part 3: Programming Languages 2nd Edition, International Electrotechincal Commission, 2003
  3. K. H. John, M. Tiegelkamp, IEC 61131-3:Programming Industrial Automation Systems, Springer Verlag Heidelberg, New York, 2001
  4. R. Huuck, Software Verification for Programmable Logic Controllers, Ph.D Discussion, Christian-Albrechts-University of Kiel, 2003
  5. R. Huuck, Semantics and Analysis of Instruction List Programs, Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, Electronic Notes in Theoretical Computer Science 115, Elsevier, pp. 3-18, 2005
  6. K. Slonneger, Executing an SECD machine using logic Programming, Proceedings of the Twenty-sixth Special Interest Group on Computer Science Education Technical Symposium on Computer Science Education, 1995
  7. 노상훈, 신승철, IEC 61131-3 Instruction List의 의미구조: 함수확장. 한국기술교육대학교 PLLAB, TR-2007-03, http://pllab.kut.ac.kr/TR/2007/TR-2007-03.pdf, 2007
  8. H. R. Nielson, F. Nielson, Semantics With Applications: A Formal Introduction, Wiley Professional Computing, 1992
  9. G. D. Plotkin, A Structural Approach to Operational Semantics, Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, 1981
  10. P. Bertelsen, Dynamic Semantics of Java Bytecode, Workshop on Principles of Abstract Machines, 1998
  11. B. C. Pierce, Types and Programming Languages, The MIT Press, 2002
  12. The Programming System CONTROL2000, PRAHM, http://www.prahm-ms.de/English/
  13. Programmable Logic Controllers Product Research, Reed Research Group and Control Engineering, 2006
  14. E. Alonso, P. Kristofferson, J. McCann, Building Ambient Intelligence into a Ubiquitous Computing Management system, International Symposium of Santa Caterina on Challenges in the Internet and Interdisciplinary Research. SSCCII-2004, Amalfi, Italy, 2004