Data-type checking of IEC61131-3 ST and IL applications

Author

de Sousa, Mario

Author_Institution

Fac. de Eng., Univ. do Porto, Porto, Portugal

fYear

2012

fDate

17-21 Sept. 2012

Firstpage

1

Lastpage

8

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 data type analysis of the source code. In this context, we have added a data type semantic verifier to the MatlEC 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. In this paper we describe the issues we uncovered, explain how the data type static analyzer of the MatlEC was implemented, explain the options we took, and suggest how the IEC 61131-3 standard could be made more explicit.

Keywords

C language; program compilers; program diagnostics; program verification; programming language semantics; public domain software; safety-critical software; source coding; ANSI C; IEC 61131-3 standard; IEC 61508 standard; IEC61131-3 IL applications; IEC61131-3 ST applications; IL programming language semantics; MatIEC compiler; ST programming language semantics; data type model; data type semantic verifier; data type static analyzer; data-type checking; open source IL code translator; open source SFC code translator; open source ST code translator; programming languages; safety-related applications; source code; static data type analysis;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies & Factory Automation (ETFA), 2012 IEEE 17th Conference on

Conference_Location

Krakow

ISSN

1946-0740

Print_ISBN

978-1-4673-4735-8

Electronic_ISBN

1946-0740

Type

conf

DOI

10.1109/ETFA.2012.6489534

Filename

6489534