Prover Trident

Une suite complète, de processus et d’outils, pour l’automatisation de la conception de postes d’enclenchement

À propos de 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.

PROVER TRIDENT CONSISTE EN

PiSPEC IP

Défini les principes de signalisation

Prover iLock

Permet le développement des applications spécifiques en se basant sur les principes de signalisation.

Prover Certifier

Vérification indépendante des applications spécifiques.

Avantages

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

Vous voulez en savoir plus sur Prover Trident?

Téléchargez notre brochure sur Prover Trident en remplissant le formulaire.

Vous pouvez également nous contacter en appelant ou en envoyant un courrier électronique à:

Téléphone: +33 (0)5 62 27 53 27
E-mail: info-france@prover.com