PLC programming languages: A formal approach (original) (raw)

Abstract

Abstract This paper introduces describes how to integrate standard editing and code generation functionalities offered by most tools supporting the IEC standard 1131-3 with capabilities for modelling and simulating the plant and its interactions with the digital controller.

Key takeaways

sparkles

AI

  1. Integrate IEC standard 1131-3 functionalities with modeling and simulation for improved control system design.
  2. The paper emphasizes the importance of simulation in identifying functional and timing errors early in development.
  3. Five programming languages define IEC 1131-3: IL, ST, LD, FBD, and SFC, each serving distinct purposes.
  4. Utilize high-level timed Petri nets (HLTPNs) for executing and debugging FBD models seamlessly.
  5. The INFORMA ISO-PLC editor streamlines the design process through an intuitive graphical interface for FBD modeling.

Loading...

Loading Preview

Sorry, preview is currently unavailable. You can download the paper by clicking the button above.

References (9)

  1. L. Baresi. Formal Customization of Graphical Notations. PhD thesis, Dipartimento di Elettronica e Informazione -Politecnico di Milano, in Italian (1997)
  2. L. Baresi, A. Orso, and M. Pezzè. Introducing Formal Methods in Industrial Practice. In Proceedings of the 20th International Conference on Software engineering, pp 56- 66. ACM Press (1997)
  3. E. H. Durr and N. Plat. VDM++ Language Reference Manual. Technical Report, IFAD -The Institute of Applied Computer Science (1995)
  4. C, Ghezzi, D. Mandrioli, S. Morasca and M. Pezzè. A unified High-Level Petri Net Model for Time-Critical Systems. IEEE Transaction on Software Engineering, 17(2): 160-172 (1991)
  5. IEC. Part 3: Programming Languages, IEC 1131-3. Technical Report, International Electrotechnical Commission -Geneva (1993)
  6. The MathWorks Inc. Matlab 5.2 URL: http://www.mathworks.com/products/matlab/ (1998)
  7. T. De Marco. Structured Analysis and System Specification. Prentice Hall (1978)
  8. T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 541-580 (1989)
  9. O. Faergemand and A. Olsen. Introduction to SDL-92. Computer Networks and ISDN Systems, 26:1143-1167 (1994)