• English
    • Français
Systerel English
  • Solutions
    • Consulting & expertise
    • Safety-critical software development
    • Assessment & audit
    • Verification & validation
    • RAMS
    • Training
  • Expertise
    • Formal Methods
      • Using Formal Methods
      • B Method
      • SCADE
      • The HLL Language
      • Systerel Smart Solver
      • RODIN platform
      • Verification & Validation Tools
    • Embedded, critical & real-time software
    • OPC UA
    • Technology based on Ada
    • Standards & processes
  • Innovation
    • Innovation at Systerel
    • Products
      • BLAST
      • OVADO²®
      • Safe & Secure OPC
      • Systerel IXL Builder
      • Systerel Smart Solver
    • Research and development works
    • Collaborative initiatives
  • Business segments
    • Railway
      • Interlocking
    • Aerospace
    • Defense
    • Energy
  • Systerel is specialized in critical software and RAMS. Read More  
  • Systerel is specialized in critical software and RAMS. Read More  
  • Systerel is specialized in critical software and RAMS. Read More  
  • Systerel is specialized in critical software and RAMS. Read More  
  • Systerel is specialized in critical software and RAMS. Read More  

Systerel is specialized in critical software and RAMS.

Read More

 

Products

  • Systerel Safe & Secure OPC

    Systerel Safe & Secure OPC

    Secure and open-source implementation of the OPC-UA protocol

  • Systerel Smart Solver

    Systerel Smart Solver

    Formal verification of developed systems and software in SCADE, C, Ada

  • OVADO²®

    OVADO²®

    Automatic validation of critical data

  • BLAST

    BLAST

    Automated balise layout assistance for railways

 

As part of its growth, Systerel is looking for new talents.

View job opportunities

News

All the news

Systerel participates in Ada Europe 2025 Conference

Systerel participates in the 29th Ada Europe 2025 Conference in Paris, sharing its expertise on Ada application porting.

This conference will bring together researchers, developers, and users passionate about reliable software technologies.

Systerel participates in Ada Europe 2025 Conference
+

CORIFER 2023: Systerel collaborates with Alstom and Centrale Méditerranée

Systerel is participating in the PAIISDAIX program, an innovative project led by Alstom, Centrale Méditerranée, and Systerel, aimed at developing a new range of cybersecurity-enabled railway products dedicated to autonomous trains.

CORIFER 2023: Systerel collaborates with Alstom and Centrale Méditerranée
+

Systerel, Siemens partner for the inauguration of the Riyadh metro

A few months ago, Lines 1 and 2 of the Riyadh Metro were inaugurated, an ambitious project that is transforming the city’s mobility!

Systerel is proud to have contributed by supporting Siemens Mobility in the development of signaling and control systems.

Systerel, Siemens partner for the inauguration of the Riyadh metro
+

Solutions

  • Consulting & expertise
  • Critical software development
  • Verification & validation
  • Assessment & Audit
  • RAMS
  • Training

Expertise

  • Formal methods
  • Embedded, critical & real-time software
  • OPC UA
  • Technology based on Ada
  • Standards & processes

Products

  • Innovation at Systerel
  • Products
    • BLAST
    • OVADO²®
    • Safe & Secure OPC
    • Systerel IXL Builder
    • Systerel Smart Solver
  • Research and development works
  • Collaborative initiatives

Business segments

  • Railway
  • Aerospace
  • Energy
  • Defense

Copyright © 2025 Systerel® - All rights reserved.

  • Site map
  • Legal notices