“CANthings”(Context Aware Network for the Design of Connected Things) service modeling based on Timed CPN

Abstract

In the past few years, the advances in context aware systems and sensor technologies, has elevated the Internet of Things (loT) development greatly and rather quickly. Services ofIoT systems must be reasonably designed to provide not only the user's requirements and requests, but also perceive the environmental context and customized services to get user's satisfaction. Systematic modeling methodologies are essential to control the correctness of the services and the systems behaviors among dynamic changing contexts. The presented solution will be a novel loT framework, "CANthings" (Context-Aware Networks for the Design of Connected Things) to identify loT needs.This paper mainly promotes and analyzes an loT system modeling methodology based on Timed Colored Petri Net (TCPN) to check the effectiveness of the provided services in the CANthings framework. Our goal is to present a standard solution that can be used in high-technical research and industrial projects.

A Stochastic Approach of Dependency Evaluation for IoT Devices

“…Considering the upper-layer applications, one can obtain the complemental model with additional A and D using Eq. (2). The calculations of the parameters p i * and p * j are shown as follows.…”

“…With the increasing number of devices in the IoT, the behavior of the devices and the services shows high dynamics [2] , and thus can be regarded as stochastic processes from the top-down viewpoint. Studying the dependency problem using statistic and stochastic theories can provide us with a valuable understanding of the IoT from a systematic point of view.…”