Year | 2022 |
---|---|
Title | 항공기 소프트웨어에서 순서위배의 자율적 수리를 위한 건전성 관리 시스템 및 방법 |
Applicant | 경상국립대학교산학협력단 |
Inventor | 전용기, 최으뜸, 김태형 |
Nationality | Korea |
Status | Holding(등록) |
Abstract | 항공기 소프트웨어의 건전성 관리 시스템 및 방법이 제공된다. 본 발명의 일 실시예에 따른 항공기 소프트웨어의 건전성 관리 시스템은, 항공기 소프트웨어의 함수 호출 순서(Type State Automaton, TSA)를 사용하여 순서 위배를 진단하고, 상기 순서 위배에 따른 스레드 제어명령을 지시하는 자율 수리 모듈(On-the-fly Repairing), 상기 순서 위배를 모니터링하고, 상기 지시된 스레드 제어명령에 따라 스레드를 관리하는 시뮬레이션 통합 모듈형 기기(Simulated Integrated Modular Avionics), 함수 이름(method name)을 상기 자율 수리 모듈로 전달하고, 상기 스레드 제어명령에 따라 제어를 수행하는 응용 프로그램 모듈을 포함하는 구성이다. |
Pending No. | 10-2020-0177755 |
Opening No. | 10-2022-0087247 |
Holding No. | 10-2471-3140000 |