図１　安全な制御ソフトウェアの例（左）と計測誤差を含む制御システムの課題（右）＝図はＪＳＴ報道資料より

国立情報学研究所（ＮＩＩ、喜連川優所長）の小林努特任研究員、蓮尾一郎准教授らの研究チームは、センサーに計測誤差が生じても、システムが安全に動くように制御ソフトウエアのモデルを自動変換する手法を開発した。ソフト開発で大きな手間となっていた複雑な誤差の設定が不要になるため、安全に動作する体系的な制御システムの設計が容易になり、システムの柔軟性が高まる…