| 1 |
KS R 9197, 1996, 철도차량의 절연저항 및 내전압 시험방법, Korean Standards Association/
|
|
| 2 |
D. Schwabe, 'Formal Techniques for the Specification and Verification of Protocols', Report No. CSD-810401, UCLA, (PhD Thesis), April 1981/
|
|
| 3 |
RGS GE/RT8012 (1999), 'Controlling the Speed of Tilting Trains Through Curves,' Technical report prepared by Ray Metcalfe and authorised by Brian Alston Ltd. for Railtrack PLC/
|
|
| 4 |
Japanese Industrial Standard (JIS) E 7105, Test Methods for Static Load of Body Structures of Railway Rolling Stock, 1994/
|
|
| 5 |
'IEC 62280-1 : Safety-related communication in closed transmission systems', 2002/
|
|
| 6 |
'IEC 62280-2 : Safety-related communication in open transmission systems', 2002/
|
|
| 7 |
IEC 62278 (2002), 'Railway applications - Specification and demonstration of reliability, availability, maintainability and safety (RAMS)', pp.19-64/
|
|
| 8 |
IEC 62279 (2002), 'Railway applications - Communications, signalling and processing systems - Software for railway control and protection systems', pp.102-121/
|
|
| 9 |
IEC 61558-1, 2005, Safety of power transformers, power supplies, reactors, and similar products, International Electro-technical Commission/
|
|
| 10 |
IEC 61508 (1998), 'Functional Safety of electrical/electronic/ programmable electronic safety-related systems, Part1: General requirements',pp.65/
|
|