| 物联网系统的组合与验证 |
| |
| 引用本文： | 汤瀑,叶林,郭立鹏,张亮.物联网系统的组合与验证[J].计算机工程,2013(9). |
| |
| 作者姓名： | 汤瀑 叶林 郭立鹏 张亮 |
| |
| 作者单位： | 复旦大学计算机科学技术学院,上海,201203 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 目前针对物联网的研究主要是对系统进行整体分析，设计与验证过程较复杂。为此，利用混成系统对物联网系统进行建模，将一个复杂的物联网系统拆分成若干个小的成员系统，分别验证每个成员系统的特性，并通过组合实现对整个物联网系统的验证。以智能交通系统为例进行分析，结果表明，该方法可降低系统分析和验证的复杂度，提高模块化程度，保证物联网系统的可扩展性。
|
| 关 键 词： | 物联网 混成系统 混成程序 微分动态逻辑 组件 系统组合 |
Composition and Verifying of Internet of Things System |
| |
| TANG Pu
,
YE Lin
,
GUO Li-peng
,
ZHANG Liang.Composition and Verifying of Internet of Things System[J].Computer Engineering,2013(9). |
| |
| Authors: | TANG Pu YE Lin GUO Li-peng ZHANG Liang |
| |
| Abstract: | |
| |
| Keywords: | Internet of Things(IoTs) hybrid system hybrid program differential dynamic logic component system composition |
| 本文献已被 万方数据 等数据库收录！ |
|
