自律鉄道システムの安全性分析：SACRED方法論の紹介

自律鉄道システムの安全性を確保するためのSACRED方法論の導入