• 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²®
      • Event-B Method
      • 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
Home Company

Company

Business

Systerel is specialized in critical software and RAMS (Reliability /Availability /Maintainability /Safety).

Key figures

Systerel relies on a team
which has proved its worth for more than 20 years, and maintains a development policy of controlled organic growth.

Organisation

The company's strategy is defined and steered by a management team with more than 25 years of experience in the field of critical software.

Quality policy & commitments

Systerel pursues a policy of continuous improvement of its organisation and processes.

Solidarity commitments

Solidarity, mutual aid and commitment are important values at Systerel.
All of the company's employees at all sites are involved on a daily basis in national solidarity initiatives.

History

More than 20 years of continuous growth!

Solutions

  • Consulting & expertise
  • Critical software development
  • Verification & validation
  • Assessment & Audit
  • RAMS
  • Training

Expertise

  • Formal methods
  • Embedded, critical & real-time software
  • OPC UA and industrial cybersecurity
  • Ada Technologies
  • Standards & processes

Products

  • Innovation at Systerel
  • Products
  • Research and development works
  • Collaborative initiatives

Business segments

  • Railway
  • Aerospace
  • Energy
  • Defense

Copyright © 2025 Systerel® - All rights reserved.

  • Site map
  • Legal notices