• 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
      • Safe & Secure OPC
      • Systerel Smart Solver
      • Systerel IXL Builder
      • OVADO²®
    • 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

  • Systerel IXL Builder

    Systerel IXL Builder

    Design of formally proven automata-based systems

 

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

View job opportunities

News

All the news

Exera: conference "Industrial Systems Cybersecurity"

Systerel will participate in the 9th technical conference on the theme of Industrial Systems Cybersecurity, organized by Exera, on September 28th at the Centenary Space of the RATP House in Paris.

This annual event provides an opportunity to explore the latest innovations and technical developments related to Industry 4.0 and cybersecurity challenges.

Exera: conference "Industrial Systems Cybersecurity"
+

Qualiopi certified training

Do you wish to train learn more on formal methods, EN 50128 standard, RAMS, C, Ada, OPC UA?

Thanks to its expertise, Systerel has built a training offer perfectly adapted to your needs.

Qualiopi certified training
+

Systerel celebrated its 20th anniversary!

To celebrate this anniversary, the Systerel teams met for a weekend in Chamonix.

It was a real pleasure for the teams from the different Systerel sites to get together and strengthen ties.

Systerel celebrated its 20th anniversary!
+

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
  • Research and development works
  • Collaborative initiatives

Business segments

  • Railway
  • Aerospace
  • Energy
  • Defense

Copyright © 2023 Systerel™ - All rights reserved

  • Site map
  • Legal notices