Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/98496
Full metadata record
DC FieldValueLanguage
dc.creatorMário de Sousa
dc.date.accessioned2022-09-15T04:27:00Z-
dc.date.available2022-09-15T04:27:00Z-
dc.date.issued2012
dc.identifier.othersigarra:70117
dc.identifier.urihttps://hdl.handle.net/10216/98496-
dc.description.abstractThe 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 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. In this paper we describe the issues we uncovered, explain how the data type static analyzer of the MatIEC was implemented, explain the options we took, and suggest how the IEC 61131-3 standard could be made more explicit.
dc.language.isoeng
dc.relation.ispartof2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA)
dc.rightsrestrictedAccess
dc.subjectEngenharia de computadores, Engenharia electrotécnica, electrónica e informática
dc.subjectComputer engineering, Electrical engineering, Electronic engineering, Information engineering
dc.titleData-Type Checking of IEC61131-3 ST and IL Applications
dc.typeArtigo em Livro de Atas de Conferência Internacional
dc.contributor.uportoFaculdade de Engenharia
dc.identifier.doi10.1109/ETFA.2012.6489534
dc.subject.fosCiências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
dc.subject.fosEngineering and technology::Electrical engineering, Electronic engineering, Information engineering
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.