国立情報学研究所（ＮＩＩ、喜連川優所長）の小林努特任研究員、蓮尾一郎准教授らの研究チームは、センサーに計測誤差が生じても、システムが安全に動くように制御ソフトウエアのモデルを自動変換する手法を開発した。ソフト開発で大きな手間となっていた複...
ここからは有料記事になります。ログインしてご覧ください。
