PEDRO LUIZ BENKO
UM ESTUDO DE ARQUITETURAS DE HARDWARE PARA APLICAÇÃO EM SISTEMAS
DIGITAIS DE PROTEÇÃO DE REATORES NUCLEARES - MÉTODOS DE ANÁLISE DE
CONFIABILIDADE E SEGURANÇA
Orientador: Dr. José Messias de Oliveira Neto
RESUMO
m estudo de arquiteturas de "hardware" de sistemas digitais de proteção de
reatores nucleares, é apresentado. Técnicas e topologias de circuitos componentes de
sistemas digitais para aplicações críticas são sugeridas. Propõe-se um método para
desenvolvimento de Sistemas de Proteção Digitais tendo como base índices extraídos dos
requisitos de Confiabilidade e Segurança da planta. Apresenta-se diretrizes para
avaliação desses dois fatores que são preponderantes na definição de arquiteturas para
proteção e controle de plantas nucleares. São sugeridas técnicas e ferramentas para
avaliação e modelagem de confiabilidade e segurança de arquiteturas de "hardware"
digitais. Aplica- se modelagem por cadeias de Markov para avaliação da confiabilidade de
arquiteturas redundantes. Para avaliação da qualidade do "software" sugere-se
mecanismos de controle de projeto, especificação e procedimentos de verificação e
validação (V &V). Uma arquitetura consagrada de sistema de proteção digital para reator
nuclear é analisada como estudo de caso.