|
Projet COPPILOT
|
Système de pilotage des portes palières des stations Invalides et St Lazare
|
|
Projet COSYC
|
Concerne
les systèmes communicants embarqués critiques |
|
Projet DOF1
|
Dispositif d'Ouverture et de Fermeture des façades de quai ligne 1, SIL4
|
|
Projet OISAU
|
Ouverture et Interopérabilité pour Systèmes Autonomes
|
|
Projet OURAGAN
|
Pilote automatique embarqué
|
|
Projet RIMEL
|
Raffinement Incrémental de Modèles événementiELs
|
|
Projet RODIN
|
Plateforme de développement B Evénementiel. |
|
Projet ROISSY
|
Développement des logiciels sécuritaires SIL4 des automatismes fixes du futur Val de Roissy
|
|
Projet STMICROELECTRONICS
|
The B-Method for the Construction of Microkernel-Based Systems.
|
|
Projet URBALIS EVOLUTION
|
Le projet Urbalis Evolution vient
renouveller la gamme des produits de signalisation ferroviaire (CBTC)
déployés dans le monde entier par Alstom Transport.
|
