<

publicité

br> Le spécialiste américain de la CAO électronique Synopsys a investit dans Prover Technology, une entreprise suédoise qui fournit des solutions d'automatisation pour la conception de dispositifs de signalisation pour la construction des systèmes de sécurité qui contrôlent les trains, les aiguillages et les signaux ; les fonds permettront à Prover d'accélérer ses efforts de recherche et développement et d'étendre ses opérations en Europe, en Amérique du nord et en Asie.

L'un des principaux éléments d'un processus d'ingénierie ferroviaire est l'automatisation de la conception des dispositifs de signalisation, qui utilise la vérification formelle, une méthode d'analyse de la sécurité qui s'appuie sur un calcul mathématique. La vérification formelle est fortement recommandée pour les normes de sécurité, comme celles définies par le CENELEC (Comité Européen de Normalisation Electrotechnique), et plusieurs grands opérateurs, comme la RATP, l'exigent de leurs fournisseurs.