Development/Re-engineering of the safety part of the ground and on-board software of a CBTC

The purpose of this R&D project is to industrialize the previous STS projects in order to rapidly provide automatic or […]


The DIGISAFE technology and its communication protocol on Siemens automaton DIGISAFE is a technology developed by Siemens that is based […]

Electric vehicle traction drive project

The electric vehicle company is responsible for an electric traction drive system on board a 100% electric vehicle. CLIENT : […]

Annonces sonores
Embeded Audio announcement system (SAS)

The Onboard Announcement system developed by CLEARSY will be installed in the new Regiolis trains, operated by Alstom. Regiolis is […]

Event-b for the synthesizable VHDL

Forcoment project: Event-b for the synthesizable VHDL

Fire safety system supervision deployed in PARIS and Grand Paris metros

The central supervision system developed by CLEARSY allows RATP to concentrate, in a central fire safety station, the supervision (control […]

Système automatique d’exploitation des trains, ligne 1 (SAET L1)
Formal verification of RATP interlocking systems

The PMI L1 project consists of creating a process to check the computer signalling implemented on line 1, 3 bis […]

Direction générale de l'Armement
Formal verification of the interoperability of autonomous systems (OISAU)

The DGA (French Government Defence procurement and technology agency ) is the project manager of a study, which will define the […]

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!

The ACSES project consists of developing a zone management system for temporarily reducing the speed of a train.

Project context

This management is achieved via the intermediary of a database, which is updated and consulted by means of an interface modelled in B.

The system must be able to guarantee certain operational safety constraints in the management of the base. Indeed a B model enables you to express these constraints in the form of properties and thus prove they are being verified whatever the condition of the software.

In this context, CLEARSY was consulted by Alstom to do the updates and make additions to the functionality on the already existing B model.


Here’s a preview of the recently developed functionality: