상세 보기
초록
항공기 건전성 관리시스템은 항공기 소프트웨어에서 발생하는 오류로 인한 시스템 실패를 방지할 수 있다. 하지만, 건전성 관리시스템은 진단 및 조치 기법이 적용된 오류들만 수리할 수 있다. 따라서 교착상태 수리 기능이 없는 시스템에서 오류가 운영 중에 발생하면 교착상태를 수리할 수 없다. 본 논문은 건전성 관리시스템에 기반한 항공기 소프트웨어에서 발생하는 교착상태를 자율 수리하는 기법을 제시한다. 이 기법은 설계 단계에서 작성된 락 정보를 활용하여 오류를 진단하며 스레드를 지연시켜 교착상태의 발생을 방지한다. 제시한 기법은 네 가지 패턴의 교착상태 사례를 통한 기능 평가에서 교착상태가 모두 방지됨을 보였다. 성능 평가에서 중첩된 락의 개수가 많을수록 시간 오버헤드 증가율이 감소하여 95%의 수행시간을 보였다.
키워드
항공기 소프트웨어; 교착상태; 건전성 관리시스템; 수행 중 수리; Airborne Software; Deadlock; Health Management System; On-the-Fly Repairing
- 제목
- 항공기 소프트웨어의 교착상태 실시간 자율 수리를 위한 건전성 관리시스템
- 제목 (타언어)
- Health Management System for On-the-Fly Repairing of Deadlock in Airborne Software
- 저자
- 한민균; 최으뜸; 전용기; 이성진
- 발행일
- 2023-11
- 유형
- Article
- 저널명
- 한국항공우주학회지
- 권
- 51
- 호
- 11
- 페이지
- 811 ~ 817