• 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
    • Technology based on Ada
    • 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
    • OPC UA
    • Railway standards
  • Sectors
    • Railway
      • Interlocking
    • Aerospace
    • Defense
    • Energy
Home Expertise

Expertise

Formal methods

Systerel’s expert center “Modeling and proof” consists of one of Europe’s most important teams in the field.

Safety-critical, embedded and real-time software

Systerel disposes a center of competence for the development of embedded, critical and real-time software.

OPC UA and industrial cybersecurity

Through several implementations of the OPC UA technology in an industrial context, Systerel developed a real expertise on the OPC UA standard.

Technology based on Ada

Systerel offers expert services for the application of the Ada language (or related tools) for embedded systems development with strong real-time or safety requirements.

Standards and processes

Systerel is able to conduct software and system development in different sectors with strong normative requirements.

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
  • Technology based on Ada
  • 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