• 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

OPC UA TECH DAY France 2023

Join us for “OPC UA TECH DAY France” which will take place at the EDF Lab in Saclay on June 14.

Systerel will give a presentation on “Cybersecurity & OPC UA” and on “OPC UA FX”. All presentations will be held in French.

OPC UA TECH DAY France 2023
+

Blog post: Expect automation tool

In this article, we focus on the Tcl/Expect automation tool and more specifically on its Ada implementation through GNAT.Expect.

By using this tool, it is possible to easily control third-party applications through a mechanism of expected questions/answers (expect).

Blog post: Expect automation tool
+

S2OPC now operates with PikeOS for even greater security

With cybersecurity becoming one of the most critical challenges of Industry 4.0, S2OPC — the safe and secure implementation of OPC UA — now offers even more secure features thanks to its integration with PikeOS.

S2OPC now operates with PikeOS for even greater security
+

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