Estudo para inclusão de lógica anotada paraconsistente em padrões específicos para uso em controladores programáveis Claudio Luiz Magalhães Fernandes, Maurício Conceição Mário, João Inácio Silva Filho

Resumo

A IEC 61131-3 foi desenvolvida pela International Electrotechnical Commission (IEC), que é uma organização internacional, não governamental, sem fins lucrativos, formada por representantes de fabricantes, fornecedores, distribuidores e usuários de controladores programáveis ​​(CPs). O objetivo desta Comissão é analisar o hardware, instalação, testes, documentação, software, programação e comunicação de controladores programáveis ​​(CPs) buscando definir uma padronização entre os diversos fabricantes. A IEC 61131-3 visa gerar portabilidade de software entre diferentes tipos de fabricantes de CPs buscando padronização e atender às demandas da comunidade industrial tendo como principais características a adoção de linguagens de programação, capacidades multitarefa e reuso de software. Neste artigo é apresentada uma aplicação da Lógica Paraconsistente Anotada com Anotação de Dois Valores (PAL2v) em Sistemas de Automação e Controle através da inclusão de seu algoritmo em um controlador CP-programável seguindo a IEC 61131 em seu item 7 que preconiza a inclusão de lógicas não clássicas neste tipo de equipamento.