計測誤差があっても安全性を担保できるソフトウェアへの自動変換手法を開発（関連情報）：車載ソフトウェア