Systerel participe à TRANSRAIL Connection 2015.
Rencontres d’affaires internationales du secteur ferroviaire.
14 & 15 octobre 2015 – Stade de France (St Denis)
Nous serons heureux de vous accueillir sur notre stand (n°99).
Vous y découvrirez nos solutions :
OVADO® : validation formelle automatisée de données de configuration.
Systerel Smart Solver : vérification formelle de systèmes ou logiciels développés en SCADE, C ou Ada.
Systerel IXL Builder : conception d’automatismes formellement prouvée et génération automatique du code cible.
Systerel Data Analyzer : analyse et diagnostic du comportement de systèmes communicants.
Ces solutions s’inscrivent au cœur de notre savoir-faire dans le domaine du transport ferroviaire (trains, métros, tramways) :
Les équipements « Sol » de signalisation, d’enclenchements ou de contrôle-commande.
Les équipements « Bord » embarqués dans les motrices et remorques.
Les équipements « Mise au point, Test et Maintenance » utilisés en phases d’étude, d’intégration ou exploitation des systèmes.