| 1 |
1
항공기 소프트웨어의 함수 호출 순서(Type State Automaton, TSA)를 사용하여 순서 위배를 진단하고, 상기 순서 위배에 따른 스레드 제어명령을 지시하는 자율 수리 모듈(On-the-fly Repairing);상기 순서 위배를 모니터링하고, 상기 지시된 스레드 제어명령에 따라 스레드를 관리하는 시뮬레이션 통합 모듈형 기기(Simulated Integrated Modular Avionics);함수 이름(method name)을 상기 자율 수리 모듈로 전달하고, 상기 스레드 제어명령에 따라 제어를 수행하는 응용 프로그램 모듈;을 포함하는 항공기 소프트웨어의 건전성 관리 시스템
|
| 2 |
2
제 1항에 있어서,상기 응용 프로그램 모듈은, ARINC 653 규격의 항공기 소프트웨어에서 수행되는 것을 특징으로 하는 항공기 소프트웨어의 건전성 관리 시스템
|
| 3 |
3
제 1항에 있어서,상기 자율 수리 모듈은,기설정된 함수 호출 순서(Type State Automaton, TSA) 정보를 사용하여 상기 순서 위배를 진단하는 진단 유닛;상기 순서위배에 따른 스레드 제어명령의 메시지를 상기 시뮬레이션 통합 모듈형 기기로 전송하는 처리 유닛;을 포함하는 항공기 소프트웨어의 건전성 관리 시스템
|
| 4 |
4
제 3항에 있어서,상기 진단 유닛은,상기 순서위배에 따라 스레드 대기 또는 재개 시점을 진단하는 것을 특징으로 하는 항공기 소프트웨어의 건전성 관리 시스템
|
| 5 |
5
제 1항에 있어서,상기 시뮬레이션 통합 모듈형 기기는,상기 순서위배를 모니터링하는 건전성 모니터링 유닛;상기 지시된 스레드 제어명령에 따라 스레드를 관리하는 스레드 관리 유닛;을 포함하는 항공기 소프트웨어의 건전성 관리 시스템
|
| 6 |
6
항공기 소프트웨어의 건전성 관리 시스템이 항공기 소프트웨어의 건전성을 관리하는 방법에 있어서,응용 프로그램 모듈이 항공기 소프트웨어의 함수 이름(method name)을 진단 유닛으로 전달하는 단계;상기 진단 유닛이 기설정된 함수 호출 순서(Type State Automaton, TSA)를 사용하여 순서위배를 진단하는 단계;상기 순서위배의 진단 결과를 전달받는 건전성 모니터링 유닛이 상기 순서 위배를 모니터링하는 단계;상기 모니터링 결과에 따라 처리 유닛이 상기 모니터링된 순서 위배에 따른 메시지를 처리하여 스레드 관리 유닛에 전달하는 단계;상기 스레드 관리 유닛이 상기 처리된 메시지에 따라 스레드를 상기 응용 프로그램 모듈에서 수행되도록 전달하는 단계;를 포함하는, 항공기 소프트웨어의 건전성 관리 방법
|
| 7 |
7
제 6항에 있어서, 상기 응용 프로그램 모듈은,ARINC 653 규격의 항공기 소프트웨어에서 수행되는 것을 특징으로 하는 항공기 소프트웨어의 건전성 관리 방법
|
| 8 |
8
제 6항에 있어서,상기 진단하는 단계는,상기 순서위배에 따라 스레드 대기 또는 재개 시점을 진단하는 것을 특징으로 하는 항공기 소프트웨어의 건전성 관리 방법
|
