Prover Technology au service de la digitalisation du ferroviaire

Prover Technology au service de la digitalisation du ferroviaire

Le secteur ferroviaire mondial est en pleine croissance! Son marché est estimé à 113 Mds € pour 2017-2020, avec une croissance annuelle de +1,5 %. La France résiste bien et se positionne comme la 3e puissance mondiale du ferroviaire derrière l’Allemagne et la Chine. Le marché intérieur français est en progression à 8,2 Mds € en 2015-2017.

La France bénéficie d’une notoriété importante dans le monde grâce à ses acteurs industriels majeurs, son expertise, et ses innovations technologiques.

Le marché français, avec de grands projets à court, moyen terme tels que l’extension de nouvelles lignes, et l’installation de LGV (Ligne Grande Vitesse), se porte bien. En particulier l’Ile de France est très dynamique avec divers travaux de prolongement et d’automatisation sur les lignes de métro 4, 6, 11 et 14, la ligne du RER A, et le projet du « Grand Paris ».

Un des principaux défis des opérateurs et gestionnaires d’infrastructures est de pouvoir gérer le niveau croissant de complexité des systèmes de signalisation. La sécurité est un des enjeux majeurs avec en plus des besoins d’accroissement de capacité, de mise en exploitation rapide et avec des coûts d’opérations et de maintenance réduits.

Chez Prover Technology nous avons la conviction que la digitalisation du ferroviaire est une étape fondamentale dans le développement des nouveaux systèmes de signalisation.

Prover Trident est un nouveau concept moderne de développement de systèmes de signalisation. Il est basé sur un ensemble générique de spécifications formelles et d’outils logiciels permettant l’automatisation de la conception. Il inclue la génération de code, le test fonctionnel, la simulation et la vérification formelle de propriétés de sécurité. Il permet d’optimiser les coûts, réduire la maintenance et minimise les risques de retard sur l’ensemble du cycle de vie du projet.

Prover Certifier est le seul outil de vérification formelle sur le marché qui vous permet d’obtenir automatiquement des preuves de sécurité complètes pour la certification CENELEC EN50128 SIL 4.

  • Analyse statique de code
  • Preuve de propriétés – certification
  • Preuve de propriétés définies par l’utilisateur avec outils d’analyse de contre-exemples
  • Conforme à la norme EN 50128:2011, outil de classe T2 pour systèmes SIL4
  • Langages : C , Ada , SCADE (v5, v6)
By | 2017-11-20T16:00:56+00:00 November 16th, 2017|Software Development|

By continuing to use the site, you agree to the use of cookies. More information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this. To find out more, visit https://www.prover.com/privacy-cookie-policy/

Close