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

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

  • 박중용 (아주대학교 대학원 시스템공학과) ;
  • 박영원 (아주대학교 대학원 시스템공학과)
  • Published : 2003.03.01

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.

References

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