• English
    • Français
Systerel English
  • Solutions
    • Consulting & Expertise
    • Safety-Critical Software Development
    • Evaluation & Audit
    • Verification & Validation
    • RAMS
  • Expertise
    • Formal Methods
      • Use of Formal Methods
      • Model Checking with S3
      • B Method Software
      • Data Verification with B OVADO²®
      • Rodin Platform
      • SCADE Modeling
      • The HLL Language
      • Verification & Validation Tools
    • Safety-Critical, Embedded and Real-Time Software
    • OPC UA and Industrial Cybersecurity
    • Ada Technologies
    • 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
    • B Method
    • C Language
    • Functional Safety
    • OPC UA
    • Railway Standards
  • Sectors
    • Railway
      • Interlocking
    • Aerospace
    • Defense
    • Energy & Nuclear
  • 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

Lyon T6 tramway line extension

The extension of Lyon’s T6 tramway line has officially entered service.

As part of this major infrastructure project for the Lyon Metropolitan Authority, Systerel worked alongside Equans Ineo UTS on the line extension, particularly at the Villeurbanne stations and the Doua campus.

Lyon T6 tramway line extension
+

Systerel presents S2OPC at IDEO #7

At IDEO #7, organised by Systematic Paris-Region, Systerel introduced S2OPC, its open-source OPC UA solution.

Systerel presents S2OPC at IDEO #7
+

Systerel supports blood donation

We actively support our employees who choose to donate blood.

To make this process easier, our teams can benefit from the shuttle service provided by the French Blood Establishment, during work hours.

Systerel supports blood donation
+

Solutions

  • Consulting & Expertise
  • Critical Software Development
  • Verification & Validation
  • Assessment & Audit
  • RAMS
  • Training

Expertise

  • Formal Methods
  • Embedded, Critical & Real-Time Software
  • OPC UA & Industrial Cybersecurity
  • Ada Technologies
  • Standards & Processes

Products

  • Innovation at Systerel
  • Products
  • Research and Development Works
  • Collaborative Initiatives

Business segments

  • Railway
  • Aerospace
  • Energy & Nuclear
  • Defense

Copyright © 2026 Systerel® - All rights reserved.

  • Site Map
  • Legal Notices