面向物联网的智能传感器节点系统设计

无线传感器网络(WSN)是物联网核心应用技术之一,由于WSN中节点多、数据量大,传感器将原始数据直接传至后台的传统方法会产生大量的能耗并增加后台处理压力。本文结合物联网WInternet的框架以及软硬件协同设计思想,提出了一种面向该物联网的系统设计与实现方法:将变频算法融入传感器节点高效采集数据,使智能传感器节点具有计算数据和制动外部设备的功能,并可实现就近计算,同时将Pipe协议嵌入其中,使得不同平台间无缝连接,以及节点设备对外提供服务。

基于STeC-Stateflow转换系统的实时系统仿真与验证方法

物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该方法使用STeC语言对实时系统进行形式化建模,再建立实时监控的Simulink仿真模型,并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究,表明该方法对高铁运行系统实时仿真的有效性,并能够验证高铁运行系统的安全性。