항공기용 소프트웨어의 IDE를 위한 경합조건의 검증환경