Software Reliability Assurance Approach for Flight Software of Satellite Developed in a Non-Target Programming Language

위성의 비행소프트웨어는 우주 환경에서 실시간 위성 제어 및 임무 수행을 담당하는 핵심 요소로써, 높은 신뢰성과 안정성이 필수적으로 요구된다. 하지만 방위사업청의 무기체계 소프트웨어 개발 및 관리 매뉴얼에서는 소프트웨어 신뢰성 시험 대상 언어를 C 계열 언어로 한정하고 있어, 이외 언어로 구현된 소프트웨어는 신뢰성을 확보하는데 한계가 존재한다. 본 논문에서는 이러한 제약을 극복하기 위해 특정 비대상 프로그래밍 언어로 개발된 위성 비행소프트웨어를 대상으로 신뢰성 확보 방안을 수립하고, 이를 통해 상용 도구를 활용하여 정적/동적 시험을 수행하고 분석하였다. 본 연구는 비대상 언어 기반 비행소프트웨어에도 신뢰성 확보가 가능함을 보여줌으로써 여러 비대상 언어의 무기체계 소프트웨어 신뢰성 시험 표준화의 기초자료로 활용될 수 있을 것이라 기대된다.