• 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 SPS Nuremberg 2023 Arturo Rivas

Arturo Rivas

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 © 2026 Systerel® - All rights reserved.

  • Site Map
  • Legal Notices