Limitations and Challenges of Applying Static Analysis Tools for Flight Software

위성 소프트웨어는 작은 결함이라도 임무 전체의 실패로 이어질 수 있어 높은 신뢰성과 안정성이 요구된다. 위성 소프트웨어는 일반적인 C 기반 소프트웨어의 한 형태이지만, 위성 시스템의 미션 수행 방식과 구조적 특성으로 인해 특정한 코드 패턴들이 반복적으로 나타난다. 본 논문에서는 이러한 코드 패턴이 일반적인 목적으로 설계된 정적 분석 도구의 분석 정확도에 어떠한 영향을 미치는지를 분석한다. 이를 위해 NASA의 Core Flight System(cFS)을 대상으로 다섯 가지 오픈소스 정적 분석 도구를 적용하고, 각 도구가 해당 코드 패턴을 포함하는 코드에서 보이는 오탐 발생 양상과 분석 커버리지를 비교 분석하였다. 분석 결과, 기존 정적 분석 도구들은 위성 소프트웨어의 구조적 특성에서 기인한 코드 패턴을 충분히 고려하지 못해 분석 정확도가 저하되는 한계가 있음을 확인하였다. 이러한 결과를 바탕으로, 본 논문에서는 위성 소프트웨어 정적 분석의 정확도를 향상시키기 위해 고려되어야 할 코드 패턴과 이에 대한 개선 방향을 논의한다.