STOCKHOLM, September 12, 2013 /PRNewswire/ --

L'environnement en ligne en mode On-Demand permet d'augmenter l'efficacité de l'utilisation de la vérification formelle pour les systèmes de contrôle ferroviaire.

Prover Technology, leader mondial de solution logicielle pour le développement automatisé de système de signalisation et control ferroviaire, a annoncé aujourd'hui le lancement de Prover Online, un environnement en ligne en mode On-Demand permettant l'accès aux chaînes d'outils de développement et vérification formelle.

Depuis de nombreuses années, Prover Technology fournit des outils à la pointe de la technologie basés sur les méthodes formelles permettant le développement et la vérification de système de signalisation et de control ferroviaire. La société aide ses clients à spécifier des exigences de sécurité génériques et leur fournit des chaînes d'outils intégrées qui automatisent la vérification des différents systèmes critiques. Prover Technology est maintenant en mesure de proposer Prover Online, un environnement encore plus accessible et polyvalent, hébergé sur des serveurs à hautes performances. L'utilisation de Prover Online facilite la standardisation et la mise en œuvre de la vérification formelle des systèmes au sein de différente équipe technique. Le travail devient également plus productif et les coûts d'assistance informatique diminuent.

Dans un premier temps, Prover Online sera distribué selon le même modèle de licence à durée déterminée (Time Based License) que celle des produits logiciels Prover Extractor, pour le développement de systèmes à base de relais, et Prover Certifier, pour la vérification formelle de systèmes critiques respectant les normes de certification.

À propos de Prover Technology

Depuis les années 1990, Prover Technology est un pionnier de l'application des méthodes formelles dans le domaine du contrôle ferroviaire. La société propose aujourd'hui des solutions logicielles complètes pour le développement et la vérification de systèmes de contrôle ferroviaire.

Basée à Stockholm, Prover Technology est une société privée Suédoise qui compte des filiales en France et aux États-Unis. Pour tout complément d'information sur Prover Technology, veuillez consulter le site Internet de la société à l'adresse : http://www.prover.com/.

Prover est une marque déposée de Prover Technology AB. Les autres marques de commerce mentionnées dans le présent communiqué sont la propriété de Prover Technology AB.

Contacts éditoriaux :

ContactProver Technology+4686176800info@prover.com

SOURCE Prover Technology