Uso de teste baseado em aprendizagem para a validação de programas de clp na indústria de petróleo e gás natural

Detalhes bibliográficos
Autor(a) principal: Klüsener, Günther Sgandella
Data de Publicação: 2020
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/220507
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2020.
id UFSC_a9903389620c6cb5b29ae1b4e348fa7b
oai_identifier_str oai:repositorio.ufsc.br:123456789/220507
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Uso de teste baseado em aprendizagem para a validação de programas de clp na indústria de petróleo e gás naturalEngenharia de sistemasAutomaçãoControle automáticoAprendizado do computadorSistemas de segurançaIndústria petrolíferaGás naturalDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2020.A exploração de Petróleo e Gás Natural é uma atividade complexa e de alto risco. Por este motivo a segurança nesta indústria é organizada em camadas de proteção independentes e regidas por normas. Dentre estas camadas estão os Sistemas Instrumentados de Segurança (SIS), a última alternativa para a extinção de acidentes. Esse sistema automático, composto por um Controlador Lógico Programável (CLP), sensores e atuadores deve ser testado a fim de identificar falhas em sua lógica de atuação. Esta dissertação apresenta um método automático para teste de conformidade baseado em especificação utilizando princípios de aprendizagem computacional. Os casos de teste são gerados e testados no CLP iterativamente. O comportamento do CLP frente aos testes é modelado iterativamente por um algoritmo de aprendizado. A partir das especificações de segurança descritas na forma de Matriz de Causa e Efeito, são extraídas fórmulas de lógica proposicional. Estas fórmulas são verificadas no modelo por um algoritmo de model checking. Eventualmente, contraexemplos podem ser encontrados, que representam inconformidades apenas do modelo ou também da lógica implementada no CLP. Os contraexemplos são executados como testes e um processo decisório, chamado de oráculo, compara a saída do CLP com o modelo, fornecendo o veredicto a respeito da inconformidade. O algoritmo encerra sua execução ao encontrar uma falha no sistema ou por critério de parada. Essa técnica é aplicada a um modelo simplificado. A técnica proposta identificou a inconformidade contida no modelo simplificado, inconformidade esta não detectada através da execução do conjunto de testes gerados por um método tradicional.Abstract: The exploration of Oil and Natural Gas is a complex and high risk activity. For this reason, security in this industry is organized into independent layers of protection and are governed by standards. Among these layers are the Safety Instrumented Systems (SIS), the last alternative for the extinction of accidents. This automatic system, composed of a Programmable Logic Controller (PLC), sensors and actuators must be tested in order to identify flaws in the operating logic. This dissertation presents an automatic method for conformity testing based on specification using computational learning principles. Test cases are generated and tested on the PLC iteratively. The behavior of the PLC in relation to the tests is modeled iteratively by a learning algorithm. From the security specifications described in the form of Cause and Effect Matrix, formulas of propositional logic are extracted. These formulas are verified in the model by a model checking algorithm. Eventually, counterexamples can be found, which represent nonconformities only in the model or also in the logic implemented in the PLC. Counterexamples are performed as tests and a decision-making process, called an oracle, compares the output of the PLC with the model, providing the verdict regarding the nonconformity. The algorithm ends its execution when it finds a fault in the system or due to stopping criteria. This technique is applied to a simplified model. The proposed technique identified the non-conformity contained in the simplified model, which was not detected through the execution of the set of tests generated by a traditional method.Queiroz, Max Hering deBaldissera, Fabio LuisUniversidade Federal de Santa CatarinaKlüsener, Günther Sgandella2021-02-26T14:53:23Z2021-02-26T14:53:23Z2020info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis80 p.| il., gráfs.application/pdf371080https://repositorio.ufsc.br/handle/123456789/220507porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2021-02-26T14:53:23Zoai:repositorio.ufsc.br:123456789/220507Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732021-02-26T14:53:23Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Uso de teste baseado em aprendizagem para a validação de programas de clp na indústria de petróleo e gás natural
title Uso de teste baseado em aprendizagem para a validação de programas de clp na indústria de petróleo e gás natural
spellingShingle Uso de teste baseado em aprendizagem para a validação de programas de clp na indústria de petróleo e gás natural
Klüsener, Günther Sgandella
Engenharia de sistemas
Automação
Controle automático
Aprendizado do computador
Sistemas de segurança
Indústria petrolífera
Gás natural
title_short Uso de teste baseado em aprendizagem para a validação de programas de clp na indústria de petróleo e gás natural
title_full Uso de teste baseado em aprendizagem para a validação de programas de clp na indústria de petróleo e gás natural
title_fullStr Uso de teste baseado em aprendizagem para a validação de programas de clp na indústria de petróleo e gás natural
title_full_unstemmed Uso de teste baseado em aprendizagem para a validação de programas de clp na indústria de petróleo e gás natural
title_sort Uso de teste baseado em aprendizagem para a validação de programas de clp na indústria de petróleo e gás natural
author Klüsener, Günther Sgandella
author_facet Klüsener, Günther Sgandella
author_role author
dc.contributor.none.fl_str_mv Queiroz, Max Hering de
Baldissera, Fabio Luis
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Klüsener, Günther Sgandella
dc.subject.por.fl_str_mv Engenharia de sistemas
Automação
Controle automático
Aprendizado do computador
Sistemas de segurança
Indústria petrolífera
Gás natural
topic Engenharia de sistemas
Automação
Controle automático
Aprendizado do computador
Sistemas de segurança
Indústria petrolífera
Gás natural
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2020.
publishDate 2020
dc.date.none.fl_str_mv 2020
2021-02-26T14:53:23Z
2021-02-26T14:53:23Z
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 371080
https://repositorio.ufsc.br/handle/123456789/220507
identifier_str_mv 371080
url https://repositorio.ufsc.br/handle/123456789/220507
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.format.none.fl_str_mv 80 p.| il., gráfs.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652269935132672

Registros relacionados