叶林
- 作品数：3 被引量：7H指数：2
- 供职机构：复旦大学计算机科学技术学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 物联网系统的组合与验证被引量：2
- 2013年
- 目前针对物联网的研究主要是对系统进行整体分析,设计与验证过程较复杂。为此,利用混成系统对物联网系统进行建模,将一个复杂的物联网系统拆分成若干个小的成员系统,分别验证每个成员系统的特性,并通过组合实现对整个物联网系统的验证。以智能交通系统为例进行分析,结果表明,该方法可降低系统分析和验证的复杂度,提高模块化程度,保证物联网系统的可扩展性。
- 汤瀑叶林郭立鹏张亮
- 关键词：物联网混成系统组件系统组合
- 基于混成系统的物联网服务建模与验证被引量：5
- 2013年
- 物联网是物理世界和信息世界的无缝融合,它将信息世界的快速发展能力带到了物理世界,促使信息与实体服务方式发生深刻的变革.物联网服务的正确建模和验证需要统一描述现实世界中的物理实体和计算机中的软件系统.鉴于这一需求的复杂性,现有的物联网分析模型大都割裂了物理世界与信息世界,因此不能准确反映物联网服务区别于Web服务的重要特征.解决这一问题,是促进物联网服务能够真正向智能、可靠发展的先决条件.本文利用混成系统对信息系统的离散指令与物理设备连续行为刻画能力,提出一种基于混成系统理论的物联网服务建模与验证框架,其中原子服务由物理设备与相应的控制系统共同组成的混成系统构成,组合服务再由分布式混成系统组织各原子服务构成.这一物联网服务建模与验证框架有效地统一了物理设备、控制系统与组合服务系统,从而具备了对物联网服务的深度建模与全面验证能力.
- 叶林汤瀑郭立鹏张亮
- 关键词：混成系统
- 基于混成系统的物联网服务建模与验证
- 物联网是物理世界和信息世界的无缝融合，它将信息世界的快速发展能力带到了物理世界，促使信息与实体服务方式发生深刻的变革。物联网服务的正确建模和验证需要统一描述现实世界中的物理实体和计算机中的软件系统。鉴于这一需求的复杂性，...
- 叶林汤瀑张亮
- 关键词：混成系统
- 文献传递
