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 […]
The electric vehicle company is responsible for an electric traction drive system on board a 100% electric vehicle. CLIENT : […]
The Onboard Announcement system developed by CLEARSY will be installed in the new Regiolis trains, operated by Alstom. Regiolis is […]
The central supervision system developed by CLEARSY allows RATP to concentrate, in a central fire safety station, the supervision (control […]
The PMI L1 project consists of creating a process to check the computer signalling implemented on line 1, 3 bis […]
The DGA (French Government Defence procurement and technology agency ) is the project manager of a study, which will define the […]
The ACSES project consists of developing a zone management system for temporarily reducing the speed of a train.
- CLIENT : Alstom
- DATE : Juillet/août 2010
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:
- Management of a line change
- Redivision of the network. It is a division per sector which groups together several lines. Each sector corresponds with an instance of the software. In this context, it was necessary to implement communication between the various instances.