On parle d'informatique critique quand un dysfonctionnement a des conséquences dramatiques (pouvant causer la mort). Dans ces situations, des efforts particuliers sont mis pour garantir la sûreté de fonctionnement des logiciels. Dans cet exposé, nous parlons de l'utilisation de la méthode B dans l'industrie ferroviaire : à la fois comme outil de développement et comme outil de modélisation d'un système complet. Nous présenterons un problème encore ouvert aujourd'hui.