Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por model checking

Detalhes bibliográficos
Ano de defesa: 2018
Autor(a) principal: Lázaro, Felipe da Silva
Orientador(a): Queiroz, Max Hering de
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: Não Informado pela instituição
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
Link de acesso: https://repositorio.ufsc.br/handle/123456789/190248
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, 2018.
id UFSC_db1bc0c71cf7183835223fa80c76aff9
oai_identifier_str oai:repositorio.ufsc.br:123456789/190248
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Federal de Santa CatarinaLázaro, Felipe da SilvaQueiroz, Max Hering deFarines, Jean Marie Alexandre2018-09-29T04:07:03Z2018-09-29T04:07:03Z2018353561https://repositorio.ufsc.br/handle/123456789/190248Dissertaçã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, 2018.A Marinha do Brasil (MB) desenvolve o Sistema de Controle e Monitoração (SCM) para diversos navios de sua esquadra. Este sistema é responsável pelo controle das máquinas principais e auxiliares do navio, sendo essencial para sua operação e segurança. Neste trabalho é proposta uma metodologia de desenvolvimento de projetos para o SCM da MB, utilizando verificação formal por model checking. A metodologia estabelece documentos de especificação e métodos de tradução para a linguagem interpretada pela ferramenta de verificação formal. Assim, possibilitando certificar, de forma exaustiva e automática, que todas as propriedades de segurança essenciais ao projeto estão constando no documento de especificação do código para o Controlador Lógico Programável (CLP), gerando redução de custos na correção de erros, e aumentando a confiabilidade e disponibilidade do navio. Por ser automático, o método dispensa a necessidade dos projetistas terem conhecimentos em verificação formal. Um estudo de caso típico da MB foi utilizado e confirmou a viabilidade e eficácia da metodologia proposta.Abstract : The Brazilian Navy develops the Control and Monitoring System for several ships in its fleet. This system is responsible for controlling the ship's main and auxiliary engines and is essential for its operation and safety. This work proposes a project development methodology for the Brazilian Navy Control and Monitoring System, using formal verification by model checking. The methodology establishes specification documents and translation methods for the language interpreted by the formal verification tool. Thus, making it possible to certify in an exhaustive and automatic way that all the essential safe properties to the project are included in the code specification document for the Programmable Logic Controller (PLC), generating cost reduction in error correction, and increasing reliability and availability of the ship. Because it is automatic, the method eliminates the need for designers to have formal verification skills. A typical Brazilian Navy s case study was used and confirmed the feasibility and efficacy of the proposed methodology.131 p.| il.porEngenharia de sistemasAutomaçãoSistemas de controleNaviosMetodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por model checkinginfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINALPEAS0274-D.pdfPEAS0274-D.pdfapplication/pdf2172364https://repositorio.ufsc.br/bitstream/123456789/190248/-1/PEAS0274-D.pdf93dd3c886dff41ca45fef41d4c120b06MD5-1123456789/1902482018-09-29 01:07:06.589oai:repositorio.ufsc.br:123456789/190248Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732018-09-29T04:07:06Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por model checking
title Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por model checking
spellingShingle Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por model checking
Lázaro, Felipe da Silva
Engenharia de sistemas
Automação
Sistemas de controle
Navios
title_short Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por model checking
title_full Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por model checking
title_fullStr Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por model checking
title_full_unstemmed Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por model checking
title_sort Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por model checking
author Lázaro, Felipe da Silva
author_facet Lázaro, Felipe da Silva
author_role author
dc.contributor.none.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Lázaro, Felipe da Silva
dc.contributor.advisor1.fl_str_mv Queiroz, Max Hering de
dc.contributor.advisor-co1.fl_str_mv Farines, Jean Marie Alexandre
contributor_str_mv Queiroz, Max Hering de
Farines, Jean Marie Alexandre
dc.subject.classification.none.fl_str_mv Engenharia de sistemas
Automação
Sistemas de controle
Navios
topic Engenharia de sistemas
Automação
Sistemas de controle
Navios
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, 2018.
publishDate 2018
dc.date.accessioned.fl_str_mv 2018-09-29T04:07:03Z
dc.date.available.fl_str_mv 2018-09-29T04:07:03Z
dc.date.issued.fl_str_mv 2018
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 https://repositorio.ufsc.br/handle/123456789/190248
dc.identifier.other.none.fl_str_mv 353561
identifier_str_mv 353561
url https://repositorio.ufsc.br/handle/123456789/190248
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 131 p.| il.
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
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/190248/-1/PEAS0274-D.pdf
bitstream.checksum.fl_str_mv 93dd3c886dff41ca45fef41d4c120b06
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851758938386595840

Registros relacionados