References
- N. G. Leveson, 'Safeware : System Safety and Computers', Addison-Wesley Publishing Company, Inc., Boston, 1995
- N. Storey, 'Safety-Critical Computer Systems', Addison-Wesley Publishing Company, Inc., Harlow, 1996
- D. M. Buede, 'The Engineering Design of Systems', John Wiley & Sons, Inc., New York, 2000
- 박중용, 박영원, '모델기반 시스템공학을 응용한 대형복한기술 시스템 개발', 제어.사동화.시스템공학 논문지,제7 권, 제 8 호, pp. 689-696, 2001
- 유일상, 박영원, '차세대 고속전펀 시스템 엔지니어링 체계 모델 개발, 한국철도학회지, 제 4 권, 제 4 호, PP. 147-154, 2001
- Y. Papadopoulos, J. McDermid, R. Sasse and G. Heiner, 'Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure', Reliability Eneineerine and System Safety, vol. 71, issue. 3, pp. 229-247, 2001 https://doi.org/10.1016/S0951-8320(00)00076-4
- N. Robinson, P. Kearney and D. Tombs, 'Automatic Generation and Verification of Design Specifications for Railway Signalling Applications', Proc. of the 11th Annual INCOSE Symposium, 2001
- P. Johannessen, C. Grante, A. Almineer, U. Eklund and J. Torin, 'Hazard Analysis in Object Oriented Design of Dependable Systems', Proc. of The International Conference on Dependable Systems and Networks, pp. 507-512, 2001
- DOD, 'MIL-STD-882D: Standard Practice for System Safety', Department of Defense, United States of America, 2000
- Ministry of Defence, 'Defence standard 00-58 : HAZOP Studies on Systems Containing Programmable Electronics', Ministry of Defence, Great Britain, 2000
- IEEE, 'IEEE P1474.1/D8.0 Draft Standard for Communications-Based Train Control (CBTC) Performance and functional Requirements', Institute of Electrical and Electronics Engineers, Inc., New York, 1999
- 한국철도기술연구원, '경량전철시스템 기술개발사업 3차년도 연구결과보고서 (분야: 신호제어시스템기술개발)', 건설교통부, 2001