• Company
  • Careers
  • News
  • Blog
  • Contact
  • 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 2
    • Research and development works
    • Collaborative initiatives
  • Business segments
    • Railway
    • 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 2

    OVADO 2

    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

Blog: A scaffolding for the development of your Ada applications

A new article is available on the Systerel blog! “A scaffolding for the development of your Ada applications".

Blog: A scaffolding for the development of your Ada applications
+

Innotrans 2022

For the 4th time, Systerel will participate in the international trade fair Innotrans in Berlin from September 20th to 23rd.

Innotrans 2022
+

Embedded World - safe&secure offer

Come and meet our experts and learn more about our safe and secure products such as S2OPC and the digital relay "SnS StaR"

Embedded World - safe&secure offer
+

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 © 2021 Systerel™ - All rights reserved

  • Site map
  • Legal notices