計測誤差があっても安全性を担保できるソフトウェアへの自動変換手法を開発

国立情報学研究所は、自動運転などのセンサーに計測誤差があっても、安全に制御システムが動作するようにソフトウェアを自動変換する手法を開発した。制御ソフトウェアが耐えられる誤差の限界も数式として出力する。