Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/70036
Author(s): Mário de Sousa
Title: On analysing the semantics of IEC61131-3 ST and IL applications
Issue Date: 2013
Abstract: The IEC 61508 standard recognizes the programming languages defined in IEC 61131-3 as being appropriatefor safety-related applications, and suggests the use of static analysis techniques to find errors in the sourcecode. 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 ofthe semantics of the IL and ST programming languages, as well as with the data type model defined in IEC61131-3. Most of the issues are related to undefined semantics, which may result in applications generatingdistinct results, depending on the platform on which they are executed. In this paper we describe some of theissues we uncovered, explain the options we took, and suggest how the IEC 61131-3 standard could be mademore explicit.
Subject: Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
Scientific areas: Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
Engineering and technology::Electrical engineering, Electronic engineering, Information engineering
URI: https://repositorio-aberto.up.pt/handle/10216/70036
Source: 23th International Conference on Flexible Automation and Intelligent Manufacturing, FAIM 2013
Document Type: Artigo em Livro de Atas de Conferência Internacional
Rights: openAccess
License: https://creativecommons.org/licenses/by-nc/4.0/
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

Files in This Item:
File Description SizeFormat 
64023.pdf185.76 kBAdobe PDFThumbnail
View/Open


This item is licensed under a Creative Commons License Creative Commons