10.3969/j.issn.1000-3428.2013.09.010
物联网系统的组合与验证
目前针对物联网的研究主要是对系统进行整体分析,设计与验证过程较复杂。为此,利用混成系统对物联网系统进行建模,将一个复杂的物联网系统拆分成若干个小的成员系统,分别验证每个成员系统的特性,并通过组合实现对整个物联网系统的验证。以智能交通系统为例进行分析,结果表明,该方法可降低系统分析和验证的复杂度,提高模块化程度,保证物联网系统的可扩展性。
物联网、混成系统、混成程序、微分动态逻辑、组件、系统组合
TP393(计算技术、计算机技术)
国家自然科学基金资助项目60873115
2013-11-07(万方平台首次上网日期,不代表论文的发表时间)
共4页
45-48