Reliability Verification of Computer Based Control and Diagnosis Algorithm

From December of 1996, KERI is participating a project whose goal is to develop the Korean High Speed Train(KHST) with maximum speed of 350kph. KERI's responsibility is the electrical system engineering that includes engineering design of an on-board computer system for diagnosis and control of train set and electrical/mechanical devices. A system engineering approach of the design is performed in order to guarantee safety and reliability. This paper presents the simulation of on-board computer system's control and diagnosis algorithm using CASE tool. The simulation is focused on reliability verification of control and diagnosis algorithm for KHST prototype trainset's on-board computer system.