Seguranca operacional de um sistema de inferencia difusa em FPGA

A credibilidade de um sistema relacionado com a segurança pode ser efectuada através de uma análise qualitativa e quantitativa, de modo a associar um nível de integridade de segurança (SIL). Estas análises baseiam-se em normas internacionais, como a norma IEC 61508 e a norma ISA. Existem diferentes métodos para estabelecer este tipo de análise: Diagrama de Blocos de Fiabilidade (RBD), Análise de Árvore de Falhas (FTA) e Modelos de Markov. Este livro propõe a análise de um controlador lógico fuzzy de segurança (SFLC) implementado em FPGA com arquitecturas 1 em 2 (1oo2), aplicando dois métodos de avaliação. A partir de parâmetros caraterísticos do hardware, tais como a taxa de falhas perigosas detectadas e não detectadas, a cobertura de diagnóstico, o intervalo de testes de prova e outros parâmetros, é possível calcular a probabilidade média de falhas perigosas a pedido e, consequentemente, determinar o nível de integridade de segurança (SIL) do SFLC.