항공기 소프트웨어의 교착상태 실시간 자율 수리를 위한 건전성 관리시스템 (Health Management System for On-the-Fly Repairing of Deadlock in Airborne Software)

서지정보

· 발행기관 : 한국항공우주학회
· 수록지 정보 : 한국항공우주학회지 / 51권 / 11호 / 811 ~ 817페이지
· 저자명 : 한민균, 최으뜸, 전용기, 이성진

초록

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

영어초록

Health management system prevents failures caused by errors in an airborne software. However, a health management system can only repair errors that have been diagnosed and treated with appropriate techniques. Therefore, in a system without deadlock resolution capabilities, if an error occurs during operation, it cannot be repaired, leading to a deadlock. This paper presents a on-the-fly deadlock repairing technique that repair deadlocks occurring in airborne software. The technique diagnoses errors using lock information written during the design phase and delays thread for treatment. We evaluated functionality of the on-the-fly deadlock repairing technique using four patters of deadlock and repaired all deadlocks. In performance evaluation, as the number of nested locks increases, the rate of time overhead growth decreases, resulting in a 95% execution time.

참고자료

· 없음