• 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

Systerel joins STMicroelectronics Partner Program

Systerel announces that it has joined the STMicroelectronics Partner Program to make its open-source Safe &Secure OPC UA implementation available to a wider audience of device users.

Systerel joins STMicroelectronics Partner Program
+

Embedded World 2022

As every year, Systerel will participate to the Embedded World exhibition.

Embedded World 2022
+

RSSR 2022 "International Conference on Reliability, Safety and Security of Railway Systems"

Systerel will participate in the international conference RSSR (Reliability, Safety and Security of Railway Systems) in Paris on June 1st and 2nd.

RSSR 2022 "International Conference on Reliability, Safety and Security of Railway Systems"
+

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