항공기 소프트웨어의 모의실험은 설정된 입력 조건에 따라 소프트웨어의 수행을 실험하여 확인할 수 있는 검증방법이다. 모의실험은 개발단계에서 항공기 소프트웨어의 결함을 제거하여 신뢰성을 향상시킬 수 있기 때문에 중요하다. 하지만 기존의 항공기 소프트웨어 모의실험 환경은 의도하지 않은 경합조건의 발생에 연관되는 요인들을 제어 및 감시하지 않는다. 따라서 동시성 오류로 인한 오작동이 발생하였을 경우 이를 분석하기가 어렵다. 본 논문은 공유메모리 접근과 스레드 정보를 감시하고, 스레드 수행 순서를 제어하는 모의실험 프레임워크를 제시한다. 제시된 프레임워크는 항공기 소프트웨어의 수행 중 발생하는 동시성 오류의 효과적인 분석이 가능하다.