This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Reliability Verification of Computer Based Control and Diagnosis Algorithm
Technical Paper
2001-01-3322
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
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.
Authors
- J-H Lee - High-Speed Railways T.F.T., KERI (Korea Electrotechnology Research Institute)
- J-W Jeon - High-Speed Railways T.F.T., KERI (Korea Electrotechnology Research Institute)
- P-G Jeong - High-Speed Railways T.F.T., KERI (Korea Electrotechnology Research Institute)
- D-Y Park - High-Speed Railways T.F.T., KERI (Korea Electrotechnology Research Institute)
- Y-J Kim - High-Speed Railways T.F.T., KERI (Korea Electrotechnology Research Institute)
Topic
Citation
Lee, J., Jeon, J., Jeong, P., Park, D. et al., "Reliability Verification of Computer Based Control and Diagnosis Algorithm," SAE Technical Paper 2001-01-3322, 2001, https://doi.org/10.4271/2001-01-3322.Also In
References
- Ryoo H-J Kim J-S Woo M-H Kim W-H Rim G-H “A propulsion simulator of a high-speed railway train” 1 5 Sep. 1999
- Jeon J-W Lee J-H Lee J-D Park D-Y Kim Y-J “Reliability verification of train control algorithm for Korean high-speed train” Computers in Railways VII 1117 1126 WIT Press 2000
- Leblanc P. “The ObjectGEODE engineering process, Verilog white paper” Feb. 1998
- Belina F. Hogrefe D. Sarma A. “SDL with applications from protocol specification” Prentice Hall 1991
- ITU-T Recommendation Z.100 Specification and Description Language (SDL) http://www.itu.ch Electronic Bookshop Geneva 1996
- Braek R. “SDL Basics” Computer Networks and ISDN Systems 28 1585 1602 1996
- Cavalli A. R. Choi B. M. Kilnam C. “Testing methods for SDL systems” Computer Networks and ISDN Systems 28 1669 1683 1996
- Rudolph E. Grabowski J. Graubmann P. “Tutorial on Message Sequence Charts (MSC'96)” Tutorial of the FORTE/PSTV'96 conference Kaiserslautern, Germany Oct. 1996
- ITU-T Recommendation Z.120 Message Sequence Chart (MSC) http://www.itu.ch Electronic Bookshop Geneva 1996
- Hanene B. A. Leue S. “Architecture of requirements and design tool based on Message Sequence Charts” Technical Report 96-13 Oct. 1996
- IEC “IEC-61375-1: Electric Railway Equipment Train Bus” 1st 1999
- UIC “UIC Leaflet 556: Information Transmission in the Train (Train Bus)” 2nd 1999
- Cho C-H Lee J-D Lee J-H Kim K-H Kim Y-J “Design of TCN based Train Control System for the Korean High Speed Train” 7 11 Oct. 2000
- Lee J-H Lee J-D Jeon J-W Park D-Y Cho C-H Kim K-H Kim Y-J “Design of on-board computer system for Korean High Speed Train” Computers in railways VII 933 941 WIT Press 2000
- Cho C-H Lee J-D Lee J-H Kim K-H Kim Y-J “Design of the train network simulator based on train communication network” 343 347 Jun. 2001