페이퍼요약 - 감항성을 위한 항공 소프트웨어 검증 프레임워크 by Wu

제목: 감항성을 위한 항공 소프트웨어 검증 프레임워크(Airborne software verification framework aimed at airworthiness)

저자: Yumei Wu, Bin Liu, Beihang University, 중국

문서유형: 컨퍼런스 페이퍼(총 6페이지), 2010년

 

항공 소프트웨어 품질 요구사항 중 하나인 감항성(Airworthiness)을 달성하기 위한 소프트웨어 검증 프레임워크를 기술한 자료 

---

DO-178B(Software Considerations in Airborne Systems and Equipment Certification)

• 항공 시스템에 사용되는 소프트웨어의 안전성(safety)에 대해 다룬 문서
• 감항성 인증(airworthiness certification)을 위해 개발중인 소프트웨어가 충족시켜야 할 목표와 따라야 할 규칙들을 명시

GJB

• 중국 군사 표준
• DO-178B에서는 개발 프로세스상의 검증 활동(the verification work)이 중요시 되는 반면, GJB는 테스팅은 강조하지만 프로세스상의 검증 활동이 취약
• 이를 보완하고자 GJB의 프레임워크를 그대로 유지하면서 DO-178B에서 요구하는 검증활동을 반영할 수 있는 소프트웨어 검증 프레임워크를 제안하고, 이를 군용기 소프트웨어 개발 프로젝트에 적용함

GJB2786와 DO-178B 매핑

DO-178B 표준과 GJB2786 표준은 프로세스 단위를 나누는데 있어서는 상당히 차이가 있지만 본질적인 내용은 유사하므로 아래 그림처럼 매핑이 가능하다. 

검증 프레임워크(Verification Framework)

• 검증(Verification)이란? 제품, 서비스, 시스템이 규정 및 기술 표준을 준수하는지 확인하고 문서화하기 위한 리뷰, 인스펙션, 테스팅 활동
• 이 페이퍼에서 기술하는 검증 프레임워크는 항공 소프트웨어 개발에서 검증 메커니즘을 적절히 세우고 효율적으로 수행하는데 도움이 되는 활동(activities)과 전략(strategies)으로 구성(특정 검증 기법들은 다루지 않음)

아래 표는 개발 단계별로 이루어지는 각 검증 활동의 목표를 나열하고 있다.

대상	검증 목표(Verification objectives)
상위 레벨 요구사항 (High-Level Requirements)	시스템 요구사항 준수(Compliance with the system requirements) 정확성 및 일관성(Accuracy and consistency) 시스템이 운영될 타겟 컴퓨터와의 호환성(Compatibility with target computer) 표준 준수(Conformance to standards) 추적성(Traceability) 알고리즘(문제 해결 솔루션) 측면의 검증
하위 레벨 요구사항 (Low-Level Requirements)	상위 레벨 요구사항 준수(Compliance with HLRs) 정확성 및 일관성(Accuracy and consistency) 타겟 컴퓨터와의 호환성(Compatibility with target computer) 검증가능성(Verifiability) 소프트웨어 설계 표준 준수(Conformance to software design standards) 추적성(Traceability) 알고리즘(문제 해결 솔루션) 측면의 검증
소프트웨어 아키텍쳐 (Software architecture)	상위 레벨 요구사항 준수(Compliance with HLRs) 일관성(Consistency) 타겟 컴퓨터와의 호환성(Compatibility with target computer) 검증가능성(Verifiability) 표준 준수(Conformance to standards) 시스템 분할의 무결성(partitioning integrity)
소스 코드 (Source Code)	하위 레벨 요구사항 준수(Compliance with LLRs) 소프트웨어 아키텍쳐 준수(Compliance with the software architecture) 검증가능성(Verifiability) 표준 준수(Conformance to standards) 추적성(Traceability) 정확성 및 일관성(Accuracy and consistency)
통합 프로세스의 결과물 (Outputs of the integration process)	부정확한 하드웨어 주소(Incorrect hardware addresses) 메모리 중복(Memory overlaps) 분실된 소프트웨어 컴포넌트(Missing software components)

페이퍼에서 검증 전략이나 조직적인 측면에 대한 내용도 기술하고 있지만 딱히 특별한 내용이 없어서(V 생명주기의 V&V 활동에서 일반적으로 언급되는 내용 수준) 더 이상 정리는 생략