Evaluation de la disponibilité d'un processeur tolérant aux fautes.

Hicham Belhadaoui (1) , Olaf Malassé (2) , Grégory Buchheit (2) , Jean-François Aubry (1)

1 CRAN - Centre de Recherche en Automatique de Nancy
2 ENSAM - METZ - Ecole Nationale Supérieure d'Arts et Métiers - Centre de Metz

Actuellement, les efforts se concentrent sur l'intégration d'outils pour la conception de systèmes complexes, en omettant les aspects sûreté. La sûreté de fonctionnement relevant du niveau système, chaque métier se doit de l'intégrer dans sa doctrine, mais la validation des avancées de chacun ne peut qu'être réalisée globalement. Le travail mené par l'équipe A3SI-CRAN a pour objectif de définir une méthodologie de conception d'un système complexe programmable dédié à une application mécatronique [1], intégrant dès les premières phases du cycle de développement [2], les aspects de la sûreté de fonctionnement. L'apport d'une telle méthodologie doit permettre de faire face à un certain nombre de contraintes propres au domaine des capteurs intelligents (les exigences du cahier des charges, le respect des normes législatives en vigueur).

Mots clés: Système embarqué; outil de modélisation; outil de fiabilité; modélisation RTL; tolérance aux fautes; IEC61508; processeur à pile

Domaines: Automatique / Robotique

Hicham Belhadaoui, Olaf Malassé, Grégory Buchheit, Jean-François Aubry. Evaluation de la disponibilité d'un processeur tolérant aux fautes.. 8ème Congrès international pluridisciplinaire en Qualité et Sûreté de Fonctionnement, Qualita 2009, Mar 2009, Besançon, France. pp.CDROM. ⟨hal-00377917⟩