Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10216/98496Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.creator | Mário de Sousa | |
| dc.date.accessioned | 2022-09-15T04:27:00Z | - |
| dc.date.available | 2022-09-15T04:27:00Z | - |
| dc.date.issued | 2012 | |
| dc.identifier.other | sigarra:70117 | |
| dc.identifier.uri | https://hdl.handle.net/10216/98496 | - |
| dc.description.abstract | The 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.iso | eng | |
| dc.relation.ispartof | 2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA) | |
| dc.rights | restrictedAccess | |
| dc.subject | Engenharia de computadores, Engenharia electrotécnica, electrónica e informática | |
| dc.subject | Computer engineering, Electrical engineering, Electronic engineering, Information engineering | |
| dc.title | Data-Type Checking of IEC61131-3 ST and IL Applications | |
| dc.type | Artigo em Livro de Atas de Conferência Internacional | |
| dc.contributor.uporto | Faculdade de Engenharia | |
| dc.identifier.doi | 10.1109/ETFA.2012.6489534 | |
| dc.subject.fos | Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática | |
| dc.subject.fos | Engineering 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 | Tamanho | Formato | |
|---|---|---|---|---|
| 70117.pdf Restricted Access | 394.37 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.