面向服务的信息物理融合系统建模与验证

发布时间：2017-10-06 23:05

  本文关键词：面向服务的信息物理融合系统建模与验证

  更多相关文章： 信息物理融合系统 面向服务 模型验证 时间自动机 Uppaal

【摘要】：针对信息物理融合系统(CPS)中建模与验证面临的问题与挑战,基于服务组合的思想,提出一种CPS建模与验证方法。首先,综合分析已有研究成果,提出一种CPS的组成结构,包含物理世界、感知系统、信息处理系统、控制系统及时间约束。基于该结构提出CPS资源的服务分类及组成框架,并利用时间自动机理论,提出CPS物理环境建模方法、CPS原子服务建模方法及服务组合方法。最后,通过案例设计和模型检测工具Uppaal,分别对系统安全性、可达性、活性及时间约束四种类型的性质进行了相关验证。结果表明,系统通过了这些性质的验证,这也证明了面向服务的CPS建模方法的正确性。
【作者单位】： 国防科学技术大学信息系统工程重点实验室;
【关键词】： 信息物理融合系统 面向服务 模型验证 时间自动机 Uppaal
【基金】：国家863计划项目(2011AA010106)
【分类号】：TP393.09
【正文快照】： 0引言2006年,美国国家科学基金会(National ScienceFoundation,NSF)提出了信息物理融合系统(Cyber PhysicalSystem,CPS)的概念[1]。它指出,CPS是一个综合计算、网络和物理环境的分布式、实时性系统,通过计算、通信与控制的有机融合和深度协作,实现工程系统的实时感知、动态控

【参考文献】

中国期刊全文数据库 前4条

1 谭朋柳;舒坚;吴振华;;一种信息-物理融合系统体系结构[J];计算机研究与发展;2010年S2期

2 陈丽娜;王小乐;邓苏;;CPS体系结构设计[J];计算机科学;2011年05期

3 李力行;金芝;李戈;;基于时间自动机的物联网服务建模和验证[J];计算机学报;2011年08期

4 王小乐;陈丽娜;黄宏斌;邓苏;;一种面向服务的CPS体系框架[J];计算机研究与发展;2010年S2期

【共引文献】

中国期刊全文数据库 前10条

1 龚鑓;李苏剑;;基于CPS理论的城市交通控制与诱导融合框架[J];公路交通科技;2012年05期

2 汪治华;张亚杰;杜凯;;交通CPS体系结构设计[J];公路交通科技;2012年S1期

3 高治军;王洪玉;王鑫;韩忠华;;智能建筑室内环境分布式可计算WSN任务调度研究[J];传感技术学报;2014年03期

4 王乐达;;仓库管理信息物理融合系统[J];计算机光盘软件与应用;2014年03期

5 孙圣力;郑志高;王平;刘京;;RTDP系统网络体系结构及其关键技术[J];北京邮电大学学报;2014年S1期

6 王小乐;黄宏斌;邓苏;陈丽娜;;信息物理系统资源能力建模[J];计算机科学;2012年02期

7 陈志辉;;基于时间自动机的信息物理融合系统建模与验证[J];计算机与现代化;2012年10期

8 周宇;胡军;葛季栋;;一种层次式时间自动机模型检测方法[J];计算机应用与软件;2012年11期

9 陈海明;崔莉;谢开斌;;物联网体系结构与实现方法的比较研究[J];计算机学报;2013年01期

10 封飞;陈名才;张广泉;邵玉珍;李烨静;;基于混成自动机的车联网服务建模方法[J];南通大学学报(自然科学版);2013年02期

中国博士学位论文全文数据库 前8条

1 刘志明;对等存储系统数据管理研究[D];国防科学技术大学;2011年

2 李永福;面向T-CPS的微观交通认知方法及相关研究[D];重庆大学;2012年

3 刘洪涛;高性能传感器网络体系结构及可用带宽估计研究[D];广东工业大学;2012年

4 董新平;物联网产业成长研究[D];华中师范大学;2012年

5 伦永亮;信息物理融合系统优化调度理论与方法的研究[D];广东工业大学;2012年

6 张洪昌;信息物理融合的机电产品数字化设计关键技术研究[D];华中科技大学;2012年

7 任慰;以实时操作系统为中心的嵌入式系统平台化设计研究[D];华中科技大学;2013年

