摘要
目前针对物联网的研究主要是对系统进行整体分析,设计与验证过程较复杂。为此,利用混成系统对物联网系统进行建模,将一个复杂的物联网系统拆分成若干个小的成员系统,分别验证每个成员系统的特性,并通过组合实现对整个物联网系统的验证。以智能交通系统为例进行分析,结果表明,该方法可降低系统分析和验证的复杂度,提高模块化程度,保证物联网系统的可扩展性。
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.
出处
《计算机工程》
CAS
CSCD
2013年第9期45-48,共4页
Computer Engineering
基金
国家自然科学基金资助项目(60873115)
关键词
物联网
混成系统
混成程序
微分动态逻辑
组件
系统组合
Internet of Things(IoTs)
hybrid system
hybrid program
differential dynamic logic
component
system composition