ページの本文へ

Hitachi

日立製作所 研究開発グループは、日立オートモティブシステムズと共同で以下のニュースリリースを発行しました。

ニュースリリース概要

発行日、発行元

2013年4月16日 (株)日立製作所、日立オートモティブシステムズ(株)

タイトル

形式手法を用いた自動車制御ソフトウェアの高信頼検査技術を開発

リリース文抜粋

株式会社日立製作所と日立オートモティブシステムズ株式会社はこのたび共同で、自動車制御システムの品質を向上させるための、形式手法を用いた高信頼ソフトウェア検査技術を開発しました。

形式手法は、要求仕様と設計をそれぞれ数学的に記述し、両者の違いを比較することにより、設計が要求仕様を満たすかどうかを厳密に検査する技術です。設計の不具合を高い精度で検査できる一方、検査のための計算が膨大になることから大規模なソフトウェアへの適用が難しいという課題がありました。今回、検査支援ツールを開発することで、これまでに論文等で報告されている形式手法の適用範囲に比べ、約10倍規模となる量産ソフトウェアに適用できることを実証しました。

検査モデル作成手法の比較

掲載先

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

  • 日刊工業新聞 (2013年4月16日)