Un 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 » a été co-écrit par Clearsy et RATP à l'occasion du Lambda Mu 15.

Une maquette du système est 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

Accéder à l'article

Clearsy and the RATP co-authored the "Use of the Formal B Method for a SIL3 System: Landing Door Commands for Line 13 of the Paris subway" on the occasion of the Lambda Mu 15.

A mock-up of the system may be visited at our booth.

Also presented at our booth:

CompoSys: new System Modeling tool

Brama: new animation tool for formal system specifications

Coppilot: demonstration of the SIL 3 command control system for the landing doors on the Line 13 subway

Article