1. Repositório Aberto da Universidade do Porto
  2. FEUP - Faculdade de Engenharia
  3. FEUP - Artigo em Livro de Atas de Conferência Internacional
Utilize este identificador para referenciar este registo: https://hdl.handle.net/10216/94496
Registo completo
Campo DCValorIdioma
dc.creatorMário de Sousa
dc.date.accessioned2022-09-06T20:24:31Z-
dc.date.available2022-09-06T20:24:31Z-
dc.date.issued2015
dc.identifier.othersigarra:102136
dc.identifier.urihttps://hdl.handle.net/10216/94496-
dc.description.abstractOne 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.
dc.language.isoeng
dc.relation.ispartofINDIN 2015 - IEEE International Conference on Industrial Informatics
dc.rightsrestrictedAccess
dc.subjectEngenharia de computadores, Engenharia electrotécnica, electrónica e informática
dc.subjectComputer engineering, Electrical engineering, Electronic engineering, Information engineering
dc.titleAmbiguities in IEC 61131-3 ST and IL expression semantics
dc.typeArtigo em Livro de Atas de Conferência Internacional
dc.contributor.uportoFaculdade de Engenharia
dc.identifier.doi10.1109/INDIN.2015.7281925
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
Aparece nas coleções:FEUP - Artigo em Livro de Atas de Conferência Internacional

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
102136.pdf
  Restricted Access		212.41 kBAdobe PDFVer/Abrir
Mostrar registo em formato simples Recomendar este registo Ver estatísticas


Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.