Validação visual de programas Ladder baseada em modelos.
Autor(a) principal: | |
---|---|
Data de Publicação: | 2011 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFCG |
Texto Completo: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7875 |
Resumo: | Sistemas de controle são freqüentemente utilizados na indústria na realização de tarefas críticas. Falhas nestas operações muitas vezes acarretam em perdas e podem colocar a segurança da planta em risco. Portanto, garantir a corretude de programas implementados em sistemas de controle é necessário. Técnicas de verificação e validação desenvolvidas pela academia muitas vezes primam por aspectos técnicos mas possuem pouca aceitação na indústria devido ao necessário domínio de conceitos avançados. A academia procura aplicar métodos formais na criação de ferramentas neste contexto, permitindo a análise e adaptação genérica. No entanto, o nível de conhecimento sobre conceitos como modelagem e abstração impedem uma vasta adoção das mesmas. O objetivo deste trabalho é a introdução de um método amigável de verificação visual de conformidade, ocultando detalhes de implementação dos usuários durante a fase de teste de programas Ladder implantados em sistemas de controle e permitindo sua operação sem a necessidade de treinamento específico em métodos formais. |
id |
UFCG_7e47d9ffa2b8b23761e8d1cb7ee0885e |
---|---|
oai_identifier_str |
oai:localhost:riufcg/7875 |
network_acronym_str |
UFCG |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository_id_str |
4851 |
spelling |
Validação visual de programas Ladder baseada em modelos.Visual validation of model-based Ladder programs.Programa de ComputadoresVerificação de ProgramasMétodos de VerificaçãoLinguagem VisualSistemas de Controle IndustrialComputer ProgramProgram VerificationVerification MethodsVisual LanguageIndustrial Control SystemsCiência da ComputaçãoSistemas de controle são freqüentemente utilizados na indústria na realização de tarefas críticas. Falhas nestas operações muitas vezes acarretam em perdas e podem colocar a segurança da planta em risco. Portanto, garantir a corretude de programas implementados em sistemas de controle é necessário. Técnicas de verificação e validação desenvolvidas pela academia muitas vezes primam por aspectos técnicos mas possuem pouca aceitação na indústria devido ao necessário domínio de conceitos avançados. A academia procura aplicar métodos formais na criação de ferramentas neste contexto, permitindo a análise e adaptação genérica. No entanto, o nível de conhecimento sobre conceitos como modelagem e abstração impedem uma vasta adoção das mesmas. O objetivo deste trabalho é a introdução de um método amigável de verificação visual de conformidade, ocultando detalhes de implementação dos usuários durante a fase de teste de programas Ladder implantados em sistemas de controle e permitindo sua operação sem a necessidade de treinamento específico em métodos formais.Control systems are frequently used in industry in the execution of critical tasks. Flaws in this operations may cause expensive losses and can put the plant safety at risk. Therefore, it is necessary to define techniques, methods and tools to increase the dependability of control. Verification and validation techniques developed by academy often excel in technical aspects but have low acceptance in industry due to the necessary knowledge of advanced concepts. Academy applies formal methods in tools in this context, allowing analysis and generic adaptation. However, the knowledge level about concepts such as modeling and abstraction prevents a wide adoption of such tools. The goal of this work is to introduce a user-friendly visual conformance verification method, to hide implementation details from users during the test phase of Ladder programs without the need of specific training in formal methods.CapesUniversidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGPERKUSICH, Angelo.Perkusich, Angelohttp://lattes.cnpq.br/9439858291700830SILVA, Leandro Dias da.SILVA, L. D.http://lattes.cnpq.br/7856968264410259ALMEIDA, Hyggo OLIVEIRA de.ROCHA NETO, José Sérgio da.SAMPAIO, Leonardo Rodrigues.2011-02-252019-10-08T18:58:45Z2019-10-082019-10-08T18:58:45Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7875SAMPAIO, L. R. Validação visual de programas Ladder baseada em modelos. 2011. 79 f. Dissertação (Mestrado em Ciência da Computação) – Programa de Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2011. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7875porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-18T13:55:55Zoai:localhost:riufcg/7875Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512022-03-18T13:55:55Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false |
dc.title.none.fl_str_mv |
Validação visual de programas Ladder baseada em modelos. Visual validation of model-based Ladder programs. |
title |
Validação visual de programas Ladder baseada em modelos. |
spellingShingle |
Validação visual de programas Ladder baseada em modelos. SAMPAIO, Leonardo Rodrigues. Programa de Computadores Verificação de Programas Métodos de Verificação Linguagem Visual Sistemas de Controle Industrial Computer Program Program Verification Verification Methods Visual Language Industrial Control Systems Ciência da Computação |
title_short |
Validação visual de programas Ladder baseada em modelos. |
title_full |
Validação visual de programas Ladder baseada em modelos. |
title_fullStr |
Validação visual de programas Ladder baseada em modelos. |
title_full_unstemmed |
Validação visual de programas Ladder baseada em modelos. |
title_sort |
Validação visual de programas Ladder baseada em modelos. |
author |
SAMPAIO, Leonardo Rodrigues. |
author_facet |
SAMPAIO, Leonardo Rodrigues. |
author_role |
author |
dc.contributor.none.fl_str_mv |
PERKUSICH, Angelo. Perkusich, Angelo http://lattes.cnpq.br/9439858291700830 SILVA, Leandro Dias da. SILVA, L. D. http://lattes.cnpq.br/7856968264410259 ALMEIDA, Hyggo OLIVEIRA de. ROCHA NETO, José Sérgio da. |
dc.contributor.author.fl_str_mv |
SAMPAIO, Leonardo Rodrigues. |
dc.subject.por.fl_str_mv |
Programa de Computadores Verificação de Programas Métodos de Verificação Linguagem Visual Sistemas de Controle Industrial Computer Program Program Verification Verification Methods Visual Language Industrial Control Systems Ciência da Computação |
topic |
Programa de Computadores Verificação de Programas Métodos de Verificação Linguagem Visual Sistemas de Controle Industrial Computer Program Program Verification Verification Methods Visual Language Industrial Control Systems Ciência da Computação |
description |
Sistemas de controle são freqüentemente utilizados na indústria na realização de tarefas críticas. Falhas nestas operações muitas vezes acarretam em perdas e podem colocar a segurança da planta em risco. Portanto, garantir a corretude de programas implementados em sistemas de controle é necessário. Técnicas de verificação e validação desenvolvidas pela academia muitas vezes primam por aspectos técnicos mas possuem pouca aceitação na indústria devido ao necessário domínio de conceitos avançados. A academia procura aplicar métodos formais na criação de ferramentas neste contexto, permitindo a análise e adaptação genérica. No entanto, o nível de conhecimento sobre conceitos como modelagem e abstração impedem uma vasta adoção das mesmas. O objetivo deste trabalho é a introdução de um método amigável de verificação visual de conformidade, ocultando detalhes de implementação dos usuários durante a fase de teste de programas Ladder implantados em sistemas de controle e permitindo sua operação sem a necessidade de treinamento específico em métodos formais. |
publishDate |
2011 |
dc.date.none.fl_str_mv |
2011-02-25 2019-10-08T18:58:45Z 2019-10-08 2019-10-08T18:58:45Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7875 SAMPAIO, L. R. Validação visual de programas Ladder baseada em modelos. 2011. 79 f. Dissertação (Mestrado em Ciência da Computação) – Programa de Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2011. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7875 |
url |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7875 |
identifier_str_mv |
SAMPAIO, L. R. Validação visual de programas Ladder baseada em modelos. 2011. 79 f. Dissertação (Mestrado em Ciência da Computação) – Programa de Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2011. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7875 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal de Campina Grande Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
publisher.none.fl_str_mv |
Universidade Federal de Campina Grande Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFCG instname:Universidade Federal de Campina Grande (UFCG) instacron:UFCG |
instname_str |
Universidade Federal de Campina Grande (UFCG) |
instacron_str |
UFCG |
institution |
UFCG |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
collection |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG) |
repository.mail.fl_str_mv |
bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br |
_version_ |
1809744401540317184 |