ＮＥレポート〜形式検証をシステム全体へ　精鋭研究者と産業界がタッグ
日経エレクトロニクス　第1150号　2014.12.22

この記事の情報
掲載誌	日経エレクトロニクス　第1150号（2014.12.22）
ページ数	2ページ　（全2607字）
形式	PDFファイル形式　（565kb）
雑誌掲載位置	16〜17ページ目

　組み込みシステムの検証の効率化に向けて、産業界と世界の研究者が動き始めた。システムのモデルが仕様通りかを網羅的に検証する技術「形式検証（モデル検査）」を、コンポーネントレベルだけでなくシステム全体に適用できるようにしようとする動きだ。　車載ソフト開発などを手掛けるデンソーの技術者の発案で、世界の大学や企業から形式手法の研究者を３１人招聘。２０１４年１２月１〜４日の４日間に渡って技術や研究の方向性…