Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/98496
Author(s): Mário de Sousa
Title: Data-Type Checking of IEC61131-3 ST and IL Applications
Issue Date: 2012
Abstract: The IEC 61508 standard recognizes theprogramming languages defined in IEC 61131-3 asbeing appropriate for safety-related applications, andsuggests the use of static data type analysis of thesource code. In this context, we have added a data typesemantic verifier to the MatIEC compiler - an opensource ST, IL and SFC code translator to ANSI C. Inso doing, we have identified several issues related tothe definition of the semantics of the IL and STprogramming languages, as well as with the data typemodel defined in IEC 61131-3.In this paper we describe the issues we uncovered,explain how the data type static analyzer of theMatIEC was implemented, explain the options we took,and suggest how the IEC 61131-3 standard could bemade more explicit.
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
URI: https://repositorio-aberto.up.pt/handle/10216/98496
Source: 2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA)
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 SizeFormat 
70117.pdf
  Restricted Access
394.37 kBAdobe PDF    Request a copy from the Author(s)


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.