| 1 |
1
고유 기능을 갖으며 우선순위와 주기성을 갖는 복수의 타스크로 이루어진 탑재 소프트웨어를 내장하는 탑재 장비;탑재 장비의 명령에 따라 비행궤적 시뮬레이션 모델을 실행하여 탑재 장비의 소프트웨어 동작 상황을 실시간으로 모의하는 탑재장비 모의 시스템; 및탑재 장비를 동작시킨 후 상기 탑재 장비로부터 상기 탑재장비 모의 시스템으로부터 출력된 모의 데이터를 근거로 구성한 검증 데이터를 소정 주기로 수신하여, 상기 탑재 장비의 소프트웨어 특성을 검증하는 사격통제/검증 모니터링 시스템;을 포함하고,상기 탑재 장비는,탑재장비 모의 시스템에서 출력된 모의 데이터를 근거로 타스크별 수행상태를 나타내는 타스크 하트 비트(Task Heart Bit) 구성의 검증 데이터를 구성하는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 2 |
2
제1항에 있어서, 상기 탑재 장비는비행제어장치, 관성항법 장치 및 탐색기를 포함하는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 3 |
3
제1항에 있어서, 상기 비행궤적 시뮬레이션 모델은 비행제어기법 모델, 관성항법 모델 및 탐색기 모델로 구성된 6-DOF(Degrees Of Freedom) 비행궤적 시뮬레이션 모델이며,상기 탑재장비 모의 시스템은 탑재 장비의 타입에 따라 비행제어기법 모델, 관성항법 모델 및 탐색기 모델 중 해당되는 모델을 대체하여 수행하는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 4 |
4
제1항에 있어서, 상기 타스크 하트 비트는 16 비트 또는 32 비트의 데이터형 구성을 갖는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 5 |
5
제4항에 있어서, 상기 타스크 하트 비트의 각 비트에는 각 타스크의 우선순위 및 수행 여부를 나타내는 비트값이 할당되는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 6 |
6
제5항에 있어서, 상기 타스크의 우선순위는최우선 순위를 가진 타스크를 타스크 하트 비트의 맨 오른쪽 혹은 맨 왼쪽 비트부터 차례로 할당되는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 7 |
7
제5항에 있어서, 상기 탑재 장비는타스크 하트 비트를 기록할 때는 타스크의 주기(P1)와 검증 데이터를 사격통제/검증 모니터링 시스템으로 전송하는 타스크의 주기(P2)를 비교하여,(a) 상기 주기(P1,P2)가 동일하거나 주기(P2)가 주기 (P1)보다 더 빠르면 타스크 하트 비트를 1비트만 할당하고,(b) 상기 주기(P1)가 주기(P2)보다 더 빠르면 P2/P1만큼의 비트를 할당하는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 8 |
8
제1항에 있어서, 상기 사격통제/검증 모니터링 시스템은상기 탑재장비로부터 수신된 검증 데이터와 응답 데이터를 근거로 상기 탑재장비의 출력 데이터 발생의 정상 유무를 판단하는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 9 |
9
고유 기능을 갖는 복수의 타스크 실행구조로 이루어진 비행제어용 탑재 소프트웨어를 내장하는 비행제어장치;상기 비행제어장치의 비행제어 명령에 따라 비행궤적 시뮬레이션 프로그램을 실행하여, 상기 비행제어장치의 탑재 소프트웨어의 동작 상황을 실제 비행시험과 유사하게 모의하는 탑재장비 모의 시스템; 및유도탄 발사신호를 출력하여 비행제어장치를 비행 상태로 만든 후 비행제어장치로부터 상기 탑재장비 모의 시스템에서 출력된 모의 데이터를 근거로 구성된 검증 데이터를 수신하여, 상기 비행제어장치의 탑재 소프트웨어 특성을 검증하는 사격통제/검증 모니터링 시스템;을 포함하며,상기 검증 데이터는 각 타스크의 수행상태를 나타내는 타스크 하트 비트 (Task Heart Bit)로 구성되는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 10 |
10
제9항에 있어서, 상기 비행궤적 시뮬레이션 프로그램은,6-DOF(Degrees Of Freedom) 비행궤적 시뮬레이션 모델로서, 비행제어기법 모델, 관성항법 모델 및 탐색기 모델을 포함하며,상기 탑재장비 모의 시스템은 비행제어기법 모델을 비행제어장치로 대체하여 실행하는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 11 |
11
제9항에 있어서, 상기 타스크 하트 비트는 16 비트 또는 32 비트의 데이터형 구성을 갖는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 12 |
12
제9항에 있어서, 상기 타스크 하트 비트의 각 비트에는 각 타스크의 우선순위 및 수행 여부를 나타내는 비트값이 할당되는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 13 |
13
제12항에 있어서, 상기 타스크의 우선순위는최우선 순위를 가진 타스크를 타스크 하트 비트의 맨 오른쪽 혹은 맨 왼쪽 비트부터 차례로 할당되는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 14 |
14
제9항에 있어서, 상기 비행제어장치는타스크 하트 비트를 기록할 때는 타스크의 주기(P1)와 검증 데이터를 사격통제/검증 모니터링 시스템으로 전송하는 타스크의 주기(P2)를 비교하여,(a) 상기 주기(P1,P2)가 동일하거나 주기(P2)가 주기 (P1)보다 더 빠르면 타스크 하트 비트를 1비트만 할당하고,(b) 상기 주기(P1)가 주기(P2)보다 더 빠르면 P2/P1만큼의 비트를 할당하는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
| 15 |
15
제9항에 있어서, 상기 사격통제/검증 모니터링 시스템은상기 탑재장비로부터 수신된 검증 데이터와 응답 데이터를 근거로 상기 탑재장비의 출력 데이터 발생의 정상 유무를 판단하는 것을 특징으로 하는 탑재 소프트웨어의 타스크 실행구조 검증 시스템
|
