• English
    • Français
Systerel English
  • Solutions
    • Consulting & expertise
    • Safety-critical software development
    • Evaluation & audit
    • Verification & validation
    • RAMS
  • 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 and industrial cybersecurity
    • Technology based on Ada
    • 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
    • OPC UA
    • Railway standards
  • Areas of activity
    • 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

    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 supports ISEN Méditerranée students in preparing for job interviews

Our HR team took part in a job interview preparation workshop organized by ISEN Méditerranée in Toulon, aimed at students in the Embedded Systems program.

Our goal is to provide concrete support to engineering students as they prepare for their first job interviews.

Systerel supports ISEN Méditerranée students in preparing for job interviews
+

Charity Run: Aix en Foulées 2025

The Systerel team laced up their sneakers once again to take part in Aix en Foulées 2025, a charity race benefiting two organizations that support children facing severe health challenges.

Charity Run: Aix en Foulées 2025
+

Systerel and Renault Group share insights at Exera

Systerel and Renault Group teamed up to share insights on OPC UA data aggregation and industrial cybersecurity at Exera’s Technical Day, highlighting real-world challenges and solutions in Industry 4.0.

Systerel and Renault Group share insights at Exera
+

Solutions

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

Expertise

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

Products

  • Innovation at Systerel
  • Products
  • Research and development works
  • Collaborative initiatives

Business segments

  • Railway
  • Aerospace
  • Energy
  • Defense

Copyright © 2025 Systerel® - All rights reserved.

  • Site map
  • Legal notices