DO-178C 기반 항공소프트웨어개발 개론

1. 항공SW 개요 1
1.1. 배경 및 필요성 1
1.2. 목적 및 적용 범위 2
1.3. 항공 법 체계 3
1.4. 항공 소프트웨어 개발 체계 4
2. 항공 소프트웨어 개발 가이드 10
2.1. 항공 소프트웨어 개발 개요 10
2. 시스템과 소프트웨어 수명주기 13
2.1 시스템 요구사항 개요 13
2.2. 소프트웨어에 대한 시스템 요구사항 할당 15
2.3. 시스템 및 소프트웨어 수명주기 프로세스 간 정보 흐름 17
2.4. 시스템 안전평가 프로세스 및 소프트웨어 Level 20
2.5. 아키텍처 고려사항 25
2.6. 시스템 수명주기 프로세스의 소프트웨어 고려사항 28
2.7. 소프트웨어 수명주기 프로세스에 대한 시스템 고려사항 33
2.8. 항공 소프트웨어 개발 수명주기 33
3. 소프트웨어 계획 프로세스 38
3.1소프트웨어 계획 목표 38
3.2 소프트웨어 계획 프로세스 활동 38
3.3 소프트웨어 계획 40
3.4 소프트웨어 수명주기 환경 계획 41
3.5 소프트웨어 개발 표준 44
3.6 소프트웨어 개발 프로세스 검토 48
4. 소프트웨어 개발 프로세스 49
4.1소프트웨어 요구사항 프로세스 50
4.2 소프트웨어 설계 프로세스 51
4.3 소프트웨어 코딩 프로세스 55
4.4 통합 프로세스 56
4.5 소프트웨어 개발 프로세스 추적성 57
5. 소프트웨어 검증 프로세스 58
5.1. 소프트웨어 검증 (Verification) 프로세스 개요 58
5.2. 소프트웨어 검증 목적 59
5.3. 소프트웨어 검증 프로세스 활동 개요 59
5.4. 소프트웨어 검토 및 분석 60
5.5. 소프트웨어 테스트 67
5.6. 소프트웨어 검증 프로세스 추적 76
5.7. 매개변수 데이터 항목 검증 78
6. 소프트웨어 형상관리 프로세스 79
6.1. 소프트웨어 형상관리 프로세스 목적 80
6.2. 소프트웨어 형상관리 활동 81
6.3. 데이터 통제 범주 86
6.4. 소프트웨어 로드 통제 87
6.5. 소프트웨어 수명주기 통제 88
7. 소프트웨어 품질 보증 프로세스 92
7.1. 소프트웨어 품질 보증 프로세스 목표 92
7.2. 소프트웨어 품질 보증 프로세스 활동 93
7.3. 소프트웨어 적합성 검토 95
8. 인증 관련 프로세스 99
8.1. 준수 및 계획 수단 99
8.2. 준수 실체(Compliance Substantiation) 99
8.3. 인증 기관에 제출된 최소 소프트웨어 수명주기 데이터 100
8.4. 유형 설계와 관련된 소프트웨어 수명주기 데이터 100
9. 소프트웨어 수명주기 산출물 - 데이터 101
9.1. 인증 측면 소프트웨어 계획 104
9.2. 소프트웨어 개발 계획 107
9.3. 소프트웨어 검증 계획 109
9.4. 소프트웨어 형상 관리 계획 111
9.5. 소프트웨어 품질 보증 계획 113
9.6. 소프트웨어 요구사항 표준 113
9.7. 소프트웨어 설계 표준 114
9.8. 소프트웨어 코드 표준 114
9.9. 소프트웨어 요구사항 데이터 115
9.10. 설계 설명 115
9.11. 소스 코드 116
9.12. 실행 가능한 객체 코드 116
9.13. 소프트웨어 검증 사례 및 절차 116
9.14. 소프트웨어 검증 결과 117
9.15. 소프트웨어 수명주기 환경 형상 색인 117
9.16. 소프트웨어 형상 색인 118
9.17. 문제 보고서 119
9.18. 소프트웨어 형상 관리 기록 119
9.19. 소프트웨어 품질 보증 기록 119
9.20. 소프트웨어 성취도 요약 120
9.21. 추적 데이터 121
9.22. 매개변수 데이터 항목 파일 121
10. 인증 추가 고려사항 123
10.1. 이전에 개발된 소프트웨어 사용 123
10.2. 도구 인정 128
10.3. 대체 방법 129
11. 인증 프로세스의 개요 133
11.1. 인증 기준 133
11.2. 인증의 소프트웨어 측면 133
11.3. 규정 준수 결정 133
부록1. DO-178C 산출물 양식 136
1. 소프트웨어 인증 계획 (Plan for Software Aspects of Certification, PSAC) 136
2. 소프트웨어 개발 계획 (Software Development Plan, SDP) 164
3. 소프트웨어 검증 계획 (Software Verification Plan) 187
4. 소프트웨어 형상 관리 계획 (Software Configuration Management Plan) 204
5. 소프트웨어 품질 보증 계획 (Software Quality Assurance Plan) 221
6. 소프트웨어 요구사항 표준 (software Requirement Standards) 251
7. 소프트웨어 설계 표준 (Software Design Standards) 254
8. 소프트웨어 코드 표준 (Software Code Standards) 257
9. 소프트웨어 요구사항 데이터 (Software Requirements Data) 260
10. 소프트웨어 설계 설명 (Software Design Description) 262
부록 2. DO-178C 10 OBJECTIVES 와 산출물 264
부록 3. 약어 및 용어 정리 281
부록 4. 요구사항 보충설명 295
부록 5. 설계 보충설명 327
부록 6. 코딩 보충설명 339
부록 7. 통합 프로세스 보충설명 356