Systerel implements industrial-grade solutions for safety-critical control systems based on SCADE-based developments.

SCADE

scade

SSCADE is an integrated development environment provided by Esterel Technologies / ANSYS and designed for the engineering of safety-critical systems.

It is built on the Lustre language and enables the generation of C or Ada code that is certified as compliant with the model.

SCADE technical expertise

  • Definition of safety-critical architectures and interfaces integrating SCADE components
  • Modeling of safety-critical SCADE components
  • Generation and integration of SCADE-generated code within a safety-critical software system
  • Manual verification of a SCADE model (consistency of the model with respect to the specification)
  • Automated testing of SCADE models on host or target platforms

Resources

  • SCADE licenses (Suite Advanced Modeler, Suite Model Test Coverage
  • A team of more than 15 experienced engineers
  • Approved partner of Esterel Technologies / ANSYS

SCADE-based project references

  • CBTC (Communication Based Train Control)
    • ZC (Zone Controller)
    • CC (Carborne Controller) – ATP (Automatic Train Protection)
    • IOC (Input Output Controller)
  • Tramway
    • ATP (Automatic Train Protection)
    • ETCS (European Train Control System)
  • ETCS (European Train Control System)