| 1 |
1
컴포넌트 기반 시스템에 대한 실시간 적합성 검사 방법에 있어서,상기 시스템을 구성하는 컴포넌트들을 테스트하기 위한 테스트 케이스들을 생성하는 단계;상기 생성된 테스트 케이스들에 기초하여 상기 컴포넌트들을 테스트하는 것에 의해 각 테스트 케이스에 대한 컴포넌트의 수행 사이클 수를 계산하는 단계;상기 계산된 컴포넌트의 수행 사이클 수에 기초하여 컴포넌트들의 최악 수행 시간(Worst-Case Execution Time, WCET)을 계산하는 단계; 및상기 계산된 컴포넌트들의 최악 수행 시간과 상기 컴포넌트들의 입출력 연관관계 정보에 기초하여 상기 시스템의 실시간 적합성 여부를 판단하는 단계를 포함하는 실시간 적합성 검사 방법
|
| 2 |
2
제1항에 있어서,상기 실시간 적합성 여부를 판단하는 단계는,상기 계산된 컴포넌트들의 최악 수행 시간과 상기 컴포넌트들의 입출력 연관관계 정보에 기초하여 상기 시스템의 입력에서 출력까지 연결된 컴포넌트들의 전체 최악 수행 시간을 결정하는 단계; 및상기 전체 최악 수행 시간에 기초하여 상기 시스템의 실시간 적합성 여부를 판단하는 단계를 포함하는 실시간 적합성 검사 방법
|
| 3 |
3
제1항에 있어서,상기 실시간 적합성 여부를 판단하는 단계는,각 컴포넌트의 출력에 대한 출력 계산 시간이 미리 정해진 제약 시간보다 작은지 여부에 기초하여 상기 시스템의 실시간 적합성 여부를 판단하는 것을 특징으로 하는 실시간 적합성 검사 방법
|
| 4 |
4
제3항에 있어서,상기 출력 계산 시간은,출력 계산 시간 누적 함수 또는 입력 도달 시간 누적 함수를 이용하여 생성되는 것을 특징으로 하는 실시간 적합성 검사 방법
|
| 5 |
5
제4항에 있어서,상기 출력 계산 시간 누적 함수는,상기 각 컴포넌트의 출력에 관한 입력들의 입력 도달 시간의 최댓값을 누적시키는 것을 특징으로 하는 실시간 적합성 검사 방법
|
| 6 |
6
제4항에 있어서,상기 입력 도달 시간 누적 함수는,상기 각 컴포넌트의 출력에 관한 입력의 최종 도달 시간을 누적시키는 것을 특징으로 하는 실시간 적합성 검사 방법
|
| 7 |
7
제1항에 있어서,상기 최악 수행 시간을 계산하는 단계는,각 컴포넌트의 입력 데이터의 입력 도달 시간 및 각 컴포넌트의 출력 데이터에 대한 출력 계산 시간에 기초하여 상기 최악 수행 시간을 계산하는 것을 특징으로 하는 실시간 적합성 검사 방법
|
| 8 |
8
제1항에 있어서,상기 판단 결과, 컴포넌트의 실시간 적합성이 부적합하다고 판단된 경우, 상기 컴포넌트의 입력 도달 시간 또는 출력 계산 시간을 수정하는 단계를 더 포함하는 실시간 적합성 검사 방법
|
| 9 |
9
제1항에 있어서,상기 최악 수행 시간을 계산하는 단계는,컴포넌트의 최대 수행 사이클 수와 중앙 프로세서 유닛(central processing unit; CPU)의 클록 속도에 기초하여 결정되는 것을 특징으로 하는 실시간 적합성 검사 방법
|
| 10 |
10
제1항에 있어서,상기 테스트 케이스들을 생성하는 단계는,컴포넌트들의 입출력 연관관계 정보와 상기 컴포넌트들의 입출력 타이밍 정보에 기초하여 테스트 케이스들을 생성하는 것을 특징으로 하는 실시간 적합성 검사 방법
|
| 11 |
11
제1항 내지 제10항 중 어느 하나의 항의 방법을 실행하기 위한 인스트럭션들을 저장하는 컴퓨터 판독 가능한 저장 매체
|
| 12 |
12
컴포넌트 기반 시스템에 대한 실시간 적합성 검사 장치에 있어서,상기 시스템을 구성하는 컴포넌트들을 테스트하기 위한 테스트 케이스들을 생성하는 테스트 케이스 생성기;상기 생성된 테스트 케이스들에 기초하여 상기 컴포넌트들을 테스트하는 것에 의해 각 테스트 케이스에 대한 컴포넌트의 수행 사이클 수를 계산하는 테스트 실행기; 및상기 계산된 컴포넌트의 수행 사이클 수에 기초하여 컴포넌트들의 최악 수행 시간(Worst-Case Execution Time, WCET)을 계산하고, 상기 계산된 컴포넌트들의 최악 수행 시간과 상기 컴포넌트들의 입출력 연관관계 정보에 기초하여 상기 시스템의 실시간 적합성 여부를 판단하는 테스트 결과 분석기를 포함하는 실시간 적합성 검사 장치
|
| 13 |
13
제12항에 있어서,상기 판단 결과, 컴포넌트의 실시간 적합성이 부적합하다고 판단된 경우, 상기 컴포넌트의 입력 도달 시간 또는 출력 계산 시간을 수정하는 타이밍 정보 분석부를 더 포함하는 실시간 적합성 검사 장치
|
