Abstract
The IEC 61508 standard recognizes the programming languages defined in IEC 61131-3 as being appropriate for safety-related applications, and suggests the use of static analysis techniques to find errors in the source code. In this context, we have added a semantic verification stage to the MatIEC compiler—an open source ST, IL, and SFC code translator to ANSI C. In so doing, we have identified several issues related to the definition of the semantics of the IL and ST programming languages, as well as with the data type model defined in IEC 61131-3. Most of the issues are related to undefined semantics, which may result in applications generating distinct results, depending on the platform on which they are executed. In this paper we describe some of the issues we uncovered, explain the options we took, and suggest how the IEC 61131-3 standard could be made more explicit.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
International Electrotechnical Commission (1998) Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, December 1998
PLCopen: Technical Committee 5 (2006) Safety Software Technical Specification, Part 1: Concepts and Function Blocks. Version 1.0, Jan 2006
International Electrotechnical Commission (1993) International Standard IEC 61131-3, Programmable Logic Controllers Part 3, Geneva
de Sousa M, Tisserant E, Bessard L (2007) An open source IEC 61131-3 integrated development environment. In 5th IEEE International Conference on Industrial Informatics 2007 (IEEE INDIN’07), pp 183–187
de Sousa M (2010) Proposed corrections to the IEC 61131–3 standard. Comput Stand Interfaces 32:312–320
Plaza I, Medrano C, Blesa A (2006) Analysis and implementation of the IEC 61131–3 software model under POSIX real-time operating systems. Microprocess Microsys 30:497–508
Younis MB, Frey G (2003) Formalization of existing PLC programs: a survey. In: Proceedings of CESA, Lille (France) CD-ROM. Paper S2-R-00-0239, July 2003
Egger G, Fett A, Pepper P (1994) Formal specification of a safe PLC language and its compiler. In: SAFECOMP’94, Proceedings of the 13th international conference on computer safety, reliability, and security, Anaheim, Kalifornien, USA
Tourlas K (1997) An assessment of the IEC 61131-3 standard languages for programmable controllers. In: SAFECOMP’97, Proceedings of the 16th international conference on computer safety, reliability, and security, York, United Kingdom, Sept 1997
de Sousa M (2012) Data-type checking of IEC 61131-3 IL and ST programs. In: 17th IEEE International conference on emerging technologies and factory automation (IEEE ETFA’12)
Design Patterns for Flexible Manufacturing (2007) Dennis Brandl, ISA-Instrumentation, Systems, and Automation Society, ISBN-13: 978-1-55617-998-3
Aho AV, Lam MS, Sethi R, Ullman JD (2006) Compilers: principles, techniques, and tools, 2nd Edn. Sept 10, 2006, ISBN-13: 978-0321486813
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
de Sousa, M. (2013). On Analyzing the Semantics of IEC61131-3 ST and IL Applications. In: Azevedo, A. (eds) Advances in Sustainable and Competitive Manufacturing Systems. Lecture Notes in Mechanical Engineering. Springer, Heidelberg. https://doi.org/10.1007/978-3-319-00557-7_46
Download citation
DOI: https://doi.org/10.1007/978-3-319-00557-7_46
Published:
Publisher Name: Springer, Heidelberg
Print ISBN: 978-3-319-00556-0
Online ISBN: 978-3-319-00557-7
eBook Packages: EngineeringEngineering (R0)