DO-178B와 DO-178C의 차이점과 문제점

DO-178B란 무엇입니까?

RTCA DO-178B, 정식 제목 “항공 시스템 및 장비 인증의 소프트웨어 고려 사항” 1992년에 도입되었습니다. 이는 항공 산업에서 진화하는 소프트웨어 개발 과제를 해결하기 위해 이전 버전인 DO-178A를 대체하는 DO-178 표준의 두 번째 버전으로 등장했습니다.

주요 목표 및 지침

DO-178B는 안전에 중요한 소프트웨어가 엄격한 인증 요구 사항을 충족하도록 하는 구조화된 프레임워크를 설명합니다. 그 목적은 다음과 같습니다.

• 명확한 개발 라이프사이클을 확립합니다.
• 요구 사항부터 코드와 테스트까지 추적성을 보장합니다.
• 소프트웨어 기능의 정확성과 완전성을 확인합니다.

이 표준은 소프트웨어를 5가지 설계 보증 수준(DAL)으로 분류하는데, DAL A가 가장 중요하고 가장 엄격한 준수가 요구됩니다.

소프트웨어 규정 준수 보장의 역할

DO-178B는 항공 전자 소프트웨어가 안전 및 신뢰성 표준을 준수하여 시스템 오류 위험을 최소화하도록 보장합니다. 이 지침은 FAA 및 EASA와 같은 항공 당국의 규제 승인을 받는 데 필수적이며, 이를 통해 공중 소프트웨어 인증에서 글로벌 표준화가 가능합니다.

DO-178C란?

객체 지향 프로그래밍, 모델 기반 설계, 형식적 검증 방법을 포함한 소프트웨어 개발 관행의 발전으로 DO-178B의 적용성에 갭이 생겼습니다. 이러한 갭을 해결하기 위해 RTCA DO-178C가 2011년에 도입되어 현대적 방법론에 맞게 개선된 지침을 제공하면서도 이전 버전의 엄격한 안전 초점을 유지했습니다.

확장된 초점 영역

DO-178C는 범위를 확장하기 위해 보충 문서를 도입합니다.

• DO-330: 도구 적격성 평가 프로세스.
• DO-331: 모델 기반 개발 및 검증에 대한 지침입니다.
• DO-332: 객체 지향 기술에 대한 고려사항.
• DO-333: 검증에 있어서 형식적 방법의 적용.

이러한 보충 자료는 현대 소프트웨어 개발의 특정한 복잡성을 해결하기 위한 자세한 지침을 제공합니다.

향상된 명확성과 추가 보충제

DO-178B에 비해 DO-178C는 더 명확한 목표, 세련된 요구 사항 추적 프로세스, 업데이트된 검증 지침을 제공합니다. 소프트웨어 개발 라이프사이클 전반에 걸쳐 효율성, 일관성 및 규정 준수를 개선하기 위한 자동화된 도구와 방법을 강조합니다.