저사양 컴퓨팅 환경으로 효과적인 IoT 모델을 검증하는 시스템
출원번호
1020200178603
등록번호
1024239880000
권리구분
특허권
권리기간
2020-12-18 ~ 2040-12-18
문의처
02-3408-4169
기관의 인기특허
기술 정보
발명명칭
사물인터넷 모델 검증 방법 및 장치
기술분야
사물인터넷 모델 검증 방법
거래방식
#특허판매#노하우#라이선스#연구협력
매도가격
가격 협의
문의처
02-3408-4169
기술 소개
기술 요약
- 본 발명은 유한 상태 기계(Finite State Machine; FSM)에 포함된 복수의 상태(state)로부터 생성된 제 1 사물인터넷 모델을 기초로 제 2 사물인터넷 모델을 검증하는 방법으로서, 유한 상태 기계(Finite State Machine; FSM) 형태로 제 1 사물인터넷 모델을 생성하는 단계; 상기 제 1 사물인터넷 모델을 변수화(parameterization)하는 단계; 상기 제 1 사물인터넷 모델에 기초하여 특정 상태에 도달하는 경로를 추출하는 단계; 상기 경로를 캐시 데이터베이스(cache database)에 저장하는 단계; 상기 캐시 데이터베이스에 저장된 경로에 기반하여 제 2 사물인터넷 모델을 검증하는 단계를 포함하는, 사물인터넷 모델 검증 방법을 개시한다.
기술의 효과
- 본 발명의 일 실시예에 따르면 기존 추상화 기반 사물인터넷 모델 검증 방법보다 추상화에 걸리는 시간이 단축 될 수 있다.
- 본 발명의 다른 실시예에 따르면 기존 사물인터넷 모델 검증하는 방법들에 비해 검증 시간이 단축될 수 있다.
대표도면
- 사물인터넷 모델 검증 방법
- 사물인터넷 모델 검증 방법의 동작 순서도
매도/수 절차
절차과정