Please use this identifier to cite or link to this item:
https://hdl.handle.net/10216/94496| Author(s): | Mário de Sousa |
| Title: | Ambiguities in IEC 61131-3 ST and IL expression semantics |
| Issue Date: | 2015 |
| Abstract: | One of the aspects that affects the reliability of a software application is the programming language used for its development. In industrial automation applications, the most commonly used languages are those defined in the IEC 61131-3 standard. This work contains an analysis of the semantics of ST and IL expressions, and highlights ambiguities in the standard that might lead to seemingly correct code being executed and evaluated differently in distinct IEC 61131-3 execution environments. Examples of code that may be evaluated to different results are given, and an evaluation of several commercially available IEC 61131-3 compilers is made and compared. A static code analyzer was developed capable of identifying legal IEC 61131-3 code that may result in ambiguous behavior, and this analyzer was used to test source code currently in use in real-world control applications. |
| Subject: | Engenharia de computadores, Engenharia electrotécnica, electrónica e informática Computer engineering, 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 |
| DOI: | 10.1109/INDIN.2015.7281925 |
| URI: | https://hdl.handle.net/10216/94496 |
| Source: | INDIN 2015 - IEEE International Conference on Industrial Informatics |
| Document Type: | Artigo em Livro de Atas de Conferência Internacional |
| Rights: | restrictedAccess |
| Appears in Collections: | FEUP - Artigo em Livro de Atas de Conferência Internacional |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 102136.pdf Restricted Access | 212.41 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.