• Company
  • Careers
  • News
  • Blog
  • Contact
  • 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
      • Safe & Secure OPC
      • Systerel Smart Solver
      • Systerel IXL Builder
      • OVADO 2
    • Research and development works
    • Collaborative initiatives
  • Business segments
    • Railway
    • Aerospace
    • Defense
    • Energy
Home Archives pour February 2019

Archives de February 2019

  • Themes
    • Blog
    • Careers
    • Company
    • Conferences and fairs
    • Formal Methods
    • Products
    • Projects
    • R&D
    • Training
  • Dates
    • 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
Conferences and fairs, Products
March 2019

Smart Industries 2019

Systerel will be present at Smart Industries, the connected industry exhibition, in Lyon 5-8 March 2019 on the OPC Foundation’s booth.

Formal Methods
February 2019

Kick-off of the HLL community

The HLL community, which brings together the main promoters, users and tools suppliers of the HLL language, met for the first time last December in Paris.

Conferences and fairs, Products
February 2019

Embedded World 2019

Systerel will exhibit at the Embedded World exhibition in Nuremberg (Germany) from 26-28 february.

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
  • Research and development works
  • Collaborative initiatives

Business segments

  • Railway
  • Aerospace
  • Energy
  • Defense

Copyright © 2021 Systerel™ - All rights reserved

  • Site map
  • Legal notices