Validação visual de programas Ladder baseada em modelos.

Detalhes bibliográficos
Ano de defesa: 2011
Autor(a) principal: SAMPAIO, Leonardo Rodrigues.
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: 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
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
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
Link de acesso: 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
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_ 1809746064909008896

Registros relacionados