(4차년도) 항공기 소프트웨어의 원자성 위배를 실시간으로 치유하는 결정적 프레임웍 개발