計測誤差があるセンサーを使っても安全に動くように 制御ソフトウェアを自動で変換する手法を開発 ～「誤差はないものとする」理想上の設計で現実を安全に～ - 国立情報学研究所 / National Institute of Informatics

計測誤差があるセンサーを使っても安全に動くように 制御ソフトウェアを自動で変換する手法を開発 ～「誤差はないものとする」理想上の設計で現実を安全に～ 情報・システム研究機構 国立情報学研究所（NIIエヌアイアイ、所長：喜連川 優、東京都千代田区）のアーキテクチャ科学研究系特任研究員 小林 努（こばやし・つとむ）、同研究系准教授 蓮尾 一郎（はすお・いちろう）らの研究チームは、科学技術振興機構（JSTジェイエスティー、理事長：濵口 道成、東京都千代田区）の戦略的創造研究推進事業 ERATOエラトー蓮尾メタ数理システムデザインプロジェクト（*1）（ERATO MMSD、研究総括：NIIアーキテクチャ科学研究系准教授・蓮尾 一郎）のもと、制御システムのセンサーに計測誤差があっても、安全に動くように制御ソフトウェアのモデルを自動で変換する手法を開発しました。この手法を使うと、ソフトウェアのモデルを