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