Prover est un pionnier de la vérification formelle de système critique embarqué, du développement d’atelier métier de CAO (Conception Assistée par Ordinateur) pour le marché du ferroviaire avec une expertise de traduction des différents langages logiciels.

Pour soutenir notre développement en France et dans les pays Francophones, nous avons le plaisir d’annoncer que notre site web à maintenant sa version Fransaise !
Venez découvrir nos différents outils de conception et de vérification formelle à www.prover.com/fr/

Inlägget Ingénierie d’un monde plus sûr dök först upp på Prover - Engineering a Safer World.

Come to see us on our booth 3/203 and discover our market leading solutions for Formal Verification (Model Checker) and Signaling Design Automation.

We will present Prover Certifier, the first SIL-4 certified sign-off verification tool on the market that allows you to automatically produce complete safety evidence for CENELEC EN50128 SIL 4 certification using Formal Verification.

Get to know Prover Trident – a proven Signaling Design Automation Solution for train control software.

Learn about two innovative languages enabling efficient Formal Verification and design Automation. The proven de-facto standard HLL and our new innovation LCF that radically improves efficiency of Formal Verification.

We look forward to meet at the SIFER Rail event!

Inlägget SIFER Rail – March 26-28 dök först upp på Prover - Engineering a Safer World.

The annual SmartMetro conference has always been an exciting opportunity for Prover. It is a chance to learn, discuss and reconnect with the key operators and suppliers during the presentations, workshops and roundtables.

We primarily focused on presenting Prover’s premiere product: The prover Trident process is the complete package for interlocking design automation. This tool suite provides formal methods for defining signaling principles (PiSPEC IP), development of specific systems based on its signaling principles and needs (Prover iLock), and sign-off verification of specific systems (Prover Certifier). Within this suite, simulation as well as testing documentation and code generation is of course also included.

We are already looking forward to getting the chance to attend the next SmartMetro conference again in another great European city.

Inlägget A look back at the SmartMetro conference in Paris dök först upp på Prover - Engineering a Safer World.

France enjoys a significant reputation in the world thanks to its major industrial players, its expertise, and its technological innovations.

The French market, with large short- and medium-term projects such as the extension of new lines, and the installation of LGV (High Speed ​​Line), is doing well. In particular, the « Ile de France » (Paris & the suburbs) is very dynamic with various
extensions and automation on metro lines 4, 6, 11 and 14, the RER A line, and the “Grand Paris” project.

One of the main challenges for infrastructure managers is to be able to manage the increasing level of complexity of signaling systems. Security is one of the major challenge, in addition to the need for increased capacity, accelerate the commissioning and reduced operation and maintenance costs.

At Prover Technology, we believe that railway digitization is a fundamental step in the development of new signaling systems. You can read more about it in our White Paper – Interlocking Design Automation (IDeA)

Inlägget The French rail sector is growing dök först upp på Prover - Engineering a Safer World.

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)

Inlägget Prover Technology au service de la digitalisation du ferroviaire dök först upp på Prover - Engineering a Safer World.