| 1 |
1
검증 대상 소프트웨어의 운영체제 모델을 생성하는 단계;상기 검증 대상 소프트웨어에 대한 어플리케이션 모델을 생성하는 단계; 및상기 운영체제 모델과 상기 어플리케이션 모델을 포함하는 상호작용 모델을 생성하는 단계;를 포함하고,상기 어플리케이션 모델을 생성하는 단계는,상기 검증 대상 소프트웨어를 복수의 노드로 구분하는 단계, 및상기 운영체제 모델의 API 함수 호출 여부를 상기 복수의 노드에 대해 각각 체크하는 단계,를 포함하고,상기 API 함수 호출 여부를 상기 복수의 노드에 대해 각각 체크하는 단계는, 상기 복수의 노드 중 API 함수 호출을 포함하지 않는 연속적인 노드들을 하나의 노드로 병합하여 코드 임베딩에 관한 주석을 추가하는 단계, 및 상기 복수의 노드 중 API 함수 호출을 포함하는 노드는 상호작용 지점임을 의미하는 주석을 추가하는 단계,를 포함하는 것을 특징으로 하는 사물인터넷 디바이스의 제어 소프트웨어 검증 방법
|
| 2 |
2
제1 항에 있어서,상기 운영체제 모델을 생성하는 단계는,상기 검증 대상 소프트웨어의 구조에 따라 커널 변수, API 함수, 기본 동작, 알람 및 ISR(Interrupt Service Routine)에 관해 기 정의된 패턴을 이용하여 생성하고,상기 커널 변수는 우선순위 대기열, 작업의 정적 구성, 동적 작업 정보, 자원 테이블, 이벤트 테이블에 관한 정보 중 적어도 하나를 포함하고,상기 API 함수는 상기 운영체제 모델에서 인라인 함수(inline function)로 모델링하는 것을 포함하고,상기 기본 동작은 상기 우선순위 대기열을 사용하여 작업의 정보를 얻는 것을 포함하고,상기 알람은 주기적으로 작업을 수행하거나 이벤트를 설정할 수 있는 것을 포함하고,상기 ISR(Interrupt Service Routine)은 작업의 일종으로 모델링하는 것을 포함하는 사물인터넷 디바이스의 제어 소프트웨어 검증 방법
|
| 3 |
3
삭제
|
| 4 |
4
제1 항에 있어서,상기 상호작용 모델을 생성하는 단계는,상기 운영체제 모델과 상기 어플리케이션 모델의 상호작용 지점을 파악하는 단계; 및상기 상호작용 지점을 기준으로 상기 운영체제 모델과 상기 어플리케이션 모델을 하나의 모델에 삽입하는 단계를 포함하는 것을 특징으로 하는 사물인터넷 디바이스의 제어 소프트웨어 검증 방법
|
| 5 |
5
제4 항에 있어서,상기 하나의 모델에 삽입하는 단계는,상기 어플리케이션 모델을 상기 상호작용 지점을 기준으로 변환하여 삽입하며,상기 어플리케이션 모델에서 상기 운영체제 모델의 API 함수를 호출하지 않는 부분은 변환 없이 그대로 삽입하는 것을 특징으로 하는 사물인터넷 디바이스의 제어 소프트웨어 검증 방법
|
| 6 |
6
검증 대상 소프트웨어의 운영체제 모델을 생성하는 운영체제 모델 생성부;상기 검증 대상 소프트웨어에 대한 어플리케이션 모델을 생성하는 어플리케이션 모델 생성부;상기 운영체제 모델과 상기 어플리케이션 모델을 포함하는 상호작용 모델을 생성하는 상호작용 모델 생성부; 및상기 상호작용 모델을 이용하여 상기 검증 대상 소프트웨어의 유효성을 검증하는 검증부를 포함하고,상기 어플리케이션 모델 생성부는,상기 검증 대상 소프트웨어를 복수의 노드로 구분하고 상기 운영체제 모델의 API 함수 호출 여부를 상기 복수의 노드에 대해 각각 체크 후, API 함수를 호출하지 않는 노드는 하나의 노드로 병합하여 코드 임베딩에 관한 주석을 추가하고 API 함수를 호출하는 노드는 상호작용 지점임을 의미하는 주석을 추가하는 것을 특징으로 하는 사물인터넷 디바이스의 제어 소프트웨어 검증 장치
|
| 7 |
7
제6 항에 있어서,상기 운영체제 모델 생성부는상기 검증 대상 소프트웨어의 구조에 따라 커널 변수, API 함수, 기본 동작, 알람 및 ISR(Interrupt Service Routine)에 관해 기 정의된 패턴을 이용하여 생성하며상기 커널 변수는 우선순위 대기열, 작업의 정적 정보, 작업의 동적 정보, 자원 테이블 및 이벤트 테이블에 관한 정보 중 적어도 하나를 포함하고상기 API 함수는 상기 운영체제 모델에서 인라인 함수(inline function)로 모델링하는 것을 포함하고,상기 기본 동작은 상기 우선순위 대기열을 사용하여 작업의 정보를 얻는 것을 포함하고,상기 알람은 주기적으로 작업을 수행하거나 이벤트를 설정할 수 있는 것을 포함하고,상기 ISR(Interrupt Service Routine)은 작업의 일종으로 모델링하는 것을 포함하는 사물인터넷 디바이스의 제어 소프트웨어 검증 장치
|
| 8 |
8
삭제
|
| 9 |
9
제6 항에 있어서,상기 상호작용 모델 생성부는상호작용 지점을 파악한 후 이를 기준으로 상기 운영체제 모델과 상기 어플리케이션 모델을 하나의 모델에 삽입하며,상기 하나의 모델에 삽입함에 있어서, 상기 운영체제 모델과 상기 어플리케이션 모델간 상호작용 지점을 기준으로 변환하여 삽입하고 상기 어플리케이션 모델에서 상기 운영체제 모델의 API 함수를 호출하지 않는 부분은 변환 없이 그대로 삽입하여상기 상호작용 모델을 생성하는 것을 특징으로 하는 사물인터넷 디바이스의 제어 소프트웨어 검증 장치
|
| 10 |
10
제6 항에 있어서,상기 검증부는상기 상호작용 모델과 상기 검증 대상 소프트웨어에서 예상되는 작업 실행 순서를 지정하는 속성 목록을 이용하여 유효성을 검증하는 것을 특징으로 하는 사물인터넷 디바이스의 제어 소프트웨어 검증장치
|
