Health Management System for On-the-Fly Repairing of Deadlock in Airborne Software

Abstract

항공기 건전성 관리시스템은 항공기 소프트웨어에서 발생하는 오류로 인한 시스템 실패를 방지할 수 있다. 하지만, 건전성 관리시스템은 진단 및 조치 기법이 적용된 오류들만 수리할 수 있다. 따라서 교착상태 수리 기능이 없는 시스템에서 오류가 운영 중에 발생하면 교착상태를 수리할 수 없다. 본 논문은 건전성 관리시스템에 기반한 항공기 소프트웨어에서 발생하는 교착상태를 자율 수리하는 기법을 제시한다. 이 기법은 설계 단계에서 작성된 락 정보를 활용하여 오류를 진단하며 스레드를 지연시켜 교착상태의 발생을 방지한다. 제시한 기법은 네 가지 패턴의 교착상태 사례를 통한 기능 평가에서 교착상태가 모두 방지됨을 보였다. 성능 평가에서 중첩된 락의 개수가 많을수록 시간 오버헤드 증가율이 감소하여 95%의 수행시간을 보였다.