항공 SW 검증도구 Tool Qualification(DO-330) 적용방안

• 해당 논문은 한국항공우주학회 2025 춘계학술대회에서 발표되었습니다.

이문창1*, 장정훈2, 강기용2

모아소프트㈜

Application of Aviation SW Verification Tool Qualification(DO-330)

Moon chang Lee1, Jeong hoon Jang2, Ki yong Kang2
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

Key Words : DO-330, DO-178C, Tool Qualification(도구자격), Airborne Software(항공 소프트웨어),
Certification, Design Assurance Level(DAL, 디자인 보증 수준)

서론

DO-178C에서 항공 소프트웨어 인증을 위해 요구사항대로 SW 기능구현이 되었는지 자동화 검증도구를
사용하여 검증하고 있다. 하지만 전 세계적으로 Tool Qualification 자격을 받은 자동화 검증도구 또한 SW로 구성되어 있으며, Tool package 형태로 제공되기 때문에 우리는 해당 자동화 검증도구 내부에 어떠한
에러를 유입하거나, 검증도구가 결함을 발견하지 못할 수도 있다는 사실을 망각하고 있다.

본 논문에서는 자동화 검증도구가 실제 개발환경에 맞춰 사용자 입장에서의 검증활동이 정상적으로 운용되는지에 대하여 DO-330, Software Tool Qualification Consideration(소프트웨어 도구자격 고려사항) 적용방안을 제시한다.

…중략

결론

본 눈문에서는 항공 SW 개발을 위한 검증도구의 DO-330 적용 방안을 제시하였다. 검증도구는 SW로 구성되어 있기 때문에 오류를 일으킬 수 있으며, 그로 인해 사용하는 검증도구에 대한 이 Tool Qualification 필요하다. 또한 DO-330은 DO-178C의 부속서 혹은 선택적 규격이 아닌 DO-178C와 더불어 진행해야 하는 필수 인증 프로세스 과정이다.