Journal of the Korean Society for Railway (한국철도학회논문집)

The Korean Society for Railway (한국철도학회)
권호 표지

Integration of Systems Engineering and System Safety Analysis for Developing CBTC System

CBTC 시스템 개발을 위한 시스템엔지니어링과 안전성 분석의 통합

  • 박중용 (아주대학교 대학원 시스템공학과) ;
  • 박영원 (아주대학교 대학원 시스템공학과)
  • Published : 2003.03.01
Download PDF
⟨ Previous Next ⟩

Abstract

This article proposes an integrated systems engineering and safety analysis model for safety-critical systems development. A methodology in system design for safety is considered during the early phase of the development life cycle of systems engineering process. The evolution of the design automation technology has enabled engineers to perform the model-based systems engineering. A Computer-Aided Systems Engineering(CASE) tool, CORE, is utilized to integrate the systems engineering model with a system safety analysis model. The results of the functional analysis phase can drive the analysis of the system safety. An example of Communications-Based Train Control(CBTC) system for an Automated Guided Transit(AGT) system demonstrated an application of the integrated model.

Keywords

References

  1. N. G. Leveson, 'Safeware : System Safety and Computers', Addison-Wesley Publishing Company, Inc., Boston, 1995
  2. N. Storey, 'Safety-Critical Computer Systems', Addison-Wesley Publishing Company, Inc., Harlow, 1996
  3. D. M. Buede, 'The Engineering Design of Systems', John Wiley & Sons, Inc., New York, 2000
  4. 박중용, 박영원, '모델기반 시스템공학을 응용한 대형복한기술 시스템 개발', 제어.사동화.시스템공학 논문지,제7 권, 제 8 호, pp. 689-696, 2001
  5. 유일상, 박영원, '차세대 고속전펀 시스템 엔지니어링 체계 모델 개발, 한국철도학회지, 제 4 권, 제 4 호, PP. 147-154, 2001
  6. 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
  7. 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
  8. 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
  9. DOD, 'MIL-STD-882D: Standard Practice for System Safety', Department of Defense, United States of America, 2000
  10. Ministry of Defence, 'Defence standard 00-58 : HAZOP Studies on Systems Containing Programmable Electronics', Ministry of Defence, Great Britain, 2000
  11. 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
  12. 한국철도기술연구원, '경량전철시스템 기술개발사업 3차년도 연구결과보고서 (분야: 신호제어시스템기술개발)', 건설교통부, 2001