• 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 Innovation

Innovation

Innovation at Systerel

We support the performance and success of our customers in critical software and operational safety by designing advanced solutions which provide significant competitive advantages.

Research and development works

Discover Systerel's latest R&D projects.

Products

Systerel offers a range of innovative solutions designed to reduce development costs and time-to-market of its clients’ systems.

Collaborative initiatives

Systerel, known for more than 20 years for its know-how in the development of critical systems, works with several partners, competitiveness clusters, or clusters bringing together other actors in sectors of aeronautics, space, railway…

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