Warning: Undefined array key "en_US" in /home/systerel/www/wp-content/themes/systerel/lib/cpt_tax_fields.php on line 162

Warning: Trying to access array offset on null in /home/systerel/www/wp-content/themes/systerel/lib/cpt_tax_fields.php on line 162

Warning: Undefined array key "en_US" in /home/systerel/www/wp-content/themes/systerel/lib/cpt_tax_fields.php on line 202

Warning: Trying to access array offset on null in /home/systerel/www/wp-content/themes/systerel/lib/cpt_tax_fields.php on line 202

Warning: Undefined array key "en_US" in /home/systerel/www/wp-content/themes/systerel/lib/cpt_tax_fields.php on line 204

Warning: Trying to access array offset on null in /home/systerel/www/wp-content/themes/systerel/lib/cpt_tax_fields.php on line 204

Warning: Undefined array key "en_US" in /home/systerel/www/wp-content/themes/systerel/lib/cpt_tax_fields.php on line 214

Warning: Trying to access array offset on null in /home/systerel/www/wp-content/themes/systerel/lib/cpt_tax_fields.php on line 214
Centrale Mediterranee logo 360 - Systerel English
  • 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
Home Systerel gave a presentation on critical systems at Centrale Méditerranée Centrale Mediterranee logo 360

Centrale Mediterranee logo 360

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

Warning: Trying to access array offset on false in /home/systerel/www/wp-content/plugins/simple-matomo-tracking-code/simple-matomo-tracking-code.php on line 268