物联网系统的组合与验证-计算机工程.PDF

第39 卷 第9 期 计 算 机 工 程 2013 年9 月 Computer Engineering September 2013 Vol.39 No.9 文献标识码文献标识码：：A 文献标识码文献标识码：： 中图分类号中图分类号：：TP393 文章编号文章编号：：1000——3428(2013)09——0045——04 中图分类号中图分类号：： ·物联网专题·物联网专题 ·· 文章编号文章编号：： —— —— —— ··物联网专题物联网专题·· 物联网系统的组合与验证物联网系统的组合与验证 物联网系统的组合与验证物联网系统的组合与验证 汤汤 瀑，瀑，叶叶 林，林，郭立鹏郭立鹏，张，张 亮亮 汤汤 瀑瀑，，叶叶 林林，，郭立鹏郭立鹏，，张张 亮亮 (复旦大学计算机科学技术学院，上海 201203) 摘摘 要：要：目前针对物联网的研究主要是对系统进行整体分析，设计与验证过程较复杂。为此，利用混成系统对物联网系统进行建 摘摘 要要：： 模，将一个复杂的物联网系统拆分成若干个小的成员系统，分别验证每个成员系统的特性，并通过组合实现对整个物联网系统的 验证。以智能交通系统为例进行分析，结果表明，该方法可降低系统分析和验证的复杂度，提高模块化程度，保证物联网系统的可扩 展性。 关键词关键词：物联网： ；混成系统；混成程序；微分动态逻辑；组件；系统组合 关键词关键词：： Composition and Verifying of Internet of Things System TANG Pu, YE Lin, GUO Li-peng, ZHANG Liang (School of Computer Science, Fudan University, Shanghai 201203, China) 【【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 whi