10 mars 2026
Pour la 3ᵉ année consécutive, CLEARSY intervient à l’école d’ingénieur ENSIIE pour un cycle complet de 42 heures dédié aux méthodes formelles et aux systèmes critiques de sécurité.
Au programme :
- Introduction aux méthodes formelles (spécifications et/ou développements prouvés mathématiquement)
- Enjeux de sécurité dans la conception de systèmes critiques de sécurité, notamment dans le ferroviaire
- Présentation complète de la méthode formelle B : de la modélisation à la preuve, jusqu’au code
Les étudiants manipulent concrètement les outils industriels :
- L’Atelier B de CLEARSY
- ProB de l’université de Düsseldorf
- Le calculateur CLEARSY Safety Platform
Au-delà des enseignements théoriques, les étudiants mènent un projet couvrant tout le cycle de développement : modélisation formelle, vérification, puis génération d’un code exécutable.
Former les ingénieurs de demain aux exigences de sûreté et de rigueur des systèmes critiques est un engagement fort pour CLEARSY.