Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Data-Type Checking of IEC61131-3 ST and IL Applications

Data-Type Checking of IEC61131-3 ST and IL Applications

Título
Data-Type Checking of IEC61131-3 ST and IL Applications
Tipo
Artigo em Livro de Atas de Conferência Internacional
Ano
2012
Ata de Conferência Internacional
Páginas: 1-8
17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
Krakow, POLAND, SEP 17-21, 2012
Indexação
Publicação em ISI Web of Science ISI Web of Science
Publicação em Scopus Scopus
INSPEC
Classificação Científica
FOS: Ciências da engenharia e tecnologias > Engenharia electrotécnica, electrónica e informática
CORDIS: Ciências Tecnológicas > Engenharia > Engenharia de computadores
Outras Informações
Abstract (EN): 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.
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Notas: ISSN : 1946-0740 E-ISBN : 978-1-4673-4736-5 Print ISBN: 978-1-4673-4735-8 INSPEC Accession Number: 13402446
Nº de páginas: 8
Documentos
Não foi encontrado nenhum documento associado à publicação com acesso permitido.
Publicações Relacionadas

Dos mesmos autores

Designing a Flexible and Inexpensive Laboratory for Teaching Industrial Communication Systems (2016)
Publicação Didática
Luis Almeida; Mário Jorge Rodrigues de Sousa; Armando Jorge Sousa; Paulo Portugal
Programming with the IEC 61131-3 Languages and the MatPLC (2004)
Capítulo ou Parte de Livro
Mário de Sousa; Adriano Carvalho
Modbus (2011)
Capítulo ou Parte de Livro
Mário de Sousa; Paulo Portugal
Communication Aspects of IEC 61499 Architecture (2011)
Capítulo ou Parte de Livro
Valeriy Vyatkin; Mário de Sousa; Alois Zoitl
Proposed corrections to the IEC 61131-3 standard (2010)
Artigo em Revista Científica Internacional
Mário de Sousa

Ver todas (56)

Recomendar Página Voltar ao Topo
Copyright 1996-2024 © Reitoria da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2024-02-24 às 20:17:27 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias