|
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
|
)
)
Use of the Formal B Method for a SIL3 System Landing Door Commands for Line 13 of the Paris subway