요약 | 본 발명은 스케줄링 태스크 정보 처리 기술에 관한 것으로서, 더 상세하게는 경성 실시간 스케줄링 태스크 그룹을 지원하는 운영체제의 구동이 가능한 컴퓨터 또는 임베디드 보드상에서 동작하는 유저 프로세스로 구성되는 수행 가능성 분석 도구를 위한 수행 가능성 분석 방법 및 장치에 대한 것이다. |
---|---|
Int. CL | G06F 11/36 (2006.01.01) G06F 11/34 (2006.01.01) G06F 11/30 (2006.01.01) G06F 9/50 (2018.01.01) G06F 9/38 (2006.01.01) |
CPC | G06F 11/3612(2013.01) G06F 11/3612(2013.01) G06F 11/3612(2013.01) G06F 11/3612(2013.01) G06F 11/3612(2013.01) |
출원번호/일자 | 1020160026111 (2016.03.04) |
출원인 | 국방과학연구소 |
등록번호/일자 | 10-1733534-0000 (2017.04.28) |
공개번호/일자 | |
공고번호/일자 | (20170524) 문서열기 |
국제출원번호/일자 | |
국제공개번호/일자 | |
우선권정보 | |
법적상태 | 등록 |
심사진행상태 | 수리 |
심판사항 | |
구분 | 신규 |
원출원번호/일자 | |
관련 출원번호 | |
심사청구여부/일자 | Y (2016.03.04) |
심사청구항수 | 7 |
번호 | 이름 | 국적 | 주소 |
---|---|---|---|
1 | 국방과학연구소 | 대한민국 | 대전광역시 유성구 |
번호 | 이름 | 국적 | 주소 |
---|---|---|---|
1 | 류동국 | 대한민국 | 서울특별시 송파구 |
2 | 이상일 | 대한민국 | 서울특별시 강동구 |
3 | 진현욱 | 대한민국 | 서울특별시 광진구 |
4 | 임인구 | 대한민국 | 서울특별시 광진구 |
5 | 조현철 | 대한민국 | 서울특별시 광진구 |
번호 | 이름 | 국적 | 주소 |
---|---|---|---|
1 | 한양특허법인 | 대한민국 | 서울특별시 강남구 논현로**길 **, 한양빌딩 (도곡동) |
번호 | 이름 | 국적 | 주소 |
---|---|---|---|
1 | 국방과학연구소 | 대전광역시 유성구 |
번호 | 서류명 | 접수/발송일자 | 처리상태 | 접수/발송번호 |
---|---|---|---|---|
1 | [특허출원]특허출원서 [Patent Application] Patent Application |
2016.03.04 | 수리 (Accepted) | 1-1-2016-0210287-56 |
2 | 선행기술조사의뢰서 Request for Prior Art Search |
2016.10.11 | 수리 (Accepted) | 9-1-9999-9999999-89 |
3 | 선행기술조사보고서 Report of Prior Art Search |
2016.11.07 | 발송처리완료 (Completion of Transmission) | 9-6-2016-0161487-67 |
4 | 의견제출통지서 Notification of reason for refusal |
2016.12.16 | 발송처리완료 (Completion of Transmission) | 9-5-2016-0906939-43 |
5 | [명세서등 보정]보정서 [Amendment to Description, etc.] Amendment |
2017.02.16 | 보정승인간주 (Regarded as an acceptance of amendment) | 1-1-2017-0160350-63 |
6 | [거절이유 등 통지에 따른 의견]의견(답변, 소명)서 [Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation) |
2017.02.16 | 수리 (Accepted) | 1-1-2017-0160349-16 |
7 | 등록결정서 Decision to grant |
2017.04.27 | 발송처리완료 (Completion of Transmission) | 9-5-2017-0303631-00 |
번호 | 청구항 |
---|---|
1 |
1 경성 실시간 스케줄링 태스크 그룹을 위한 수행 가능성 분석 장치에 있어서,파일 시스템과 커널로 이루어지며, 상기 파일 시스템 및 상기 커널로부터 비주기적 실시간 태스크 정보와 상기 비주기적 실시간 태스크로 구성된 주기적 실시간 태스크 그룹 정보 및 주기적 실시간 태스크 정보를 생성하는 운영체제; 및 미리 설정되는 제 1 스케줄링 알고리즘을 적용하여 상기 비주기적 실시간 태스크 정보를 수집하고, 미리 설정되는 제 2 스케줄링 알고리즘을 통해 상기 주기적 실시간 태스크 정보를 갖는 실시간 태스크 그룹내의 예약 자원에 대한 수행 가능성을 판단하는 경성 실시간 수행 가능성 테스트 도구;를 포함하며,상기 운영체제는,주기적 실시간 태스크와 비주기적 실시간 태스크가 동시에 존재하는 것을 허용하고, 상기 비주기적 실시간 태스크를 주기적 실시간 태스크 그룹에 포함하여 CPU(Central Processing Unit)자원을 관리하고,상기 주기적 실시간 태스크는, 상기 비주기적 실시간 태스크보다 높은 우선순위를 가지며,상기 비주기적 실시간 태스크는, 각각의 상기 비주기적 실시간 태스크 내 속성으로 설정된 고정 우선순위를 기반으로 상기 비주기적 실시간 태스크 간 스케줄링 우선순위가 결정되며,상기 주기적 실시간 태스크 그룹은, 상기 비주기적 실시간 태스크를 포함하며, 주기 및 실행시간의 속성을 가지며, 상기 비주기적 실시간 태스크의 고정 우선순위에 대한 정보를 포함하지 않고,상기 경성 실시간 수행 가능성 테스트 도구는, 상기 비주기적 실시간 태스크 정보 및 상기 비주기적 실시간 태스크로 구성된 주기적 실시간 태스크 그룹의 정보들을 수집하는 비주기적 실시간 태스크 정보 수집 모듈; 상기 주기적 실시간 태스크 정보를 수집하는 주기적 실시간 태스크 정보 수집 모듈; 및상기 비주기적 실시간 태스크 정보 수집 모듈 및 주기적 실시간 태스크 정보 수집 모듈로부터 수집한 스케줄러의 정보를 통하여 주기적 실시간 태스크 그룹내의 예약 자원에 대한 수행 가능성을 판단하는 수행 가능성 테스트 모듈;을 포함하고,상기 수행 가능성 테스트 모듈은,상기 비주기적 실시간 태스크 정보 수집 모듈 및 주기적 실시간 태스크 정보 수집 모듈로부터 수집한 스케줄러의 정보를 통하여 수행 가능성 분석 대상과 수행 가능성 분석 연산 대상을 판단하여 각 각 해당 집합에 추가 하고, 상기 수행 가능성 분석 대상 집합의 처음부터 끝까지 탐색하여 수행가능성 연산을 수행하며, 상기 수행가능성 분석 대상 집합의 끝까지 수행 가능성 연산을 통과하면 상기 실시간 태스크 그룹내의 예약 자원에 대해 실행 가능으로 판정하고, 상기 수행 가능성 분석 도중 수행 가능성 연산을 통과하지 못하는 태스크 그룹이 존재하면 상기 실시간 태스크 그룹내의 예약 자원에 대해 실행 불가능으로 판정하며,상기 수행 가능성 분석 대상은,상기 비주기적 실시간 태스크 그룹으로 구성된 주기적 실시간 태스크 그룹을 대상으로 구성되며,상기 수행가능성 분석 연산 대상은, 상기 수행 가능성 분석 대상보다 비교적 높은 우선순위를 가지는 비주기적 실시간 태스크를 포함하는 주기적 실시간 태스크 그룹 또는 주기적 실시간 태스크를 대상으로 구성되며,상기 수행 가능성 연산은, 각 CPU에 허용된 실시간 자원에 대해 상기 수행 가능성 분석 연산 대상 에 해당하는 상기 비주기적 실시간 태스크와 상기 주기적 실시간 태스크가 선점하고 남은 실행시간이 상기 수행가능성 분석 대상이 요구하는 실행시간을 만족하는 경우 실행 가능으로 판단하며,상기 수행가능성 분석 대상의 CPU를 선점 가능한 태스크 또는 태스크 그룹은,상기 수행가능성 분석 연산 대상과, 상기 수행가능성 분석 대상의 집합 내에서 현재 수행가능성 분석 대상의 최소 우선순위보다 높은 최대 우선순위를 갖는 모든 주기적 실시간 태스크 그룹이며,상기 수행 가능성 분석 연산 대상이 선점하는 실행시간은 수학식 (여기서, 와 은 자연수로 각 태스크의 우선순위 크기를 높은 순으로 나타낸다 |
2 |
2 삭제 |
3 |
3 제 1 항에 있어서,상기 제 1 스케줄링 알고리즘은 태스크의 주기 및 실행시간을 포함하는 스케줄링 정보에 접근 가능한 파일 시스템 또는 시스템 콜을 이용하여 우선순위를 갖는 실시간 태스크 정보를 수집하도록 이루어지는 것을 특징으로 하는 경성 실시간 스케줄링 태스크 그룹을 위한 수행 가능성 분석 장치 |
4 |
4 제 1 항에 있어서,상기 제 2 스케줄링 알고리즘은 상기 주기적 실시간 태스크 정보가 포함된 실시간 태스크 그룹 및 주기적 실시간 태스크의 주기, 실행시간, 및 비주기적 실시간 태스크가 포함된 실시간 태스크 그룹 내 우선순위 정보와 태스크 그룹에 허용된 CPU정보를 이용하여 상기 실시간 태스크 그룹 내 예약 자원에 대한 수행 가능성을 판단하도록 이루어지는 것을 특징으로 하는 경성 실시간 스케줄링 태스크 그룹을 위한 수행 가능성 분석 장치 |
5 |
5 제 1 항에 있어서,상기 주기적 실시간 태스크 정보 수집 모듈은, 상기 파일 시스템내의 폴더로부터 실행중인 프로세스에 대한 탐색을 수행하여 상시 폴더내의 태스크 정책이 최우선 순위 스케줄러(SCHED_DEADLINE)와의 일치여부에 따라 해당 태스크의 주기 및 실행 시간 정보를 수집하는 것을 특징으로 하는 경성 실시간 스케줄링 태스크 그룹을 위한 수행 가능성 분석 장치 |
6 |
6 제 1 항에 있어서, 상기 비주기적 실시간 태스크 정보 수집 모듈은, 상기 실시간 태스크 그룹에 대해 상기 파일 시스템을 탐색하여 상기 실시간 태스크 그룹내 태스크 우선순위 정보를 탐색하고 분석 대상에 추가하는 것을 특징으로 하는 경성 실시간 스케줄링 태스크 그룹을 위한 수행 가능성 분석 장치 |
7 |
7 제 6 항에 있어서,상기 실시간 태스크 그룹은 우선순위를 기준으로 내림차순으로 정렬되는 것을 특징으로 하는 경성 실시간 스케줄링 태스크 그룹을 위한 수행 가능성 분석 장치 |
8 |
8 삭제 |
9 |
9 삭제 |
10 |
10 삭제 |
11 |
11 경성 실시간 스케줄링 태스크 그룹을 위한 수행 가능성 분석 방법에 있어서,운영체제가 파일 시스템과 커널로 이루어지며, 상기 파일 시스템 및 상기 커널로부터 비주기적 실시간 태스크 정보 및 주기적 실시간 태스크 정보를 생성하는 단계;경성 실시간 수행 가능성 테스트 도구가 미리 설정되는 제 1 스케줄링 알고리즘을 적용하여 상기 비주기적 실시간 태스크 정보 및 상기 비주기적 실시간 태스크로 구성된 주기적 실시간 태스크 그룹 정보들을 수집하는 단계; 및상기 경성 실시간 수행 가능성 테스트 도구가 미리 설정되는 제 2 스케줄링 알고리즘을 통해 상기 주기적 실시간 태스크 정보를 갖는 실시간 태스크 그룹내의 예약 자원에 대한 수행 가능성을 판단하는 단계;를 포함하고,상기 운영체제는,주기적 실시간 태스크와 비주기적 실시간 태스크가 동시에 존재하는 것을 허용하고, 상기 비주기적 실시간 태스크를 주기적 실시간 태스크 그룹에 포함하여 CPU자원을 관리하고,상기 주기적 실시간 태스크는,상기 비주기적 실시간 태스크보다 높은 우선순위를 가지며,상기 비주기적 실시간 태스크는,각각의 상기 비주기적 실시간 태스크 내 속성으로 설정된 고정 우선순위를 기반으로 상기 비주기적 실시간 태스크 간 스케줄링 우선순위가 결정되며,상기 주기적 실시간 태스크 그룹은,상기 비주기적 실시간 태스크를 포함하며, 주기 및 실행시간의 속성을 가지며, 상기 비주기적 실시간 태스크의 고정 우선순위에 대한 정보를 포함하지 않고,상기 경성 실시간 수행 가능성 테스트 도구는,상기 비주기적 실시간 태스크 정보 및 상기 비주기적 실시간 태스크로 구성된 주기적 실시간 태스크 그룹의 정보들을 수집하는 비주기적 실시간 태스크 정보 수집 모듈; 상기 주기적 실시간 태스크 정보를 수집하는 주기적 실시간 태스크 정보 수집 모듈; 및상기 비주기적 실시간 태스크 정보 수집 모듈 및 주기적 실시간 태스크 정보 수집 모듈로부터 수집한 스케줄러의 정보를 통하여 주기적 실시간 태스크 그룹내의 예약 자원에 대한 수행 가능성을 판단하는 수행 가능성 테스트 모듈;을 포함하고,상기 수행 가능성 테스트 모듈은,상기 비주기적 실시간 태스크 정보 수집 모듈 및 주기적 실시간 태스크 정보 수집 모듈로부터 수집한 스케줄러의 정보를 통하여 수행 가능성 분석 대상과 수행 가능성 분석 연산 대상을 판단하여 각 각 해당 집합에 추가 하고, 상기 수행 가능성 분석 대상 집합의 처음부터 끝까지 탐색하여 수행가능성 연산을 수행하며, 상기 수행가능성 분석 대상 집합의 끝까지 수행 가능성 연산을 통과하면 상기 실시간 태스크 그룹내의 예약 자원에 대해 실행 가능으로 판정하고, 상기 수행 가능성 분석 도중 수행 가능성 연산을 통과하지 못하는 태스크 그룹이 존재하면 상기 실시간 태스크 그룹내의 예약 자원에 대해 실행 불가능으로 판정하며,상기 수행 가능성 분석 대상은, 상기 비주기적 실시간 태스크 그룹으로 구성된 주기적 실시간 태스크 그룹을 대상으로 구성되며,상기 수행가능성 분석 연산 대상은, 상기 수행 가능성 분석 대상보다 비교적 높은 우선순위를 가지는 비주기적 실시간 태스크를 포함하는 주기적 실시간 태스크 그룹 또는 주기적 실시간 태스크를 대상으로 구성되며,상기 수행 가능성 연산은,각 CPU에 허용된 실시간 자원에 대해 상기 수행 가능성 분석 연산 대상 에 해당하는 상기 비주기적 태스크와 상기 주기적 태스크가 선점하고 남은 실행시간이 상기 수행가능성 분석 대상이 요구하는 실행시간을 만족하는 경우 실행 가능으로 판단하며,상기 수행가능성 분석 대상의 CPU를 선점 가능한 태스크 또는 태스크 그룹은,상기 수행가능성 분석 연산 대상과, 상기 수행가능성 분석 대상의 집합 내에서 현재 수행가능성 분석 대상의 최소 우선순위보다 높은 최대 우선순위를 갖는 모든 주기적 실시간 태스크 그룹이며,상기 수행 가능성 분석 연산 대상이 선점하는 실행시간은 수학식 (여기서, 와 은 자연수로 각 태스크의 우선순위 크기를 높은 순으로 나타낸다 |
지정국 정보가 없습니다 |
---|
순번 | 패밀리번호 | 국가코드 | 국가명 | 종류 |
---|---|---|---|---|
1 | US10296381 | US | 미국 | FAMILY |
2 | US20170255488 | US | 미국 | FAMILY |
순번 | 패밀리번호 | 국가코드 | 국가명 | 종류 |
---|---|---|---|---|
1 | US10296381 | US | 미국 | DOCDBFAMILY |
2 | US2017255488 | US | 미국 | DOCDBFAMILY |
국가 R&D 정보가 없습니다. |
---|
공개전문 정보가 없습니다 |
---|
특허 등록번호 | 10-1733534-0000 |
---|
표시번호 | 사항 |
---|---|
1 |
출원 연월일 : 20160304 출원 번호 : 1020160026111 공고 연월일 : 20170524 공고 번호 : 특허결정(심결)연월일 : 20170427 청구범위의 항수 : 7 유별 : G06F 11/36 발명의 명칭 : 경성 실시간 스케줄링 태스크 그룹을 위한 수행 가능성 분석 방법 및 장치 존속기간(예정)만료일 : |
순위번호 | 사항 |
---|---|
1 |
(권리자) 국방과학연구소 대전광역시 유성구... |
제 1 - 3 년분 | 금 액 | 159,000 원 | 2017년 05월 02일 | 납입 |
제 4 년분 | 금 액 | 97,000 원 | 2020년 04월 02일 | 납입 |
번호 | 서류명 | 접수/발송일자 | 처리상태 | 접수/발송번호 |
---|---|---|---|---|
1 | [특허출원]특허출원서 | 2016.03.04 | 수리 (Accepted) | 1-1-2016-0210287-56 |
2 | 선행기술조사의뢰서 | 2016.10.11 | 수리 (Accepted) | 9-1-9999-9999999-89 |
3 | 선행기술조사보고서 | 2016.11.07 | 발송처리완료 (Completion of Transmission) | 9-6-2016-0161487-67 |
4 | 의견제출통지서 | 2016.12.16 | 발송처리완료 (Completion of Transmission) | 9-5-2016-0906939-43 |
5 | [명세서등 보정]보정서 | 2017.02.16 | 보정승인간주 (Regarded as an acceptance of amendment) | 1-1-2017-0160350-63 |
6 | [거절이유 등 통지에 따른 의견]의견(답변, 소명)서 | 2017.02.16 | 수리 (Accepted) | 1-1-2017-0160349-16 |
7 | 등록결정서 | 2017.04.27 | 발송처리완료 (Completion of Transmission) | 9-5-2017-0303631-00 |
기술정보가 없습니다 |
---|
과제고유번호 | 1415150726 |
---|---|
세부과제번호 | 13-DU-IC-01-MKE |
연구과제명 | 복합무기체계 S/W 공통운용기술 |
성과구분 | 출원 |
부처명 | 산업통상자원부 |
연구관리전문기관명 | |
연구주관기관명 | |
성과제출연도 | 2016 |
연구기간 | 201606~201706 |
기여율 | 0.5 |
연구개발단계명 | 응용연구 |
6T분류명 | IT(정보기술) |
과제고유번호 | 1695005610 |
---|---|
세부과제번호 | 13-DU-IC-01 |
연구과제명 | 복합무기체계 S/W 공통운용기술 |
성과구분 | 출원 |
부처명 | 방위사업청 |
연구관리전문기관명 | |
연구주관기관명 | |
성과제출연도 | 2016 |
연구기간 | 201606~201706 |
기여율 | 0.5 |
연구개발단계명 | 응용연구 |
6T분류명 | IT(정보기술) |
과제고유번호 | 1415150726 |
---|---|
세부과제번호 | 13-DU-IC-01-MKE |
연구과제명 | 복합무기체계 S/W 공통운용기술 |
성과구분 | 등록 |
부처명 | 산업통상자원부 |
연구관리전문기관명 | |
연구주관기관명 | |
성과제출연도 | 2016 |
연구기간 | 201606~201706 |
기여율 | 0.5 |
연구개발단계명 | 응용연구 |
6T분류명 | IT(정보기술) |
과제고유번호 | 1695005610 |
---|---|
세부과제번호 | 13-DU-IC-01 |
연구과제명 | 복합무기체계 S/W 공통운용기술 |
성과구분 | 등록 |
부처명 | 방위사업청 |
연구관리전문기관명 | |
연구주관기관명 | |
성과제출연도 | 2016 |
연구기간 | 201606~201706 |
기여율 | 0.5 |
연구개발단계명 | 응용연구 |
6T분류명 | IT(정보기술) |
[1020170043882] | 임무 서비스를 이용한 주차 관리 시스템 | 새창보기 |
---|---|---|
[1020170041561] | SOA 기반 하이브리드 모바일 국방 상황도의 구축 시스템 및 방법 | 새창보기 |
[1020170039249] | 군 정찰용 무인기의 서비스정보 환경 구축 및 군 상황도를 활용한 서비스호출 연계 방법 및 시스템 | 새창보기 |
[1020160090973] | 임무 서비스 실행 방법 및 장치 | 새창보기 |
[1020160072221] | 촬영 영상 송신 방법 및 이를 수행하는 서버 | 새창보기 |
[1020160053006] | 가변 이익을 적용한 연속적 냅색 알고리즘 기반 서비스 자원 할당 방법 및 시스템 | 새창보기 |
[1020160048061] | 시맨틱 기반 임무 서비스 제공 방법 및 장치 | 새창보기 |
[1020160026111] | 경성 실시간 스케줄링 태스크 그룹을 위한 수행 가능성 분석 방법 및 장치 | 새창보기 |
[KST2015157092][국방과학연구소] | 항공기용 다중 컴퓨터의 고장 허용 장치 및 방법 | 새창보기 |
---|---|---|
[KST2015155352][국방과학연구소] | 무기체계 구조 개선을 위한 소프트웨어 리팩토링 방법 | 새창보기 |
[KST2021004012][국방과학연구소] | 테스트 환경 구축 방법 및 장치 | 새창보기 |
[KST2019017968][국방과학연구소] | 전술데이터링크 소프트웨어 시험 환경을 구성하는 방법, 장치 및 기록매체 | 새창보기 |
[KST2019028495][국방과학연구소] | 대용량 영상 입력 모사장치 | 새창보기 |
[KST2019013269][국방과학연구소] | 소프트웨어 검증 장치 및 방법 | 새창보기 |
[KST2022001309][국방과학연구소] | 프로그램을 검사하는 전자 장치 및 이의 검사 방법 | 새창보기 |
[KST2015155893][국방과학연구소] | 사용자 행위 분석을 통한 자료유출 탐지 시스템 및 그 방법 | 새창보기 |
[KST2018012815][국방과학연구소] | 임베디드 시스템의 테스팅을 위한 테스트 스크립트 생성 장치 및 그 방법 | 새창보기 |
[KST2021006966][국방과학연구소] | 컴퓨터 장치 및 컴퓨터 장치의 바이너리 프로그램 실행 속도 측정방법 | 새창보기 |
[KST2020005150][국방과학연구소] | 전술 데이터 링크에서의 메시지 통합 모니터링 장치 및 그 방법 | 새창보기 |
[KST2018014754][국방과학연구소] | 빠르고 정확한 실행 시간 예측을 위한 하이브리드 명령어 집합 시뮬레이션 방법 및 시스템 | 새창보기 |
[KST2019013165][국방과학연구소] | 기본체계모델을 검증하기 위한 방법 및 장치 | 새창보기 |
[KST2020000187][국방과학연구소] | 무기체계 소프트웨어 신뢰성 추정 방법, 무기체계 소프트웨어 신뢰성 관리 방법 및 장치, 이를 위한 프로그램이 기록된 컴퓨터 판독가능 기록매체 | 새창보기 |
[KST2020013914][국방과학연구소] | 신뢰성 시험 도구 설정 장치 및 방법 | 새창보기 |
[KST2015155053][국방과학연구소] | 웹 로봇 탐지 시스템 및 방법 | 새창보기 |
[KST2015155879][국방과학연구소] | 시뮬레이션 실행의 고속화 기법 | 새창보기 |
[KST2020005122][국방과학연구소] | 기호 실행 수행 장치 및 방법 | 새창보기 |
[KST2022001307][국방과학연구소] | 퍼징에서 시드 파일을 스케줄링 하는 방법 및 이를 위한 장치 | 새창보기 |
[KST2022022217][국방과학연구소] | 이상 데이터 검출 방법 및 이를 위한 전자 장치 | 새창보기 |
[KST2022002432][국방과학연구소] | 소프트웨어 오염 분석 방법 및 이를 이용하는 소프트웨어 오염 분석 장치 | 새창보기 |
[KST2022006111][국방과학연구소] | 전자 장치의 미사일 시스템 데이터 분석 방법 | 새창보기 |
[KST2020009482][국방과학연구소] | 병렬 프로그램의 소스 코드 분석 장치 및 방법, 기록매체 | 새창보기 |
[KST2021005204][국방과학연구소] | 서비스 연결제어 방법 및 시스템 | 새창보기 |
[KST2017014115][국방과학연구소] | 지속적인 서비스 제공을 위한 정상상태 모델 기반의 침입감내 시스템 및 그 제어방법(INTRUSION TOLERANCE SYSTEM AND METHOD FOR PROVIDING SERVICE BASED ON STEADY STATE MODEL) | 새창보기 |
[KST2019001435][국방과학연구소] | 전술 데이터 링크 시스템, 전술 데이터 링크 시스템의 데이터 처리 장치 | 새창보기 |
[KST2021007699][국방과학연구소] | 스케줄링 프로세서 및 방법 | 새창보기 |
[KST2018006185][국방과학연구소] | 오류 모의 함수를 이용한 자동화 기반 강건성 검증 장치 및 방법(Apparatus and Method for verifying automation based robustness using mutation Application Programming Interface) | 새창보기 |
[KST2019003985][국방과학연구소] | 모의비행을 이용한 비행제어장치의 탑재 소프트웨어 검증시스템 | 새창보기 |
[KST2018007385][국방과학연구소] | 전자장비 입출력신호 및 SW 성능 시험 장치 및 방법 | 새창보기 |
심판사항 정보가 없습니다 |
---|