Hall 27 – Booth 301
#Safety #System #Software #Engineering #Relay #Signaling
about us :
CLEARSY is a French company with 160 employees, whose core expertise is the design and production of certified safety systems and software.
CLEARSY is the leader in the use of the formal B method based on mathematical proof; it publishes the reference tool ATELIER B, used in particular by major industrial companies for the development of automated systems for trains and metros, with or without drivers.
The use of the formal B method is a decisive asset in meeting the highest safety standards. This is the method used by CLEARSY in the development of certified safety systems. Many safety-critical systems designed by CLEARSY are now in operation in France and abroad, and its simulation tools and test benches are used by leading operators and
laboratories.
A wide range of products are available: safety hardware and software platform (computer), formal validation tool for critical data, safety system supervisor and interface, complete range of SIL4 safety relays: RS4, SIL4 system for opening platform screen doors, automatic train stop, DMI, etc.
The ERTMS unit includes a wide range of simulators, and a set of test benches for on-board and ground systems.
CLEARSY is active in the railway, defence, transport, and energy sectors, for which we are a EDF trusted technical third party for classified control systems.
CLEARSY comprises 4 sites: AIX, LYON, PARIS, STRASBOURG.
CLEARSY develops a range of safety relays for interfacing with railway systems, including on-board systems. These relays interface with SIL2, SIL3 and SIL4 safety PLCs according to EN50129, and some are intrinsically safe and perform their own contact monitoring. Safety relays are also used in relay interlockings.
CLEARSY offers its knowledge and skills to its customers in many different areas of
expertise, to provide them with optimal solutions to ensure the reliability of their systems. Covering different activities, CLEARSY’s services consist of modelling (with formal methods), developing, validating, approving or certifying their systems and software.
CLEARSY has designed the CLEARSY Safety Platform: a SIL4 certified single-board and a failsafe computer (per EN 50126, EN50128 and EN50129 definition). The end-user can now focus only on designing his custom business system/application, saving the complexity and costs associated with the design and certification of processor safety software layers.
CONTACT US
320 Avenue Archimède – Les Pléiades III BAT A – 13100 Aix-en-Provence – France
E-mail : contact@clearsy.com
Tél. : +33 (0)4 42 37 12 70
www.clearsy.com