4교시 1번 · 25점 · 6문제 중 4문제 선택 · 100분
많은 인증 당국에서는 항전장비에 탑재되는 소프트웨어에 대하여 민간 산업규격인 RTCA DO-178C 규격에 따라 인증하는 것을 적합성 입증 수단으로 인정하고 있다.
- RTCA DO-178C는 다양한 소프트웨어 개발 방식에 대한 검증을 위해 부속 규격(보충 문서) 3종을 두고 있는데, 규격의 대상과 특징을 설명하시오.
- DO-178C에 따를 때의 인증 절차 4단계를 설명하시오.
- DO-178C에 따라 소프트웨어 인증을 진행할 때, 인증당국에 반드시 제출해야 하는 산출문서 3종을 각각 설명하시오.
답안 개요 보기
답안 구조
- 개요 (항공기 SW 인증과 DO-178C)
- DO-178C 부속 규격(보충 문서) 3종의 대상과 특징
- DO-178C에 따른 인증 절차 4단계 (SOI)
- 인증 당국 필수 제출 산출문서 3종
- 결론 및 항공기 SW 인증 동향
용어 정의
- RTCA DO-178C
- 상용 항공기 탑재 소프트웨어 인증을 위해 미국항공전파기술위원회(RTCA)에서 제정한 감항 인증 기준 문서
- SOI (Stage of Involvement)
- 인증 당국이 소프트웨어 개발 생명주기 동안 개입하여 인증 계획, 개발, 검증, 최종 결과를 검토하는 4개의 공식 단계
- PSAC (Plan for Software Aspects of Certification)
- 소프트웨어 인증 계획서로, 개발 프로세스, 수명주기, 도구 및 인증 접근 방식을 인증 당국에 제안하는 핵심 문서
핵심 내용
1)
- DO-331 (모델 기반 개발 및 검증): 모델을 이용한 SW 개발 대상, 시뮬레이션 및 모델 검증 지침 제공
- DO-332 (객체 지향 기술 및 관련 기법): C++ 등 객체 지향 언어 대상, 상속성 및 다형성에 대한 취약성 검증
- DO-333 (정형 기법): 수학적 모델링 기반 개발 대상, 논리적이고 수학적인 증명을 통한 SW 무결성 검증
2)
- SOI 1 (계획 검토 단계): PSAC 등 계획 문서의 적절성과 안전성 평가 기준 부합 여부 검토
- SOI 2 (개발 검토 단계): 요구사항 분석, 설계, 코딩 프로세스의 규정 준수 및 추적성 검토
- SOI 3 (검증 검토 단계): 테스트 절차, 테스트 결과, 코드 커버리지 등 검증 활동의 완전성 검토
- SOI 4 (최종 검토 단계): SAS 및 SCI 검토를 통한 최종 인증 요구사항 충족 여부 종합 확인
3)
- PSAC (소프트웨어 인증 계획서): 개발 착수 전 인증 당국에 제출하여 인증 기준 및 방법론에 대한 사전 승인 획득
- SAS (소프트웨어 달성 요약서): 프로젝트 종료 시 제출하며, 계획된 활동의 완료 및 규정 준수 최종 결과 요약
- SCI (소프트웨어 형상 색인): 최종 컴파일된 SW의 식별 번호, 버전, 소스코드 및 개발 도구 등 형상 관리 상태 명시
AI 작성 답안 개요 · 검수 전 · 채점기준과 기준답안은 공개되지 않습니다. 참고용 개요입니다.
출처: 한국산업인력공단, Q-Net 자료실 · 공공누리 제1유형 · 원문(Q-Net)