以下の研究成果が，NII および JST からニュースリリースされました．
情報・システム研究機構 国立情報学研究所（ N I I 、所長：喜連川 優、東京都千代田区）のアーキテクチャ科学研究系特任研究員 小林 努（こばやし・つとむ）、同研究系准教授 蓮尾 一郎（はすお・いちろう）らの研究チームは、科学技術振興機構（ J S T 、理事長：濵口 道成、東京都千代田区）の戦略的創造研究推進事業 ERATO蓮尾メタ数理システムデザインプロジェクト(*1)（ERATO MMSD、研究総括：NII アーキテクチャ科学研究系准教授・蓮尾 一郎）のもと、制御システムのセンサーに計測誤差があっても、安全に動くように制御ソフトウェアのモデルを自動で変換する手法を開発しました。この手法を使うと、ソフトウェアのモデルを自動変換するとともに、出力された制御ソフトウェアが耐えられる誤差の限界を示す数式を得ることができます。本手法は、自動運転をはじめとした外部環境とやり取りする様々な制御システムに対して活用でき、多様な利用環境や計測手段に対応するシステムへの応用が期待されます。
本研究成果は、第 13 回 NASA フォーマルメソッド・シンポジウムで 2021 年 5 月 26 日（水）にオンライン発表されました。
関連メディア記事（日刊工業新聞 電子版）
関連メディア記事（BtoBプラットフォーム 業界チャネル）
関連メディア記事（Jpubb）
関連メディア記事（日本経済新聞電子版）
関連メディア記事（MONOist）