ClearSy is an expert in safety critical systems for the railway industry. From design to commissioning, ClearSy develops and installs certified vital software and systems for trains, metros, commuter trains, light rails and rail infrastructures worldwide. In their effort to provide fully turn-key systems, ClearSy engineers pass SIL certification for their clients before delivery (according to standards EN 50126, EN 50128, EN 50129, 61508).
As a leading expert in rail safety, ClearSy proposes products and consulting to ensure safety, availability of rail systems and reduce cost of safety development.
ClearSy has been established to promote formal B method for industrial applications since 2001. Today, it is a reference in the field and now proposes development and support in a formal method (based on mathematical proofs).
ClearSy’s products and services are designed to address 4 issues of current transportation authority:
ClearSy offers a range of products to increase flow and safety of passenger in urban transportation systems. Its systems are in operation in Paris, Stockholm, Sao Paulo, Los Teques, Lyon and Bordeaux … These systems are designed to combine safety and availability in order to fully address the needs of the most crowded public transportation network.
To ensure station safety, ClearSy offers:
To ensure safety during train operation, ClearSy proposes signaling systems and monitoring devices to prevent critical accidents:
ClearSy has developed cheaper alternative products for vital application. They are also committed to reduce cost of critical software and system development.
ClearSy has acquired a strong expertise in advanced rail safety and now it offers services.
In safety, B formal method is a strong asset. For example, ClearSy proved the CBTC of the NYCT line 7 is totally safe at system level. Also, B method is used to design safety critical software of CBTC driverless by major companies.
When it comes to train management system, ClearSy engineers have already assisted clients in their ERTMS and CBTC projects by developing interlocking or writing specifications.
ClearSy provides training in B Method and for ERTMS/ETCS.
In this white paper, ClearSy show that several formal methods and formal data validation for railways directly contribute to safety critical software...
In Stockholm City and Stockholm Odenplan stations, COPPILOT, the platform screen doors control system designed by ClearSy, is now in charge of opening...
Use the form opposite to get in touch with ClearSy Systems Engineering directly to discuss any requirements you might have.