Fault-Tolerant Control System Modeling in SystemC

Abstract

Este trabalho tem como objetivo a criação de uma metodologia de modelagem de sistemas de controle tolerantes a falta, de uma forma que confiabilidade possa ser medida e tolerancia a falta possa ser validada. A necessidade de controladores confiáveis requer o uso de técnicas de segurança. A validação dessas técnicas é importante e deve ocorrer cedo no fluxo de projeto. Modelos são usados nesses cenários para maiores níveis de abstração. No entanto, modelos devem ter técnicas de injeção de faltas para possibilitar testes com faltas. Uma metodologia usando um Modelo de Computação (MOC) com SystemC é proposto juntamente com um framework para injeção de falta. Um caso de estudo valida a metodologia e o framework, dando a possibilidade de avaliar a confiabilidade de um modelo.