Defesa de Dissertação de Mestrado – Felipe da Silva Lázaro – 08/02/2018
Defesa de Dissertação de Mestrado | ||
Aluno | Felipe da Silva Lázaro | |
Orientador
Coorientador |
Prof. Max Hering de Queiroz, Dr. – DAS/UFSC
Prof. Jean-Marie Alexandre Farines, Dr. – DAS/UFSC |
|
Data | 08/02/2018 (quinta-feira) – 08h30
Sala PPGEAS I (piso superior) |
|
Banca | Prof. Max Hering de Queiroz, Dr. – Presidente – DAS/UFSC;
Prof. Rui Rodrigues de Melo Junior, Dr. – Marinha/Brasil; Prof. Leandro Buss Becker, Dr. – DAS/UFSC; Prof. Fábio Luis Baldissera, Dr. – DAS/UFSC. |
|
Título | Metodologia para Desenvolvimento de Sistemas de Controle e Monitoração de Navios assistido por Model Checking | |
Resumo: 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. 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. |