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