NECが組み込みソフトウエア向け形式検証ツールを開発

NECは，北陸先端科学技術大学院大学 教授の片山卓也氏のグループらと共同で，組み込みソフトウエアの設計品質を検証する形式検証ツールを開発した。UMLで記述したソフトウエアの設計仕様を数式やパラメータに置き換え，正しく動作するかどうかを理論的に検証できる。設計工程におけるバグを最大で6割～7割，検出できるという。オープンソースの開発ツール「Eclipse」のプラグインとして動作する。