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 to build a solid safety case for rail control systems using formal verification
Fill out your information here.
More News & Articles
Prover, RATP and Systerel publish the unified HLL 4.0 specification, keeping the rail industry's formal verification language open and free of dialects.
Generative AI has entered railway software engineering ahead of the standards governing it. A new CENELEC draft amendment to EN 50716 doesn't add requirements. It clarifies which existing rules apply when AI drafts specs, writes code, or generates test cases, and why those rules are harder to satisfy with generative models than teams might assume.
Prover, together with NEAT, Schneider Electric, and Pilz will demo real railway interoperability at InnoTrans: three vendor platforms, one interlocking design, live at Prover's booth.
