• 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 News ERTS 2020

ERTS 2020

Conferences and fairs, Products
January 2020

Systerel will be present at ERTS (Embedded Real Time Systems) congress in Toulouse on January 29-30.

Systerel, the CEA and SNCF Réseau will be exhibiting the future Atelier Métier Signalisation SNCF Réseau.
In addition to its expertise in the railway field, Systerel is bringing its Systerel Smart Solver solution.

Systerel Smart Solver

ERTS

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