Systerel met en œuvre des solutions industrielles de systèmes de contrôle-commande critiques basées sur des développements SCADE.

SCADE

scade

SCADE est un environnement de développement intégré diffusé par Esterel Technologies / ANSYS destiné à la conception de systèmes critiques.
Il est basé sur le langage Lustre et permet de générer du code en langage C ou Ada certifié conforme à la modélisation.

Compétences techniques SCADE

  • Définition d’architectures et d’interfaces sécuritaires intégrant des composants SCADE
  • Modélisation de composants sécuritaires SCADE
  • Génération et intégration du code SCADE dans un logiciel sécuritaire
  • Vérification manuelle d’un modèle SCADE (cohérence du modèle vis à vis de la spécification)
  • Tests automatiques de modèles SCADE sur hôte ou sur cible

Moyens

  • Licences SCADE (Suite Advanced Modeler, Suite Model Test Coverage)
  • Équipe de plus de 15 ingénieurs expérimentés
  • Partenaire reconnu par Esterel Technologies / ANSYS

Références projets basés sur SCADE

  • 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)