• 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
    • Safety-critical, embedded and 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

World Nuclear Exhibition 2025

Systerel will be attending the World Nuclear Exhibition 2025!
We look forward to engaging with our clients and partners about our expertise in critical control systems and systems engineering.

World Nuclear Exhibition 2025
+

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
+

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