Design and safety assurance of decentralized interlocking system (安全性)