Pour sa prochaine génération de systèmes de contrôle ferroviaire à haute disponibilité, Siemens a choisi les outils de développement et de tests d'AdaCore. Il s'agit du compilateur GNAT Pro (compilateur pour langage Ada) ainsi que de l'outil d'analyse statique CodePeer. Un accord a été conclu de telle sorte que les ingénieurs de la division Mobilité de Siemens Suisse bénéficient d'un accès direct permanent avec les équipes d'AdaCore pour les aider dans leurs développements. « La sécurité est la principale priorité de l'activité ferroviaire, et grâce à l'utilisation conjointe de GNAT Pro et CodePeer nous sommes en mesure de détecter davantage de problèmes au plus tôt dans le cycle de développement », déclare Daniel Bigelow, développeur logiciel chez Siemens.
- 6 juillet 2011 -