物联网系统的组合与验证

• 作者: 叶林 张亮 汤瀑 郭立鹏
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 物联网 混成系统 混成程序 微分动态逻辑 组件 系统组合
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 物联网专题
• 页码范围: 45-48
• 页数: 4页
• 分类号: TP393
• 字数: 4693字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2013.09.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张亮	复旦大学计算机科学技术学院	98	872	17.0	24.0
2	叶林	复旦大学计算机科学技术学院	6	23	3.0	4.0
3	郭立鹏	复旦大学计算机科学技术学院	5	23	4.0	4.0
4	汤瀑	复旦大学计算机科学技术学院	2	12	2.0	2.0