国立情報学研究所は2021年5月26日、自動運転などのセンサーに計測誤差があっても、安全に制御システムが動作するようにソフトウェアを自動変換する手法を開発したと発表した。外部環境とやりとりするさまざまな制御システムに適用可能で、多様な利用環境や計測手段に対応するシステムの安全性向上に貢献する。ドローンや自動運転などの制御システムは、センサーの計測値を元にした適切な動作を必要とする。しかし、センサーの計測値は動作環境によっても誤差が発生するため、全てを考慮しつつ、安全性を数学的に保証したシステムを構築するのには困難を伴う。そこで同研究所は、設計手法を簡素化するために、計測誤差がないことを前提とした制御ソフトウェアを、計測誤差を考慮して安全に動作するよう自動変換する手法を開発した。
計測誤差があっても安全性を担保できるソフトウェアへの自動変換手法を開発（＠IT MONOist）