초록

1. 연구개발의 최종목표 : 철도에 사용되는 컴퓨터 기반 제어기의 소프트웨어 안전성 확보를 위한 안전규제 체계 개발

Abstract ▼

The systems, such as the railway control system, satellite control system and nuclear power plant control system, are the safety-critical systems because the failures of them could lead to risk significant events. Especially, in the railway industry, the frequent accident by the failure of railway s

The systems, such as the railway control system, satellite control system and nuclear power plant control system, are the safety-critical systems because the failures of them could lead to risk significant events. Especially, in the railway industry, the frequent accident by the failure of railway systems can't guarantee the safe operation of the train. It also could cause the serious loss of life and property as well as the huge damage to the public interest. Therefore, it is very important to develop the reliable and safe railway· systems.
The rapid growth of the digital technology has lead to the migration from analog system to digital system in the area of instrumentation and control across the industries from the 1980s because of the increased capability and superior performance. In the railway industry, railway equipments also have begun to be designed and implemented based on digital technology with on-line and realtime performance. Accordingly high speed and high density operation of train became possible.

목차 Contents

• 표지...1
• 제출문...2
• 요약문...3
• Summary...18
• 목차...26
• 표목차...33
• 그림차례...36
• 별책 1. 목차...41
• 별책 2. 목차...42
• CONTENTS...43
• Table List...51
• Figure List...54
• 제1장 서론...60
• 제1절 연구개발과제의 개요...60
• 제2장 국내.외 기술개발 현황...64
• 제1절 국내외 소프트웨어 관련 규격 및 기술동향...65
• 1. 국내 관련 규격...65
• 2. 국외 관련 규격...66
• 3. 기술동향 분석 및 향후 전망...67
• 4. 국내외 철도소프트웨어 관련 안전법규...69
• 제2절 소프트웨어 안전기준 체계 기술개발 현황...76
• 1. 원자력 소프트웨어...76
• 2. 항공우주 소프트웨어...84
• 3. 국방 소프트웨어...89
• 4. 의료기기 소프트웨어...95
• 5. 철도 소프트웨어...98
• 제3절 국내외 RAMS관련 규정...124
• 1. 철도시스템 RAMS 규정...124
• 2. 국내 원자력 법, 영, 규칙에서의 RAMS 관련규정...154
• 3. 프로그래머블 제어설비의 RAMS 확보 기술현황...178
• 4. 시스템 및 소프트웨어 품질인증 체계 현황...223
• 제3장 연구개발수행 내용 및 결과...268
• 제1절 철도시스템의 기능 및 안전성 분석...268
• 1. 기능 아키텍처...270
• 2. 물리 아키텍처...270
• 3. 설계분석 보고서...271
• 제2절 철도 소프트웨어 안전기준에 관한 규칙...392
• 1. 기능 아키텍처...394
• 2. 물리 아키텍처...394
• 3. 설계분석 보고서...394
• 제3절 소프트웨어 안전등급 분류에 관한 지침...424
• 1. 기능 아키텍처...426
• 2. 물리 아키텍처...426
• 3. 설계분석 보고서...427
• 제4절 소프트웨어 품질보증에 관한 지침...436
• 1. 기능 아키텍처...438
• 2. 물리 아키텍처...438
• 3. 설계분석 보고서...438
• 제5절 소프트웨어 형상관리에 관한 지침...468
• 1. 기능 아키텍처...470
• 2. 물리 아키텍처...470
• 3. 설계분석 보고서...470
• 제6절 소프트웨어 계획에 관한 지침...492
• 1. 기능 아키텍처...494
• 2. 물리 아키텍처...494
• 3. 설계분석 보고서...495
• 제7절 소프트웨어 요구사항에 관한 지침...516
• 1. 기능 아키텍처...518
• 2. 물리 아키텍처...518
• 3. 설계분석 보고서...518
• 제8절 소프트웨어 설계에 관한 지침...534
• 1. 기능 아키텍처...536
• 2. 물리 아키텍처...536
• 3. 설계분석 보고서...536
• 제9절 소프트웨어 구현에 관한 지침...554
• 1. 기능 아키텍처...556
• 2. 물리 아키텍처...556
• 3. 설계분석 보고서...556
• 제10절 소프트웨어 유지보수에 관한 지침...568
• 1. 기능 아키텍처...570
• 2. 물리 아키텍처...570
• 3. 설계분석 보고서...570
• 제11절 소프트웨어 확인 및 검증계획에 관한 지침...588
• 1. 기능 아키텍처...590
• 2. 물리 아키텍처...590
• 3. 설계분석 보고서...590
• 제12절 소프트웨어 요구사항의 확인 및 검증에 관한 지침...602
• 1. 기능 아키텍처...604
• 2. 물리 아키텍처...604
• 3. 설계분석 보고서...605
• 제13절 소프트웨어 설계의 확인 및 검증에 관한 지침...620
• 1. 기능 아키텍처...622
• 2. 물리 아키텍처...622
• 3. 설계분석 보고서...622
• 제14절 소프트웨어 구현의 확인 및 검증에 관한 지침...634
• 1. 기능 아키텍처...636
• 2. 물리 아키텍처...636
• 3. 설계분석 보고서...637
• 제15절 소프트웨어 시험의 확인 및 검증에 관한 지침...648
• 1. 기능 아키텍처...650
• 2. 물리 아키텍처...650
• 3. 설계분석 보고서...650
• 제16절 소프트웨어 유지보수의 확인 및 검증에 관한 지침...660
• 1. 기능 아키텍처...662
• 2. 물리 아키텍처...662
• 3. 설계분석 보고서...662
• 제17절 소프트웨어 안전계획 수립에 관한 지침...672
• 1. 기능 아키텍처...674
• 2. 물리 아키텍처...674
• 3. 설계분석 보고서...675
• 제18절 소프트웨어 요구사항 안전성 분석에 관한 지침...692
• 1. 기능 아키텍처...694
• 2. 물리 아키텍처...694
• 3. 설계분석 보고서...694
• 제19절 소프트웨어 설계 안전성 분석에 관한 지침...714
• 1. 기능 아키텍처...716
• 2. 물리 아키텍처...716
• 3. 설계분석 보고서...716
• 제20절 소프트웨어 구현 안전성 분석에 관한 지침...734
• 1. 기능 아키텍처...736
• 2. 물리 아키텍처...736
• 3. 설계분석 보고서...736
• 제21절 소프트웨어 시험 안전성 분석에 관한 지침...752
• 1. 기능 아키텍처...754
• 2. 물리 아키텍처...754
• 3. 설계분석 보고서...754
• 제22절 소프트웨어 단위시험에 관한 지침...766
• 1. 기능 아키텍처...768
• 2. 물리 아키텍처...768
• 3. 설계분석 보고서...768
• 제23절 소프트웨어 통합시험에 관한 지침...790
• 1. 기능 아키텍처...792
• 2. 물리 아키텍처...792
• 3. 설계분석 보고서...792
• 제24절 소프트웨어-하드웨어 통합 시험에 관한 지침...816
• 1. 기능 아키텍처...818
• 2. 물리 아키텍처...818
• 3. 설계분석 보고서...818
• 제25절 시스템 시험에 관한 지침...842
• 1. 기능 아키텍처...844
• 2. 물리 아키텍처...844
• 3. 설계분석 보고서...844
• 제26절 철도안전 소프트웨어 안전규정 관련 DB...866
• 1. 기능 아키텍처...868
• 2. 물리 아키텍처...868
• 3. 설계분석 보고서...868
• 제27절 RAMS 적용 개발자 프로세스...904
• 1. 기능 아키텍처...906
• 2. 물리 아키텍처...906
• 3. 설계분석 보고서...907
• 제28절 RAMS 적용 평가자 프로세스...1112
• 1. 기능 아키텍처...1114
• 2. 물리 아키텍처...1114
• 3. 설계분석 보고서...1115
• 제4장 연구개발목표 달성도 및 관련분야에의 기여도...1218
• 제5장 연구개발결과의 활용계획...1222
• 제6장 연구개발과정에서 수집한 해외과학기술정보...1224
• 제1절 일반 디지털 시스템 소프트웨어 안전기준 분석 및 자료 Database 구축...1224
• 1. 전기.전자학회(1EEE) 소프트웨어 검증기준...1224
• 2. 국제전기표준회의 (IEC) 소프트웨어 검증기준...1234
• 3. 미국 원자력규제위원회 (US Nuclear Regulatory Committee : USNRC) 소프트웨어 규제기준...1240
• 4. 국제표준화기구(ISO) 소프트웨어 기준...1244
• 5. 안전 소프트웨어 테스트 관련 기준 분석...1245
• 제2절 자동차 소프트웨어 안전성 향상 기술...1250
• 1. 자동차 소프트웨어 개발 지침...1250
• 제3절 철도소프트웨어 정형 개발 및 검증 기법 분석...1338
• 1. 일반 시스템에 대한 정형개발 기법 분석...1338
• 2. 일반 시스템에 대한 정형검증 기법 분석...1363
• 3. 철도소프트웨어 개발에 사용된 정형 개발 및 검증 기법 분석...1394
• 4. 해외 철도소프트웨어 개발 프로젝트...1419
• 제4절 소프트웨어 테스팅기법 및 안전성분석 기법...1428
• 1. 일반 시스템에 대한 테스팅 기법 분석...1428
• 2. 철도 소프트웨어에 적용된 주요 테스팅 기법 분석...1434
• 3. 해외 철도소프트웨어 테스팅 프로젝트 개관...1452
• 4. 일반 시스템에 대한 안전성분석 기법 분석...1453
• 제7장 참고문헌...1458
• 부록 A. 용어 및 약어 정의...1462