• 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

SPS Italia 2026

Systerel is taking part in SPS Italia 2026!
Visit us at the OPC Foundation booth (Hall 4, Booth B009) to discover our innovative solutions dedicated to Industry 4.0 and industrial cybersecurity.

SPS Italia 2026
+

Systerel introduces a high-performance OPC UA aggregator for Industry 4.0

We are pleased to announce our collaboration with RenaultGroup for the launch of an OPC UA aggregator for Industry 4.0.

Systerel introduces a high-performance OPC UA aggregator for Industry 4.0
+

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
+

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