Systerel a participé au salon InnoTrans à Berlin du 20 au 23 septembre.

Spécialiste des métiers du logiciel critique et de la sûreté de fonctionnement dans le domaine ferroviaire, Systerel présentera ses expertises et son offre de produits :

  • Systerel Smart Solver : vérification formelle non-intrusive de systèmes ou logiciels développés en SCADE, C ou Ada
  • Systerel IXL Builder : conception automatisée et prouvée formellement d’automatismes de poste d’enclenchement
  • Systerel Data Analyzer : analyse interactive et diagnostic de comportements système à partir de traces ATC/ATS
  • OVADO2™ : validation formelle automatique de données de configuration

 

Innotrans

 

 

InnoTrans est le rendez-vous incontournable dédié aux transports ferroviaires et urbains. Cet événement international associant salon professionnel et convention regroupe plus de 2 500 exposants en provenance de 55 pays et près de 135 000 visiteurs internationaux.

En savoir plus sur Innotrans En savoir plus sur les solutions Systerel