2013年4月16日 (株)日立製作所、日立オートモティブシステムズ(株)
形式手法を用いた自動車制御ソフトウェアの高信頼検査技術を開発
株式会社日立製作所と日立オートモティブシステムズ株式会社はこのたび共同で、自動車制御システムの品質を向上させるための、形式手法を用いた高信頼ソフトウェア検査技術を開発しました。
形式手法は、要求仕様と設計をそれぞれ数学的に記述し、両者の違いを比較することにより、設計が要求仕様を満たすかどうかを厳密に検査する技術です。設計の不具合を高い精度で検査できる一方、検査のための計算が膨大になることから大規模なソフトウェアへの適用が難しいという課題がありました。今回、検査支援ツールを開発することで、これまでに論文等で報告されている形式手法の適用範囲に比べ、約10倍規模となる量産ソフトウェアに適用できることを実証しました。
このニュースは、以下の新聞などに掲載されました。