计算机工程

所属专题: 物联网专题

• 物联网专题 • 上一篇    下一篇

物联网系统的组合与验证

汤 瀑,叶 林,郭立鹏,张 亮   

  1. (复旦大学计算机科学技术学院,上海 201203)
  • 收稿日期:2012-10-29 出版日期:2013-09-15 发布日期:2013-09-13
  • 作者简介:汤 瀑(1988-),男,硕士研究生,主研方向:物联网,服务计算;叶 林、郭立鹏,博士研究生;张 亮,教授、博士、博士生导师
  • 基金项目:

    国家自然科学基金资助项目(60873115)

Composition and Verifying of Internet of Things System

TANG Pu, YE Lin, GUO Li-peng, ZHANG Liang   

  1. (School of Computer Science, Fudan University, Shanghai 201203, China)
  • Received:2012-10-29 Online:2013-09-15 Published:2013-09-13

摘要:

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

关键词: 物联网, 混成系统, 混成程序, 微分动态逻辑, 组件, 系统组合

Abstract:

Current research of Internet of Things(IoTs) takes the overall system as a whole, which is complicate to design and verify. Aiming at this problem, a complex IoTs which is modeled as a hybrid system, is divided into several sub systems in this paper. A method is proposed which verifies the whole IoTs 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.

Key words: Internet of Things(IoTs), hybrid system, hybrid program, differential dynamic logic, component, system composition

中图分类号: