日立製作所と日立オートモティブシステムズは、自動車制御システムの品質を向上させることを目的に、形式手法を用いたソフトウェア検査技術を共同で新規開発したと発表した。形式手法は検証の精度が高い半面、処理時間が長いという課題があった。今回、検証範囲の絞り込みなどによって処理時間を削減し、従来技術の10倍の規模のソフトウエアに形式検証が適用できるようにした。

この記事は会員登録で続きをご覧いただけます

日経クロステック登録会員になると…

・新着が分かるメールマガジンが届く
・キーワード登録、連載フォローが便利

さらに、有料会員に申し込むとすべての記事が読み放題に！
春割キャンペーン実施中！
＞＞詳しくは


日経クロステックからのお薦め

春割キャンペーン実施中！
日経BP総研の問い合わせフォーム

企業価値を高めたいとお悩みなら

日経BP 総合研究所がお話を承ります。ESG／SDGs対応から調査、情報開示まで、お気軽にお問い合わせください。

ブランド強化、認知度向上、エンゲージメント強化、社内啓蒙、新規事業創出…。各種の戦略・施策立案をご支援します。詳細は下のリンクから。

日経BP総研の問い合わせフォームへ行く