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
July 2020 - 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 Archives pour July 2020

Archives de July 2020

  • Themes
    • Blog
    • Careers
    • Company
    • Conferences and fairs
    • Formal Methods
    • Non classé
    • Products
    • Projects
    • R&D
    • Software operational safety
    • Success Stories
    • Training
    • Webinars
  • Dates
    • May 2026
    • March 2026
    • February 2026
    • December 2025
    • November 2025
    • October 2025
    • September 2025
    • May 2025
    • April 2025
    • March 2025
    • February 2025
    • January 2025
    • October 2024
    • August 2024
    • July 2024
    • June 2024
    • May 2024
    • April 2024
    • March 2024
    • February 2024
    • January 2024
    • December 2023
    • November 2023
    • October 2023
    • September 2023
    • August 2023
    • July 2023
    • June 2023
    • May 2023
    • April 2023
    • March 2023
    • February 2023
    • January 2023
    • December 2022
    • November 2022
    • October 2022
    • September 2022
    • August 2022
    • July 2022
    • June 2022
    • May 2022
    • April 2022
    • March 2022
    • February 2022
    • January 2022
    • December 2021
    • November 2021
    • October 2021
    • September 2021
    • August 2021
    • July 2021
    • June 2021
    • May 2021
    • April 2021
    • March 2021
    • February 2021
    • January 2021
    • December 2020
    • November 2020
    • September 2020
    • July 2020
    • June 2020
    • April 2020
    • March 2020
    • February 2020
    • January 2020
    • November 2019
    • October 2019
    • September 2019
    • June 2019
    • May 2019
    • April 2019
    • March 2019
    • February 2019
    • January 2019
    • November 2018
    • October 2018
    • September 2018
    • July 2018
    • June 2018
    • May 2018
Company
July 2020

Systerel member of GIMELEC’s new Cyber OT Club

Systerel is now a member of GIMELEC’s Cyber OT Club.

Products
July 2020

S2OPC server certified by the OPC Foundation

S2OPC has just taken a new step by obtaining a certificate of compliance with the OPC UA v1.03 standard from the OPC Foundation for its S2OPC server application.

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