Synopsys investit dans prover technology

MOUNTAIN VIEW, La Californie et STOCKHOLM, Suède, May 6 /PRNewswire/ --

- L'investissement met en valeur une croissance mondiale du secteur de la technologie de signalisation, commande et contrôle ferroviaire

Synopsys, Inc. (Nasdaq : SNPS), un leader mondial de logiciels et de propriété intellectuelle pour la conception et la fabrication de semi-conducteurs, et Prover Technology AB ont annoncé aujourd'hui que Synopsys a investit dans Prover, qui fournit des solutions d'automatisation pour la conception de dispositifs de signalisation pour la construction des systèmes de sécurité essentiels 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 moderne 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 l'exigent de leurs fournisseurs. En effet, la vérification formelle améliore la sécurité et la qualité et permet d'obtenir des processus plus efficaces pour des tests de sécurité qui sont autrement longs et coûteux. Cette solution s'est avérée efficace pour l'opérateur du métro de Paris, l'un des réseaux les plus complexes au monde.

<< La RATP (Régie Autonome des Transports Parisiens) et Prover travaillent en étroite collaboration depuis 2004, >> a déclaré Pierre Chartier, directeur de la sécurité à la RATP. << Cette collaboration s'est concentrée sur la vérification formelle des systèmes de contrôle des trains CBTC (communication-based train control) et d'enclenchement. En utilisant des techniques formelles, nous espérons ainsi réduire les coûts tout en maintenant les plus hauts niveaux de qualité. L'expérience de Prover dans ce domaine en a fait un partenaire précieux. >>

<< La croissance de l'automatisation de la signalisation dans les systèmes ferroviaires joue un rôle primordial dans l'amélioration de la sécurité, du débit des trains et dans la réduction des coûts >> a expliqué Randy Tinsley, vice-président, Stratégie et développement d'entreprise chez Synopsys. << Notre investissement dans Prover permet à Synopsys de promouvoir l'application de technologies traditionnellement utilisées pour la conception de circuits intégrés dans différentes industries. >>

Grâce à une large base de clients, la solution technologique de Prover est bien positionnée pour devenir la norme de référence pour la spécification et la conception automatisée de systèmes d'enclenchement. Dans un contexte où les systèmes de transport écologiques sont au centre de toutes les attentions, l'industrie ferroviaire devrait continuer à se développer de façon significative au cours des prochaines années. La relation qu'elle entretient avec Synopsys permettra à Prover de tirer profit de ces opportunités de croissance.

<< Grâce à Synopsys, nous sommes en mesure de capitaliser sur des opportunités qui étaient auparavant hors de notre portée, et d'entreprendre des projets d'ingénierie de plus grande envergure et davantage complexes, >> a déclaré Gunnar Stalmarck, PDG de Prover Technology. << Il existe un important alignement technologique avec les deux entreprises qui fournit les outils nécessaires à la fabrication de systèmes de plus en plus complexes dans leurs domaines respectifs, et toutes deux sont considérées comme des entreprises innovantes et leaders de l'industrie. >>

À propos de Synopsys

Synopsys, Inc. est un leader mondial des logiciels de CAO électronique pour la conception de semi-conducteurs. L'entreprise fournit des plates-formes de vérification et de conception de semi-conducteurs de pointe ainsi que des logiciels de fabrication de CI au marché électronique mondial, permettant le développement et la production de systèmes sur puces complexes (SoC). Synopsys offre également des services de conception et de propriété intellectuelle visant à simplifier le processus de conception et accélérer les délais de commercialisation pour ses clients. Le siège social de Synopsys se trouve à Mountain View en Californie et l'entreprise possède plus de 60 bureaux disséminés en Amérique du nord, en Europe, au Japon et en Asie. Rendez-vous sur le site Internet de Synopsys sur http://www.synopsys.com.

À propos de Prover Technology

Prover Technology offre des logiciels et des services pour le développement de systèmes de signalisation et de contrôle. L'entreprise est une entreprise privée qui a été fondée en 1989. Son siège social se trouve à Stockholm, Suède et l'entreprise possède des filiales en propriété exclusive en France et aux États-Unis. La base de clients de Prover Technology comprend Airbus, Ansaldo, Bombardier, New York City Transit, RATP (métro de Paris), Swedish National Rail, Thales, entre autres. Pour plus d'informations et pour connaître les coordonnées des différents bureaux, consultez le site Internet de Prover Technology sur http://www.prover.com.

Synopsys est une marque de commerce déposée de Synopsys, Inc. Toutes les autres marques de commerce mentionnées dans ce communiqué appartiennent à leurs détenteurs respectifs.

Contacts : Marcus Tallhamn Prover Technology +1-650-722-2750 marcus@prover.com Yvette Huygen Synopsys, Inc. +1-650-584-4547 yvetteh@synopsys.com

Site Web : http://www.synopsys.com