| 1 |
1
차량전장용 운영체제(OS)의 요구사항 명세서를 기반으로, OSEK/VDX 시스템 태스크의 상태 전이(State Transition)를 일으키는 문맥 변환(Context Switching)을 도출하는 단계;문맥 변환 조건을 만족하는지 확인하는 단계;상기 문맥 변환 조건을 만족하는 경우, 프로그램 카운터를 나타내는 변수값을 설정하여 현재 문맥 정보를 저장하는 단계;현재 실행 중인 태스크를 중단시키는 단계; 및저장된 변수값을 이용하여 다음 순서에 실행되는 태스크를 실행 시작 시점으로 이동시키는 단계를 포함하고,상기 문맥 정보를 저장하는 단계는,상기 변수값을 태스크의 실행 전에 초기화하는 단계;상기 변수값을 API 호출에 따른 상태 전이 이전에 증가시키는 단계; 및다음 순서에 실행되는 태스크가 준비 상태(ready state)가 되어 준비 대기열 로 푸시되는 경우, 상기 변수값을 상기 준비 대기열(ready queue)로 저장하는 단계를 포함하는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 방법
|
| 2 |
2
제1항에 있어서, 상기 문맥 변환 조건을 만족하는 경우, 프로그램 카운터를 나타내는 변수값을 사용하여 현재 문맥 정보를 저장하는 단계는,변환 시점(switch point)을 업데이트하는 단계를 더 포함하는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 방법
|
| 3 |
3
제2항에 있어서, 상기 저장된 변수값을 이용하여 다음 순서에 실행되는 태스크를 실행 시작 시점으로 이동시키는 단계는,상기 다음 순서에 실행되는 태스크를 상기 변환 시점에서 실행을 시작시키는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 방법
|
| 4 |
4
제1항에 있어서, 상기 문맥 변환 조건을 만족하는지 확인하는 단계는,문맥 변환 조건을 만족하는 경우 1을 반환하고, 문맥 변환 조건을 만족하지 않는 경우 0을 반환하는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 방법
|
| 5 |
5
삭제
|
| 6 |
6
제1항에 있어서,상기 프로그램 카운터를 나타내는 변수값은 상기 태스크의 실행 시작 시점에서, API 호출 다음 라인(line)에 배치되는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 방법
|
| 7 |
7
삭제
|
| 8 |
8
제1항에 있어서, 상기 저장된 변수값을 이용하여 다음 순서에 실행되는 태스크를 실행 시작 시점으로 이동시키는 단계는,절차 간(Inter-procedural) 문맥 변환 규칙에 따르는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 방법
|
| 9 |
9
제1항에 있어서, 상기 저장된 변수값을 이용하여 다음 순서에 실행되는 태스크를 실행 시작 시점으로 이동시키는 단계는,절차 내(Intra-procedural) 문맥 변환 규칙에 따르는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 방법
|
| 10 |
10
제1항에 있어서, 상기 OSEK/VDX 시스템 태스크의 상태 전이(State Transition)를 일으키는 문맥 변환(Context Switching)을 도출하는 단계는,특정 API(Application Programming Interface) 호출에 대해 현재 실행 중인 태스크보다 높은 우선순위를 갖는 태스크가 대기열 내에 존재하는지 확인하는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 방법
|
| 11 |
11
제10항에 있어서, 호출된 API는 ActivateTask, Schedule, ReleaseResource, ChainTask, TerminateTask, WaitEvent, 및 SetEvent 중 하나인, C 언어 기반 내장형 소프트웨어 운영체제 모델링 방법
|
| 12 |
12
제1항 내지 제4항, 제6항 및 제8항 내지 제11항 중 어느 하나의 항에 따른 C 언어 기반 내장형 소프트웨어 운영체제 모델링 방법을 수행하기 위한, 컴퓨터 프로그램이 기록된 컴퓨터로 판독 가능한 기록 매체
|
| 13 |
13
차량전장용 운영체제(OS)의 요구사항 명세서를 기반으로, OSEK/VDX 시스템 태스크의 상태 전이(State Transition)를 일으키는 문맥 변환(Context Switching)을 도출하고, 문맥 변환 조건을 만족하는지 확인하는 문맥 변환 도출부;상기 문맥 변환 조건을 만족하는 경우, 프로그램 카운터를 나타내는 변수값을 설정하여 현재 문맥 정보를 저장하는 문맥 저장부;현재 실행 중인 태스크를 중단시키는 태스크 중단부; 및저장된 변수값을 이용하여 다음 순서에 실행되는 태스크를 실행 시작 시점으로 이동시키는 시점 이동부를 포함하고,상기 문맥 저장부는,상기 변수값을 태스크의 실행 전에 초기화하고, 상기 변수값을 API 호출에 따른 상태 전이 이전에 증가시키고, 다음 순서에 실행되는 태스크가 준비 상태 (ready state)가 되어 준비 대기열로 푸시되는 경우, 상기 변수값을 상기 준비 대 기열(ready queue)로 저장하여 프로그램 카운터를 나타내는 변수값을 설정하는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 장치
|
| 14 |
14
제13항에 있어서, 상기 문맥 저장부는 변환 시점(switch point)을 업데이트하고, 상기 시점 이동부는 상기 다음 순서에 실행되는 태스크를 상기 변환 시점에서 실행을 시작하게 하는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 장치
|
| 15 |
15
제13항에 있어서, 상기 문맥 변환 도출부는,문맥 변환 조건을 만족하는 경우 1을 반환하고, 문맥 변환 조건을 만족하지 않는 경우 0을 반환하는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 장치
|
| 16 |
16
삭제
|
| 17 |
17
삭제
|
| 18 |
18
제13항에 있어서, 상기 시점 이동부는,다음 순서에 실행되는 태스크를 절차 간(Inter-procedural) 문맥 변환 규칙 또는 절차 내(Intra-procedural) 문맥 변환 규칙에 따라 이동시키는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 장치
|
| 19 |
19
제13항에 있어서, 상기 문맥 변환 도출부는,특정 API(Application Programming Interface) 호출에 대해 현재 실행 중인 태스크보다 높은 우선순위를 갖는 태스크가 대기열 내에 존재하는지 확인하는, C 언어 기반 내장형 소프트웨어 운영체제 모델링 장치
|
| 20 |
20
제19항에 있어서, 호출된 API는 ActivateTask, Schedule, ReleaseResource, ChainTask, TerminateTask, WaitEvent, 및 SetEvent 중 하나인, C 언어 기반 내장형 소프트웨어 운영체제 모델링 장치
|
