Segurança operacional de um sistema de inferência 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.