Banca de QUALIFICAÇÃO: ALLAN ROBSON SILVA VENCESLAU

Uma banca de QUALIFICAÇÃO de DOUTORADO foi cadastrada pelo programa.
DISCENTE: ALLAN ROBSON SILVA VENCESLAU
DATA: 30/01/2015
HORA: 09:00
LOCAL: Auditório do NPITI-IMD
TÍTULO:

Metodologia para Modelagem Sistemática de
Dependabilidade de Sistemas

PALAVRAS-CHAVES:

Processo Industrial, Dependabilidade, Ontologia, Árvores de Falhas,
Redes Bayesianas, Linguagem de Alto Nível.

PÁGINAS: 50
GRANDE ÁREA: Engenharias
ÁREA: Engenharia Elétrica
SUBÁREA: Eletrônica Industrial, Sistemas e Controles Eletrônicos
ESPECIALIDADE: Automação Eletrônica de Processos Elétricos e Industriais
RESUMO:

Garantir os requisitos de dependabilidade é fundamental para as aplicações industriais,
uma vez falhas podem conduzir a defeitos cujas consequências impactam em prejuí-
zos econômicos e principalmente danos ambientais e riscos aos operadores. Assim, diante
da relevância do tema, esta tese propõe uma metodologia para modelagem da dependabilidade
em processos industriais. O trabalho pode ser dividido claramente em duas etapas.
Na primeira etapa é proposta uma linguagem de alto nível baseada em Ontologia para criar
uma representação abstrata do processo. Fazendo uso dessa linguagem é possível modelar
diferentes tipos de sistemas e estruturar todos os detalhes necessários para analisar
sua dependabilidade. Na segunda etapa, uma vez que todo o conhecimento do processo
encontra-se estruturado na ontologia, um procedimento automatizado é executado para
a construção de um formalismo matemático. A metodologia proposta suporta diversos
formalismos diferentes, entre eles, Árvores de falhas, redes de Petri, Redes Bayesianas,
etc.

MEMBROS DA BANCA:
Presidente - 1153006 - LUIZ AFFONSO HENDERSON GUEDES DE OLIVEIRA
Interno - 347628 - ADRIAO DUARTE DORIA NETO
Interno - 2885532 - IVANOVITCH MEDEIROS DANTAS DA SILVA
Externo à Instituição - BRUNO SIELLY JALES COSTA - IFRN