Key points are not available for this paper at this time.
Ce travail présente un environnement d'insertion de fautes basé sur la simulation, qui permet d'injecter des fautes dans un modèle Verilog du matériel. Une plateforme de co-vérification est utilisée pour permettre l'exécution de logiciels réels au niveau système dans l'environnement simulation. Un gestionnaire de fautes est utilisé pour suivre les fautes qui sont insérées dans le matériel et pour surveiller les messages de diagnostic afin de déterminer si le logiciel est capable de détecter, diagnostiquer et/ou gérer la faute injectée. Des exemples seront fournis pour démontrer les capacités de cette approche ainsi que les exigences en ressources (temps, système, humain). D'autres avantages et problèmes de cette approche seront également discutés.
Eklow et al. (Mon,) ont étudié cette question.