ニュースリリース - 2008年5月12日

シノプシス、Prover Technologyへ資本参加

鉄道システムの制御技術、指令技術、信号技術の世界的発展を目指して

2008年5月6日、米国（カリフォルニア州マウンテンビュー）/スウェーデン（ストックホルム）発 - 半導体の設計・製造ツールならびにIPの世界的リーダーであるシノプシス（Synopsys, Inc.、Nasdaq上場コード:SNPS）とProver Technology ABは本日、シノプシスがProverに資本参加したことを発表した。Proverは、電車やポイント、信号機の制御を行い、安全性を左右する重要なシステムの開発で使用される信号設計自動化ソリューションを提供する企業である。Proverでは、今回の増資を活用し、研究開発を推進するとともに欧州、北米、アジアにおける業務の拡大を行う。

鉄道関連のシステム開発では現在、信号設計自動化が重要課題となっている。 信号設計自動化では、数学的証明によって安全性解析を行う形式検証（フォーマル検証）を活用するが、このフォーマル検証は、CENELEC（欧州電気技術規格調整委員会/European Committee for Electrotechnical Standardization）などの安全規格団体が採用を強く推奨しており、多くの大手鉄道会社も信号設計自動化ソリューション・プロバイダーに対して強く求めている。その理由は、形式検証を採用すれば安全性と品質が向上し、また費用と時間がかかる他の安全性試験に比べて効率が良いためである。その有効性は、複雑な鉄道網を持つことで世界的に有名なパリのメトロでも実証されている。

RATP（パリ交通営団/Regie Autonome des Transports Parisiens） の安全性担当ディレクター、Pierre Chartier氏は次のように述べている。「パリ交通営団とProverは、2004年から緊密な協力関係にあり、連動システムとCBTC（無線式列車制御）システムのフォーマル検証を中心に作業を進めてきました。フォーマル検証手法を使えば、品質を最高レベルに保ったままコスト削減が可能です。Proverは、この分野において豊富な経験を有しており、素晴らしいパートナーです」

シノプシスの戦略企画担当副社長 Randy Tinsleyは、次のように述べている。「鉄道システムにおける信号設計自動化が普及すれば、格段に鉄道の安全性が高まるとともに、鉄道システムの処理能力向上とコスト削減を効率的に進められるようになります。今回Prover社への資本参加をシノプシスが決めたことにより、今後は、半導体の設計に用いられていたフォーマル検証技術を他の業界でも応用できるようになります」

Proverの技術ソリューションは、幅広い顧客に利用されており、連動システムの仕様策定や開発自動化手法の業界標準に発展する十分な可能性を持っている。最近は、ますます環境に優しい輸送システムに注目が集まっていることからも、鉄道産業は今後大きく発展するものと思われる。Proverは、今後、シノプシスとの関係を通じてこの成長のチャンスを活用できることになる。

Prover TechnologyのCEO、Gunnar Stalmarckは、次のように述べている。「シノプシス社との関係ができたということは、今まで手が届かなかったチャンスを活用できること、また従来よりも大規模で複雑な開発プロジェクトを推進できることを意味します。両社は、それぞれの業界のリーディング･カンパニーとして、また技術革新の担い手として有名であり、それぞれの分野において複雑化するシステムの開発に必要なツールを提供しています。両社の技術は、非常に高い整合性を発揮するのです」