Kyosan Electric Mfg.Co. Ltd Yokohama 230-0031 Japan;
Graduate School of Frontier Science The University of Tokyo Chiba 277-8561 Japan;
Railway signaling; interlocking system; safety assessment; train control system; CBTC; UTCS; FMEA(fault tree analysis); STAMP/STPA;