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)
Share this article
Learn more about how to develop specifications with Digital Twins
Fill out your information here.
More News & Articles
Prover PSL, the leading model checker used for formal verification in the rail and metro signaling domain, is now even faster.
Prover and RATP Strengthen Collaboration: Advancing Passenger Safety with Formal Methods.
Prover Certifier has now been certified by TÜV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.