• 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
      • BLAST
      • OVADO²®
      • Safe & Secure OPC
      • Systerel IXL Builder
      • Systerel Smart Solver
    • Research and development works
    • Collaborative initiatives
  • Business segments
    • 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.

Embedded, critical & real-time software

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

OPC UA

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

Products

  • Innovation at Systerel
  • Products
    • BLAST
    • OVADO²®
    • Safe & Secure OPC
    • Systerel IXL Builder
    • Systerel Smart Solver
  • Research and development works
  • Collaborative initiatives

Business segments

  • Railway
  • Aerospace
  • Energy
  • Defense

Copyright © 2025 Systerel® - All rights reserved.

  • Site map
  • Legal notices