항공기 소프트웨어의 동시성 오류는 올바르지 않은 동기화로 공유자원을 사용할 때 발생된다. 이러한 동시성 오류는 소프트웨어의 수행 중에 자율적으로 수리되어야 하는데, 이는 동시성 오류가 디버깅만으로는 모두 제거되기 어렵기 때문에 중요하다. 이러한 자율수리에 대한 이전 연구는 동시성 오류를 미리 예측하기 위하여 공유변수에 접근하는 이벤트를 모두 감시한다. 하지만 이러한 연구 결과는 접근사건 수에 비례하는 오버헤드를 발생시키기 때문에 실시간성을 보장하기 어려울 수 있다. 본 논문은 항공기 소프트웨어의 공유객체 함수호출 순서를 감시하는 기법을 제시한다. 이 기법은 함수호출 횟수에 비례하는 오버헤드로 동시성 오류를 감시할 수 있다.