%0 Journal Article %A 汤瀑 %A 叶林 %A 郭立鹏 %A 张亮 %T 物联网系统的组合与验证 %D 2013 %R 10.3969/j.issn.1000-3428.2013.09.010 %J 计算机工程 %P 45-48 %V 39 %N 9 %X

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

%U http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2013.09.010