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

SCADE

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

Compétences

  • Définition d’architectures et d’interfaces intégrant des composants SCADE
  • Conception et développement de composants dans un logiciel sécuritaire
  • Génération et intégration du code associé dans un logiciel
  • Vérification manuelle d’un modèle SCADE
  • Vérification automatique d’un modèle SCADE sur l’environnement de tests client

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

Quelques références projets

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