物联网系统的组合与验证

Composition and Verifying of Internet of Things System

目前针对物联网的研究主要是对系统进行整体分析,设计与验证过程较复杂。为此,利用混成系统对物联网系统进行建模,将一个复杂的物联网系统拆分成若干个小的成员系统,分别验证每个成员系统的特性,并通过组合实现对整个物联网系统的验证。以智能交通系统为例进行分析,结果表明,该方法可降低系统分析和验证的复杂度,提高模块化程度,保证物联网系统的可扩展性。

Current research of Internet of Things（loTs） takes the overall system as a whole, which is complicate to design and verify. Aiming at this problem, a complex loTs which is modeled as a hybrid system, is divided into several sub systems in this paper. A method is proposed which verifies the whole loTs by verifying and compositing these sub systems independently. Intelligent transportation system is taken as example, and analysis result shows that this method can reduce the complexity of the system, increase the degree of modularity, and ensures the modularity and scalability of IoTs.