Maîtrise des Risques et Sûreté de Fonctionnement
Clearsy y tenait un stand et a présenté l’article Utilisation de la méthode formelle B pour un système SIL3 : la commande des portes palières sur la ligne 13 du métro Parisien », un texte co-écrit par Clearsy et la RATP à l’occasion du Lambda Mu 15.
Une maquette du système était en démonstration sur notre stand.
En présentation sur notre stand :
- CompoSys : nouvel outil de Modélisation de Systèmes
- Brama: nouvel outil d’animation de spécifications formelles de Systèmes
- Coppilot : démonstration du système SIL 3 de contrôle commande des portes palières du métro ligne 13
Français
English 
