Unclaimed brand
CLEARSY specializes in designing safety critical systems. From design to commissioning, we develop SIL1 to SIL4 certified systems. Our expertise includes data validation, system verification and safety demonstration. Also we promote the formal B method that has the potential to disrupt safety critical system development. CLEARSY proposes solutions to increase passenger flow and safety of the busiest commuter lines, improve train operation safety, reduce costs incurred by safety system development and verify safety critical systems CLEARSY is now passing a new milestone, thanks to the acquisition on July 2018, of the company ERSA, known by its competencies in the main lines. it has used its software architecture, development and design skills to translate the complex detail of European Interoperability’s ERTMS / ETCS / EVC specifications into a suite of tools which are supplied now by CLEARSY. #CLEARSY
Liking this brand profile? Share this page
Hex Code
Color name
RGB
HSL
CMYK
#2581C4
Curious Blue
37, 129, 196
205, 68, 46
81, 34, 0, 23
#F78DA7
Persian Pink
247, 141, 167
345, 87, 76
0, 43, 32, 3
#343A40
Outer Space
52, 58, 64
210, 10, 23
19, 9, 0, 75
CLEARSY is a French engineering company specializing in safety-critical software and systems. Founded on January 1, 2001, by the engineering team behind the industrialization of Atelier B, a formal modeling tool used to develop railway safety software, the company applies formal methods and safety engineering to complex projects. CLEARSY designs systems from initial conception through validation, verification, safety assessment, and commissioning, and supports software approval and certification. Its expertise covers safety levels SIL 1 to SIL 4 and sectors including rail, energy, microelectronics, automotive, defense, military, space, and nuclear applications.
The company offers engineering services, research and development, training, safety demonstrations, and assistance with dependability analysis and certification. Its products and tools include Atelier B, supervision and test-bench solutions, CLEARSY Safety Platform, ERTMS/ETCS systems, and CLEARSY Data Solver. Operational systems include COPPILOT, COPP, DIL, DOF1, KFS, KVB, KPVA, REGIOLIS, and an automatic tram-stop system. CLEARSY also develops tailored solutions for customers with specific safety-system needs.
Brand industry
Heavy Industry and Engineering
Company type
Suggest company type
Year founded
Suggest founded year
Company size
Suggest company size
