Précédent : Avionique Temps Réel Tolérante aux Remonter : Actions industrielles Suivant : Actions nationales et internationales

Contrôle-commande dans une centrale nucléaire

Participants : Gérard Le Lann, Pascale Minet Cette étude a été menée dans le cadre d'un contrat avec l'IPSN. L'IPSN a sélectionné comme application temps réel critique à examiner le contrôle-commande du système élémentaire d'eau brute secourue (SEC) d'une centrale nucléaire. Nous avons déroulé la méthode TRDF, d'une part pour capturer les besoins applicatifs (donc pour spécifier le problème informatique P à résoudre) et, d'autre part, pour analyser un système de contrôle-commande commercialisé envisagé pour l'application SEC. Cette analyse nous a permis d'identifier le problème informatique P' effectivement résolu par le système commercialisé et de démontrer que P' est plus faible que P.