Home |
News |
Company |
Activities |
Sectors |
Sale Assistance |
Our Projects |
Conferences |
Our Products and Training |
Our Values |
Employment |
Newsletter |
Contacts |
Site Map
|
Our Projects
| Projet | Description |
|---|---|
The B-Method for the Construction of Microkernel-Based Systems. |
|
ClearSy has the role of "external controller" within the context of developing these projects, undertaking to make an inventory of the various modifications implemented in the specification document and/or B model. |
|
Control system of the landing doors at the Invalides and St Lazare stations. |
|
System to Open and Close the Platform Screen Doors; safety critical SIL3 system, actually on the line 13 of the Parisian subway |
|
The Santiago Metro wished to install an emergency braking system on its metro in the event of overspeed. |
|
Equipping of the 12 stations on line 13 of the Paris metro. |
|
Communication Protocol on Siemens Automaton. |
|
System to Open and Close the Platform Doors on Line 1, SIL4. |
|
ClearSy is participating in the elaboration of the electric/ electronic architecture of the traction system. |
|
Beacon Speed Control System. |
|
Within the framework of the evolution of the COPP system, a new component called ModemB will be deployed, ensuring a more reliable communication and a better compatibility by adapting to the frequency requirements of several railway networks. |
|
Opening and Interoperability for Autonomous Systems. |
|
Since 2007, ClearSy has performed safety analyses on automatic parking brakes for a major French automobile manufacturer. |
|
Ouragan Project Line 5 : Onboard Automatic Pilot |
|
WMonitoring and Control of Trains on line 13 of the Paris metro. |
|
Within the context of this project, ClearSy has participated in the software analysis and validation, in order to prevent any failures occurring which may impinge upon passenger safety. |
|
Process for formally checking the computer signalling implemented on line 1, 3 bis and 11 of the Paris metro |
|
Incremental refinement of event models. |
|
Event B development platform. |
|
Development of SIL4 safety software for the fixed automatisms of the future Val de Roissy. |
|
ClearSy is assisting the Rouen conglomeration (project manager) in the installation and commissioning of an automatic stoppage system for the tramway in the underground zones. |
|
Automatic Train Operation System, Line 1. |
|
Rapid Recharging Tramway System. |
|
In order to test safety systems based on Simatic Siemens automatons, ClearSy has developed a specific tool for this target architecture. |
|
Topcased is an open source software toolkit project integrated into Eclipse’s IDE. The project started in 2004 and aims at providing a set of software engineering tools for the development of real time critical systems. |
|
Peking metro, Alstom. |