Fersil :
ClearSy's Offers in the Railway System Sector


DOF1 :
Device to Open and Close the Platform Doors on line 1, SIL4


COPP :
Platform Screen Doors at the Paris-Châtillon Station
 

Operational Safety :
Blog about Operational Safety.

BMethod :
Site about the B method, a formal method with proof


B Tools Forum :
Discuss the B tools developed by ClearSy.

Atelier B :
Industrial tool enabling the operational use of Method B for proven software development.

Brama :  
Animation tool for models undergoing development.

 
CompoSys :
Tool for formal design of systems architecture.

DOF1: Equipment at the Bérault Station on the Paris Subway System
The first platform doors were installed in February at the Bérault Station on Line 1 of the...

Atelier B 4.0 is available !
More informations about Atelier B 4.0 on the Atelier B website...

The new version of Atelier B is in beta test 2
More informations about Atelier B 4.0 on the Atelier B website...

Lambda Mu 16 - New challenges of risk control
ClearSy was present at the Lambda Mu 16 conference, that took place from the 7th to the 9th of October at Avignon...