Prover Trident

Prover Trident est une suite complète de processus et d’outils pour l’automatisation de la conception d’enclenchements. En plus des nombreuses application à travers le monde, Prover Trident est le fruit de plus de 10 années de recherche et développement. Contrairement aux autres outils spécifiques, Prover Trident couvre l’ensemble du cycle de vie du logiciel des enclenchements.

Sur la base des principes de signalisation définis sous la forme d’exigences formelles (PiSPEC IP), des applications spécifiques sont configurées, générées et vérifiées à l’aide de la suite d’outils Prover iLock. La certification de la sécurité pour le logiciel mis en service est basée sur une preuve mathématique, générée à l’aide de l’outil de vérification, indépendant, Prover Certifier.

La génération et la vérification automatiques d’applications basées sur des principes permettent:

• La réduction du temps de mise sur le marché
• La réduction du nombre d’erreur dans les systèmes
• La réduction des efforts d’ingénierie
• De produire des systèmes cohérents et interopérables
• Une gestion efficace du changement des exigences / principes