{"id":14602,"date":"2026-06-29T11:02:48","date_gmt":"2026-06-29T09:02:48","guid":{"rendered":"https:\/\/event.businessfrance.fr\/innotrans\/?p=14602"},"modified":"2026-09-07T17:11:41","modified_gmt":"2026-09-07T15:11:41","slug":"clearsy","status":"publish","type":"post","link":"https:\/\/event.businessfrance.fr\/innotrans\/clearsy\/","title":{"rendered":"CLEARSY"},"content":{"rendered":"\n
<\/div>
<\/div><\/div>
\n

\"\"exhibitors<\/a><\/h4><\/div>\n\n\n\n
<\/div>\n\n\n\n
\n
\n
\"\"<\/figure>\n<\/div><\/div>\n\n\n\n
\n

CLEARSY<\/strong><\/strong>
Hall 27
Booth 301<\/h1><\/div>\n\n\n\n

#safety #system #software
#engineering #relay #signaling<\/p><\/div>\n\n\n\n

\n
SEND A MESSAGE<\/a><\/div>\n<\/div>\n<\/div>\n<\/div>\n\n\n\n
<\/div>\n<\/div><\/div><\/div><\/div><\/div>\n\n\n\n
<\/div>
<\/div><\/div>
\n

about us <\/h4><\/div>\n\n\n\n

CLEARSY <\/strong>is a French engineering company with 160 employees, specializing in the design and development of certified SIL1 to SIL4 safety-critical systems and software, from specification to commissioning.<\/p>\n\n\n\n


CLEARSY <\/strong>is the recognized leader in the industrial application of the formal B Method. The company develops and maintains Atelier B, the reference industrial tool used worldwide by leading companies to develop railway signalling and automated metro systems, both driverless and conventionally operated.
<\/p>\n\n\n\n

Formal methods are at the heart of CLEARSY’s engineering approach. By relying on mathematical proof, they provide the highest level of confidence in the safety of critical systems from the earliest stages of development. Today, numerous safety-critical systems designed by CLEARSY are in operation in France and abroad, while its simulation tools and test benches are used by leading operators, manufacturers and laboratories.<\/p>\n\n\n\n


CLEARSY’s ERTMS business unit provides a comprehensive portfolio of simulators and test benches supporting the specification, development, integration, validation and interoperability testing of both onboard and trackside ERTMS systems.<\/p>\n\n\n\n

CLEARSY offers a comprehensive portfolio of products, including:<\/p>\n\n\n\n

    \n
  • Certified safety hardware and software platforms<\/li>\n\n\n\n
  • Formal validation tools for safety-critical data<\/li>\n\n\n\n
  • Safety controllers and safety I\/O interfaces<\/li>\n\n\n\n
  • The complete RS4 family of SIL4 safety relays<\/li>\n\n\n\n
  • SIL4 platform screen door control systems<\/li>\n\n\n\n
  • Automatic train stop systems<\/li>\n\n\n\n
  • Driver Machine Interfaces (DMI)<\/li>\n\n\n\n
  • Full ETCS test benches for the simulation, integration and interoperability testing of onboard and trackside ERTMS systems.<\/li>\n<\/ul>\n\n\n\n

    CLEARSY <\/strong>serves the railway, defence, transport and energy sectors. In the nuclear industry, the company acts as EDF’s trusted technical third party for safety-classified instrumentation and control systems.<\/p>\n\n\n\n

    Headquartered in Aix-en-Provence, CLEARSY also operates offices in Paris, Lyon and Strasbourg.<\/p>\n<\/div><\/div><\/div><\/div><\/div>\n\n\n\n

    <\/div>\n\n\n\n
    \n
    \n
    \"\"<\/figure>\n<\/div>\n\n\n\n
    \n

    CLEARSY has developed the CLEARSY Safety Platform, a SIL4-certified hardware and software platform providing the foundation for implementing safety-critical functions. Compliant with EN 50126, EN 50128, EN 50129 and EN 50716, it comprises a SIL4-certified single-board computer and a fail-safe computer platform, enabling customers to focus on their application-specific safety functions while significantly reducing the complexity, cost and certification effort required to develop the underlying safety platform.<\/p>\n<\/div>\n<\/div>\n\n\n\n

    <\/div>\n\n\n\n
    \n
    \n
    \"\"<\/figure>\n<\/div>\n\n\n\n
    \n

    The RS4 product family comprises a complete range of SIL2, SIL3 and SIL4 safety relays designed for the implementation and interfacing of safety-critical railway functions, including onboard applications. Compliant with EN 50129, RS4 relays interface seamlessly with SIL2, SIL3 and SIL4 safety PLCs, while several models provide integrated contact monitoring and intrinsically safe outputs. They are widely used in both modern electronic safety systems and conventional relay interlockings.<\/p>\n<\/div>\n<\/div>\n\n\n\n

    <\/div>\n\n\n\n
    \n
    \n
    \"\"<\/figure>\n<\/div>\n\n\n\n
    \n

    CLEARSY supports customers throughout the lifecycle of safety-critical solutions, from the renovation of legacy systems to the development of new systems. Combining expertise in system engineering, formal methods, software engineering and functional safety, the company provides services including system renovation and migration, formal modelling, system design, software development, verification and validation, safety assessment, certification support and independent safety expertise. In addition, CLEARSY develops and supplies a range of certified products, including Full ETCS Test Benches for the simulation, integration and interoperability testing of onboard and trackside ERTMS systems, as well as formal data validation tools for the verification of safety-critical railway data.<\/p>\n<\/div>\n<\/div>\n\n\n\n

    <\/div>\n\n\n\n
    \n
    \n