• English
    • Français
Systerel English
  • Solutions
    • Consulting & Expertise
    • Safety-Critical Software Development
    • Evaluation & Audit
    • Verification & Validation
    • RAMS
  • Expertise
    • Formal Methods
      • Use of Formal Methods
      • Model Checking with S3
      • B Method Software
      • Data Verification with B OVADO²®
      • Rodin Platform
      • SCADE Modeling
      • The HLL Language
      • Verification & Validation Tools
    • Safety-Critical, Embedded and Real-Time Software
    • OPC UA and Industrial Cybersecurity
    • Ada Technologies
    • Standards & Processes
  • Innovation
    • Innovation at Systerel
    • Products
      • BLAST
      • OVADO²®
      • OPC UA Aggregator
      • Safe & Secure OPC
      • Systerel IXL Builder
      • Systerel Smart Solver
    • Research and Development Works
    • Collaborative Initiatives
  • Training
    • Ada Language
    • B Method
    • C Language
    • Functional Safety
    • OPC UA
    • Railway Standards
  • Sectors
    • Railway
      • Interlocking
    • Aerospace
    • Defense
    • Energy & Nuclear
  • 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

    Open-source, secure, and certified implementation of the OPC UA standard

  • 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 partners with SEMERU for data center modernization

Systerel is proud to partner with SEMERU for the modernization of a data center in the Angers region through the deployment of its OPC UA Aggregator.

Developed in collaboration with Renault Group, this aggregator centralizes and standardizes data from field equipment to the supervision layer.

Systerel partners with SEMERU for data center modernization
+

Systerel at Aix-Marseille University

Meeting the engineers of tomorrow also means sharing our passion for software innovation.

Our Real-Time Systems department, shared his expertise with final-year engineering students specializing in Software Development Engineering at Aix-Marseille University.

Systerel at Aix-Marseille University
+

Systerel at Embedded World 2026

Find us at the OPC Foundation booth (Hall 4 – 151) at Embedded World 2026 to discover our innovative solutions for Industry 4.0 and industrial cybersecurity.

Systerel at Embedded World 2026
+

Solutions

  • Consulting & Expertise
  • Critical Software Development
  • Verification & Validation
  • Assessment & Audit
  • RAMS
  • Training

Expertise

  • Formal Methods
  • Embedded, Critical & Real-Time Software
  • OPC UA & Industrial Cybersecurity
  • Ada Technologies
  • Standards & Processes

Products

  • Innovation at Systerel
  • Products
  • Research and Development Works
  • Collaborative Initiatives

Business segments

  • Railway
  • Aerospace
  • Energy & Nuclear
  • Defense

Copyright © 2026 Systerel® - All rights reserved.

  • Site Map
  • Legal Notices