基于物理资源模型的物联网软件体系结构设计与形式化验证

来源 :科技创新导报 | 被引量 : 0次 | 上传用户:simuwuzx
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
实现众多物理应用之间的互联是建立物联网的基本方法。然而,如何设计一种有效的架构指导物理应用的水平化互联是目前物联网研究领域尚未解决的问题之一。针对该架构设计问题,该研究组提出了一种支持物理应用水平化互联的基于物理资源模型的物联网软件体系结构(PMDA)。PMDA由三个模型组成,分别是物理模型、感执模型和应用模型。模型之间以及模型内的组件之间通过连接器进行连接与交互,模型或组件在交互时需要满足一定的约束条件。通过体系结构描述语言Wright对PMDA中的三个模型的组成以及模型之间的交互进行了形式化描述。通过
其他文献
大学生是国家的希望,民族的未来。大学生在面对纷繁复杂的社会竞争时需要良好的情商作为基础,所以,高校要提升人才竞争力需要进行大学生情商教育。所以良好的情商既能从主观
PSoC微处理器是Cypress公司推出的一种现场可编程片上系统。片内备有通用模拟和数字模块,用户可根据开发需要,随意调用模块,实现混合信号阵列的动态配置。文中详细阐述其与众不
作为汽车行业的领先半导体供应商,飞思卡尔半导体公司现在正以每年超过1亿件的出货量销售其流行的S1216位汽车微控制器(MCU).
摘 要:在油膜轴承系统中,主要有4个方面的常见问题。这些问题经常在同一时间运行并限制系统的运行平稳,该文就钢板轧机油膜轴承系统中的故障形式和特征进行分析,并提出了解决方案和事故预防措施,以供相关人士参考借鉴。  关键词:油膜轴承 密封 流量 压力 系统监控  中图分类号:TG333 文献标识码:A 文章编号:1674-098X(2016)10(a)-0029-02  在油膜轴承系统中,主要有4个方
LED显示屏具有可靠性高、使用寿命长、环境适应能力强、价格性能比高、使用成本低等特点。将传感技术与LED显示及控制技术相结合,可使LED产品的使用更加灵活,以满足各种不同的
该年度完成的成果有:(1)中子单色器及准直器性能优化;完成中子衍射样品室及高温炉的物理设计;合成出储氢材料,并完成相组成分析及晶体结构的初步测试;实现64路3He管阵列探测系统
专业实习作为工程专业培养的一个重要环节,对学生的工程能力培养起到至关重要的作用。以给排水科学与工程专业为例,目前出现了实习单位减少、指导教师工程能力不足、考核方式
引言在嵌入式控制系统中,通常要用到非易失性存储器。无论是掉电时维持需要保存的设置,还是存储重要记录,可靠的非易失性存储器都是一种理想的选择。非易失性存储常常采用外
在研究现有LED大屏幕显示数据输出电路的基础上,提出基于硬件电路挖潜改造,提高输出速度的实现方法。给出该方法的实现过程,并对在使用同一信号源的前提下,读数据信号及屏幕显示
根据超声波测距的工作原理,设计基于ARM9与嵌入式Linux的多路超声波测距系统的硬件电路及软件工作流程。用Linux设备驱动的思想编写超声波设备驱动,并用于移动机器人的避障导航