| 1 |
1
유한 상태 기계(Finite State Machine; FSM)에 포함된 복수의 상태(state)로부터 생성된 제 1 사물인터넷 모델을 기초로 제 2 사물인터넷 모델을 검증하는 방법으로서,유한 상태 기계(Finite State Machine; FSM) 형태로 제 1 사물인터넷 모델을 생성하는 단계;상기 제 1 사물인터넷 모델을 변수화(parameterization)하는 단계;상기 제 1 사물인터넷 모델에 기초하여 특정 상태에 도달하는 경로를 추출하는 단계;상기 경로를 캐시 데이터베이스(cache database)에 저장하는 단계; 및상기 캐시 데이터베이스에 저장된 경로에 기반하여 제 2 사물인터넷 모델을 검증하는 단계를 포함하는, 사물인터넷 모델 검증 방법
|
| 2 |
2
청구항 1에 있어서,유한 상태 기계(Finite State Machine; FSM) 형태는,사물인터넷 모델을 복수의 노드(node) 및 노드를 연결하는 엣지(edge)로 구성하는 형태인, 사물인터넷 모델 검증 방법
|
| 3 |
3
청구항 1에 있어서,상기 제 1 사물인터넷 모델에 기초하여 특정 상태에 도달하는 경로를 추출하는 단계는,사용자가 미리 설정한 초기 상태에서 특정 상태에 도달하는 경로를 생성하는 단계; 및상기 생성된 경로를 수식화하는 단계를 포함하는, 사물인터넷 모델 검증 방법
|
| 4 |
4
청구항 3에 있어서,상기 경로를 캐시 데이터베이스(cache database)에 저장하는 단계는,상기 초기 상태에서 특정 상태에 도달하는 경로에서 중복되는 경로를 간소화하여 수식화하는 단계; 및 상기 간소화하여 수식화된 경로를 캐시 데이터베이스에 저장하는 단계를 포함하는, 사물인터넷 모델 검증 방법
|
| 5 |
5
청구항 1에 있어서,상기 캐시 데이터베이스에 저장된 경로에 기반하여 제 2 사물인터넷 모델을 검증하는 단계는,상기 제 2 사물인터넷 모델의 구성 요소를 변수화하는 단계;상기 제 2 사물인터넷 모델의 구성 요소를 제 1 사물인터넷 모델에 입력하는 단계; 및입력 후 제 2 사물인터넷 모델의 실행 시간과 제 1 사물인터넷 모델의 실행 시간을 비교하여 검증하는 단계를 포함하는, 사물인터넷 모델 검증 방법
|
| 6 |
6
유한 상태 기계(Finite State Machine; FSM)에 포함된 복수의 상태(state)로부터 생성된 제 1 사물인터넷 모델을 기초로 제 2 사물인터넷 모델을 검증하는 장치로서,프로세서; 및상기 프로세서를 통해 실현되는 적어도 하나의 명령을 저장하는 메모리를 포함하고,상기 적어도 하나의 명령은,유한 상태 기계(Finite State Machine; FSM) 형태로 제 1 사물인터넷 모델을 생성하도록 하는 명령;상기 제 1 사물인터넷 모델을 변수화(parameterization)하도록 하는 명령;상기 제 1 사물인터넷 모델에 기초하여 특정 상태에 도달하는 경로를 추출하도록 하는 명령;상기 경로를 캐시 데이터베이스(cache database)에 저장하도록 하는 명령; 및상기 캐시 데이터베이스에 저장된 경로에 기반하여 제 2 사물인터넷 모델을 검증하도록 하는 명령을 포함하는, 사물인터넷 모델 검증 장치
|
| 7 |
7
청구항 6에 있어서,유한 상태 기계(Finite State Machine; FSM) 형태는,사물인터넷 모델을 복수의 노드(node) 및 노드를 연결하는 엣지(edge)로 구성하는 형태인, 사물인터넷 모델 검증 장치
|
| 8 |
8
청구항 6에 있어서,상기 제 1 사물인터넷 모델에 기초하여 특정 상태에 도달하는 경로를 추출하도록 하는 명령은,사용자가 미리 설정한 초기 상태에서 특정 상태에 도달하는 경로를 생성하도록 하는 명령; 및상기 생성된 경로를 수식화하도록 하는 명령을 포함하는, 사물인터넷 모델 검증 장치
|
| 9 |
9
청구항 8에 있어서,상기 경로를 캐시 데이터베이스(cache database)에 저장하도록 하는 명령은,상기 초기 상태에서 특정 상태에 도달하는 경로에서 중복되는 경로를 간소화하여 수식화하도록 하는 명령; 및 상기 간소화하여 수식화된 경로를 캐시 데이터베이스에 저장하도록 하는 명령을 포함하는, 사물인터넷 모델 검증 장치
|
| 10 |
10
청구항 6에 있어서,상기 캐시 데이터베이스에 저장된 경로에 기반하여 제 2 사물인터넷 모델을 검증하도록 하는 명령은,상기 제 2 사물인터넷 모델의 구성 요소를 변수화하도록 하는 명령;상기 제 2 사물인터넷 모델의 구성 요소를 제 1 사물인터넷 모델에 입력하도록 하는 명령; 및입력 후 제 2 사물인터넷 모델의 실행 시간과 제 1 사물인터넷 모델의 실행 시간을 비교하여 검증하도록 하는 명령을 포함하는, 사물인터넷 모델 검증 장치
|
