| 1 |
1
실시간 임베디드 소프트웨어의 소스 코드가 존재하는 경우에는 그 소스코드로부터, 또는 실시간 임베디드 소프트웨어의 소스 코드가 존재하지 않은 경우에는 그 해당 소프트웨어의 디자인 모델로부터, 프로세서별 태스크를 분석하는 태스크 분석 수단과; 상기 실시간 임베디드 소프트웨어의 소스 코드부터, 또는 그 해당 소프트웨어의 디자인 모델로부터, 네트워크별 메시지를 분석하는 메시지 분석 수단과; 상기 태스크 분석 수단의 프로세서별 태스크 분석 결과와 상기 메시지 분석 수단의 네트워크별 메시지 분석 결과로부터, 태스크가 동작하고 있는 해당 운영체제의 스케쥴링 정책의 특성을 고려한 태스크의 최악 응답 시간을 분석하는 태스크 최악 응답시간 분석 수단과; 상기 태스크 최악 응답시간 분석 수단에서 분석된 각 태스크의 최악 응답시간이 해당 태스크의 마감 시간을 초과하는 지를 분석하는 태스크 실시간성 분석 수단을 포함하여 구성되는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 장치
|
| 2 |
2
제 1 항에 있어서, 상기 태스크 분석 수단은 상기 실시간 임베디드 소프트웨어의 소스 코드로부터, 또는 그 해당 소프트웨어의 디자인 모델로부터, 각 프로세서별로 구분되는 태스크 모델을 생성하는 프로세서/태스크 모델 생성부와; 상기 프로세서/태스크 모델 생성부에서 생성된 태스크 모델로부터 각 태스크의 최악 실행시간을 분석하는 태스크 최악 실행시간 분석부와; 상기 프로세서/태스크 모델 생성부에서 생성된 태스크 모델과 상기 태스크 최악 실행시간 분석부에서 분석된 태스크의 최악 실행시간으로부터, 태스크간 공유 자원 사용에 의한 동기화에 따른 각 태스크의 최악 지연시간을 분석하는 태스크 동기화 분석부로 구성되는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 장치
|
| 3 |
3
제 2 항에 있어서, 상기 프로세서/태스크 모델 생성부에서 생성된 각 프로세서별 태스크 모델은 분산 임베디드 소프트웨어 응용 프로그램의 태스크들 뿐만 아니라, 운영체제의 태스크들을 포함한 프로세서 상에 동작하는 모든 태스크들의 모델인 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 장치
|
| 4 |
4
제 3 항에 있어서, 상기 프로세서/태스크 모델 생성부에서 생성된 각 프로세서별 태스크 모델은 태스크 인식자, 마감시한 및 실행 반복 주기를 속성으로 가지는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 장치
|
| 5 |
5
제 4 항에 있어서, 상기 프로세서/태스크 모델 생성부에서 생성된 각 프로세서별 태스크 모델의 태스크가 일정한 주기를 가지지 않는 산발성 태스크인 경우에는, 상기 각 프로세서별 태스크 모델은 태스크 인식자, 마감시한 및 최대 실행 반복 주기를 속성으로 가지는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 장치
|
| 6 |
6
제 1 항에 있어서, 상기 메시지 분석 수단은 상기 실시간 임베디드 소프트웨어의 소스 코드로부터, 또는 그 해당 소프트웨어의 디자인 모델로부터, 각 네트워크별로 메시지 모델을 생성하는 네트워크/메시지 모델 생성부와; 상기 네크워크/메시지 모델 생성부에서 생성된 메시지 모델로부터 각 메시지의 단일 전송시간을 분석하는 단일 메시지 전송시간 분석부와; 상기 네크워크/메시지 모델 생성부에서 생성된 메시지 모델과 상기 단일 메시지 전송시간 분석부에서 분석된 단일 메시지 전송시간으로부터 메시지간 간섭에 의한 최악 메시지 전송시간을 분석하는 메시지 최악 전송시간 분석부로 구성되는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 장치
|
| 7 |
7
제 6 항에 있어서, 상기 네크워크/메시지 모델 생성부에서 생성된 각 네크워크별 메시지 모델은 메시지 인식자, 메시지 길이, 마감시한 및 전송 반복주기를 속성으로 가지는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 장치
|
| 8 |
8
제 7 항에 있어서, 상기 각 네트워크는 네트워크 인식자 및 메시지 처리가능량을 속성으로 가지는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 장치
|
| 9 |
9
실시간 임베디드 소프트웨어의 소스 코드가 존재하는 경우에는 그 소스코드로부터, 또는 실시간 임베디드 소프트웨어의 소스 코드가 존재하지 않은 경우에는 그 해당 소프트웨어의 디자인 모델로부터, 프로세서별 태스크를 분석하는 제1 단계와; 상기 실시간 임베디드 소프트웨어의 소스 코드로부터, 또는 그 해당 소프트웨어의 디자인 모델로부터, 네트워크별 메시지를 분석하는 제2 단계와; 상기 제1 단계의 프로세서별 태스크 분석 결과와 상기 제2 단계의 네트워크별 메시지 분석 결과로부터, 태스크가 동작하고 있는 해당 운영체제의 스케쥴링 정책의 특성을 고려한 태스크의 최악 응답 시간을 분석하는 제3 단계와; 상기 제3 단계에서 분석된 각 태스크의 최악 응답시간이 해당 태스크의 마감 시간을 초과하는 지를 분석하는 제4 단계를 포함하여 이루어 지는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 방법
|
| 10 |
10
제 9 항에 있어서, 상기 제1 단계는 상기 실시간 임베디드 소프트웨어의 소스 코드로부터, 또는 그 해당 소프트웨어의 디자인 모델로부터, 각 프로세서별로 구분되는 태스크 모델을 생성하는 제1 과정과; 상기 제1 과정에서 생성된 태스크 모델로부터 각 태스크의 최악 실행시간을 분석하는 제2 과정과; 상기 제1 과정에서 생성된 태스크 모델과 상기 제2 과정에서 분석된 태스크의 최악 실행시간으로부터, 태스크간 공유 자원 사용에 의한 동기화에 따른 각 태스크의 최악 지연시간을 분석하는 제3 과정으로 이루어 지는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 방법
|
| 11 |
11
제 10 항에 있어서, 상기 제1 과정에서 생성된 각 프로세서별 태스크 모델은 분산 임베디드 소프트웨어 응용 프로그램의 태스크들 뿐만 아니라, 운영체제의 태스크들을 포함한 프로세서 상에 동작하는 모든 태스크들의 모델인 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 방법
|
| 12 |
12
제 11 항에 있어서, 상기 제1 과정에서 생성된 각 프로세서별 태스크 모델은 태스크 인식자, 마감시한 및 실행 반복 주기를 속성으로 가지는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 방법
|
| 13 |
13
제 12 항에 있어서, 상기 제1 과정에서 생성된 각 프로세서별 태스크 모델의 태스크가 일정한 주기를 가지지 않는 산발성 태스크인 경우에는, 각 프로세서별 태스크 모델은 태스크 인식자, 마감시한 및 최대 실행 반복 주기를 속성으로 가지는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 방법
|
| 14 |
14
제 9 항에 있어서, 상기 제2 단계는 상기 실시간 임베디드 소프트웨어의 소스 코드로부터, 또는 그 해당 소프트웨어의 디자인 모델로부터, 각 네트워크별로 메시지 모델을 생성하는 제1 과정과; 상기 제1 과정에서 생성된 메시지 모델로부터 각 메시지의 단일 전송시간을 분석하는 제2 과정과; 상기 제1 과정에서 생성된 메시지 모델과 상기 제2 과정에서 분석된 단일 메시지 전송시간으로부터 메시지간 간섭에 의한 최악 메시지 전송시간을 분석하는 제3 과정으로 이루어 지는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 방법
|
| 15 |
15
제 14 항에 있어서, 상기 제1 과정에서 생성된 각 네크워크별 메시지 모델은 메시지 인식자, 메시지 길이, 마감시한 및 전송 반복주기를 속성으로 가지는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 방법
|
| 16 |
16
제 15 항에 있어서, 상기 각 네트워크는 네트워크 인식자 및 메시지 처리가능량을 속성으로 가지는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 방법
|
| 17 |
16
제 15 항에 있어서, 상기 각 네트워크는 네트워크 인식자 및 메시지 처리가능량을 속성으로 가지는 것을 특징으로 하는 분산 실시간 임베디드 소프트웨어를 위한 정적 실시간성 분석 방법
|