8 俞磊;基于物联网技术的智慧医院架构及服务访问研究[D];合肥工业大学;2014年

中国硕士学位论文全文数据库 前10条

1 韦佳;基于ZigBee无线传感器网络的智能开关研究与设计[D];江南大学;2012年

2 吴帅;实时信息物理系统的中间件的研究[D];广东工业大学;2012年

3 柳求金;基于形式化的信息物理系统的建模与验证[D];广东工业大学;2012年

4 蔡热文;基于面向方面的时间Petri网的实时信息物理系统的建模[D];广东工业大学;2012年

5 仲昌平;基于多元逻辑回归的CPS链路质量保障算法研究[D];西南交通大学;2012年

6 李云霄;铁路信息物理融合系统的分析与设计方法[D];广东工业大学;2013年

7 雷瑶;信息物理融合系统的形式化建模与分析[D];广东工业大学;2013年

8 鲁川;面向信息物理融合系统的实时时空调度算法[D];广东工业大学;2013年

9 易良辰;普适环境下基于抽象状态机的服务组合的分析与验证[D];上海交通大学;2013年

10 黎晓波;网络拓扑快速变化的Ad-Hoc路由协议研究[D];北京邮电大学;2013年

【二级参考文献】

中国期刊全文数据库 前2条

1 侯丽珊;金芝;吴步丹;;需求驱动的Web服务建模及其验证:一个基于本体的方法[J];中国科学E辑:信息科学;2006年10期

2 徐志伟;李沛旭;查礼;;计算机系统变革性研究的4个问题[J];计算机研究与发展;2008年12期

【相似文献】

中国期刊全文数据库 前10条

1 高冠龙;周清雷;;时间自动机与网络协议验证[J];计算机工程;2006年22期

2 骆翔宇;轩爱成;沙宗鲁;;基于时间自动机的Web服务模型检测[J];计算机科学;2010年08期

3 程广金;缪淮扣;方明科;梅佳;氋洪皓;;基于XML的Web应用模型抽取[J];计算机科学;2011年09期

4 王建峰;;基于时间自动机的入侵检测系统的设计[J];咸宁学院学报;2008年03期

5 何亚丽;张广泉;王f;;基于XYZ/ADL的Web服务组合精化检验[J];苏州大学学报(自然科学版);2010年01期

6 骆翔宇;轩爱成;沙宗鲁;;基于Verics的组合Web服务有界模型检测[J];小型微型计算机系统;2011年03期

7 张泽莉,马华东;简单网络支付协议的形式模型[J];北京邮电大学学报;2002年04期

8 郭华;庄雷;张习勇;李舟军;;基于模型检测的多轮FR协议验证[J];计算机科学;2008年05期

9 张广泉;戎玫;朱雪阳;何亚丽;石慧娟;;基于XYZ/ADL的Web服务组合描述与验证[J];电子学报;2011年S1期

10 杨秋伟;周洁;唐卓;刘玲;;带时间特性的自动信任协商[J];计算机应用研究;2010年06期

中国重要会议论文全文数据库 前1条

1 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年

中国博士学位论文全文数据库 前2条

1 庄雷;基于Gnutella协议的Peer-to-Peer网络研究及其协议验证[D];中国人民解放军信息工程大学;2004年

2 易平;移动Ad Hoc网络入侵检测与主动响应机制研究[D];复旦大学;2005年

中国硕士学位论文全文数据库 前8条

1 王从银;FR-Gnet网络模型及其实现方案[D];郑州大学;2004年

2 刘金亮;基于时间自动机的可生存性评估方法研究[D];大连理工大学;2009年

3 何亚丽;基于XYZ/ADL的Web服务组合验证研究[D];苏州大学;2010年

4 丁秋峰;一种电子数据可信取证形式化模型[D];南京邮电大学;2012年

5 夏洋洋;异步交互的Web服务建模与相容性检测[D];南京航空航天大学;2012年

6 周洁;带时间特性的自动信任协商模型研究[D];湖南大学;2012年

7 计宏霖;基于UPPAAL的电子商务协议安全性分析[D];解放军信息工程大学;2008年

8 马生;有穷机和逻辑结合的电子商务协议分析方法[D];燕山大学;2012年

，

本文编号：985498