Home l Brama Tool l Download l Our Demonstrations l Documentation l Links l Contact
Links
Atelier B |
|
|
|
Industrial tool enabling the operational use of Method B for proven software development. Training available in understanding and using B. |
|
|
|
Brama |
|
|
|
Animation tool for models undergoing development. Url: http://www.brama.fr |
|
|
|
Composys |
|
|
|
Tool for formal design of systems architecture. |
|
|
|
COPP |
|
|
Device to Open and Close the Platform Screen Doors; safety critical SIL3 system, actually on the line 13 of the Parisian subway (Châtillon station equipped by an automatic turn back). Url: http://www.copp.fr |
|
|
|
Coppilot |
|
|
Device to Open and Close the Platform Screen Doors. Url: http://www.coppilot.fr - Url: ClearSy |
|
|
|
DOF1 |
|
|
Device to Open and Close the Platform Screen Doors; safety critical SIL4 system, to be installed on the line 1 of the Parisian subway. Url: http://www.dof1.eu |
Fersil |
|
 |
ClearSy's Offers in the Railway System Sector |
