ページの本文へ

Hitachi

日立製作所 研究開発グループは以下のニュースリリースを発行しました。

ニュースリリース概要

発行日

2013年2月12日

タイトル

社会インフラシステム向けの高信頼で高効率なソフトウェア開発技術を公開

リリース文抜粋

株式会社日立製作所(以下、日立)は、スイス連邦工科大学チューリッヒ校、およびHitachi India Pvt. Ltd.と共同で、社会インフラシスシステム向けの大規模なソフトウェアに適用可能な、高い信頼性と効率を実現する形式検証支援ソフトウェアを開発しました。開発したソフトウェアには、高品質なソフトウェアを論理学や数学などに基づいて開発するために利用される「形式手法」という技法で作成されたモデルを、再利用できる技術を用いています。日立では、このソフトウェアを用いて開発を行った場合、形式モデルの開発工数を約8割削減できることを確認しています。日立は、実適用に向けて本技術の改良を進めるために、2013年2月12日から本ソフトウェアをオープンソースとして公開します。

掲載先

このニュースは、以下の新聞などに掲載されました。

  • 日刊工業新聞 (2013年2月13日 21面)
  • 電気新聞 (2013年2月13日 4面)