Metodologia para Modelagem Sistemática de
Dependabilidade de Sistemas
Processo Industrial, Dependabilidade, Ontologia, Árvores de Falhas,
Redes Bayesianas, Linguagem de Alto Nível.
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.