비행제어 비행운용프로그램 (Operational Flight Program)으로 개발되는 소프트웨어는 안전중시 (Safety-Critical) 소프트웨어이다. 비행제어 소프트웨어는 개발 단계에서 다양한 이유로 지속적으로 변경된다. 설계 변경이 발생하는 경우, 변경의 파급 효과를 정확하게 예측하는 것은 효율적인 변경 관리를 위해 매우 중요하다. 본 논문에서는 자동화 도구를 통한 비행제어 소프트웨어 변경 영향성 분석방안을 제시하고, 이를 이용하여 비행제어 소프트웨어 개발 유지보수 프로세스에 적용된 사례에 대해 소개하고자 한다. 이 연구를 통해 향후 차기 항공기 개발 사업의 개발단계 및 유지보수 단계에서 항공기 신뢰성과 안정성을 확보하는데 크게 기여할 것으로 기대된다.