计算机应用 ›› 2014, Vol. 34 ›› Issue (6): 1770-1773.DOI: 10.11772/j.issn.1001-9081.2014.06.1770
收稿日期:
2013-11-18
修回日期:
2013-12-25
出版日期:
2014-06-01
发布日期:
2014-07-02
通讯作者:
刘明星
作者简介:
LIU Mingxing,MA Wubin,DENG Su,HUANG Hongbin
Received:
2013-11-18
Revised:
2013-12-25
Online:
2014-06-01
Published:
2014-07-02
Contact:
LIU Mingxing
摘要:
针对信息物理融合系统(CPS)中建模与验证面临的问题与挑战,基于服务组合的思想,提出一种CPS建模与验证方法。首先,综合分析已有研究成果,提出一种CPS的组成结构,包含物理世界、感知系统、信息处理系统、控制系统及时间约束。基于该结构提出CPS资源的服务分类及组成框架,并利用时间自动机理论,提出CPS物理环境建模方法、CPS原子服务建模方法及服务组合方法。最后,通过案例设计和模型检测工具Uppaal,分别对系统安全性、可达性、活性及时间约束四种类型的性质进行了相关验证。结果表明,系统通过了这些性质的验证,这也证明了面向服务的CPS建模方法的正确性。
中图分类号:
刘明星 马武彬 邓苏 黄宏斌. 面向服务的信息物理融合系统建模与验证[J]. 计算机应用, 2014, 34(6): 1770-1773.
LIU Mingxing MA Wubin DENG Su HUANG Hongbin. Modeling and verification of services oriented cyber physical systems[J]. Journal of Computer Applications, 2014, 34(6): 1770-1773.
[1]LEE E A. Cyber-physical systems — are computing foundations adequate? [EB/OL]. [2013-02-15]. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.84.8011&rep=rep1&type=pdf.
[2]HE J. Cyber physical systems [J]. Communications of the China Computer Federation, 2010,6(1):25-29.(何积丰.Cyber physical systems[J]. 中国计算机学会通讯, 2010,6(1):25-29.) [3]WANG X, CHEN L, HUANG H, et al. A service-oriented architecture framework of cyber-physical systems [J]. Journal of Computer Research and Development, 2010,47(S2):299-303.(王小乐,陈丽娜,黄宏斌,等.一种面向服务的CPS体系框架[J].计算机研究与发展, 2010,47(S2):299-303.) [4]TAN P, SHU J, WU Z. An architecture for cyber-physical systems [J]. Journal of Computer Research and Development, 2010, 47(S2):312-316.(谭朋柳,舒坚,吴振华.一种信息—物理融合系统的体系结构[J].计算机研究与发展, 2010, 47(S2):312-316.) [5]CHEN L, WANG X, DENG S. Cyber physical system architecture design [J]. Computer Science, 2011,38(5):295-300.(陈丽娜,王小乐,邓苏.CPS体系结构设计[J].计算机科学, 2011,38(5):295-300.) [6]TAN Y, GODDARD S, PREZ L C. A prototype architecture for cyber-physical systems [J]. ACM SIGBED Review, 2008,5(1):51-52. [7]DERLER P, LEE E A. Modeling cyber-physical systems [J]. Proceedings of the IEEE, 2012,100(1):13-28.
[8]LIN J, SEDDIGH S, MILLER A. Modeling cyber-physical systems with semantic Agents [C]// Proceedings of the 2010 34th Annual Computer Software and Applications Conference Workshops. Piscataway: IEEE Press, 2010:13-18.
[9]TAN Y, VURAN M C, GODDARD S. Spatio-temporal event model for cyber-physical systems [C]// Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems Workshops. Washington, DC: IEEE Computer Society, 2009:44-50.
[10]LI L, JIN Z, LI G. Modeling and verifying services of Internet of things based on timed automata [J]. Chinese Journal of Computers, 2011,34(8):1355-1377.(李力行,金芝,李戈.基于时间自动机的物联网服务建模和验证[J].计算机学报,2011,34(8):1355-1377.)
[11]CHEN Z. Modeling and verification of cyber-physical systems based on timed automata [J]. Computer and Modernization, 2012(10):125-130.(陈志辉.基于时间自动机的信息物理融合系统建模与验证[J].计算机与现代化,2012(10):125-130.)
[12]ALUR R, DILL D L. A theory of timed automata [J]. Theoretical Computer Science, 1994,126(2):183-235. |
[1] | 毕文婷 林海涛 张立群. 基于多阶段演化信号博弈模型的移动目标防御决策算法[J]. 计算机应用, 0, (): 0-0. |
[2] | 朱玉娜, 张玉涛, 闫少阁, 范钰丹, 陈韩托. 基于半监督子空间聚类的协议识别方法[J]. 计算机应用, 2021, 41(10): 2900-2904. |
[3] | 杨书新 许景峰. 基于反向影响采样的积极影响力最大化[J]. 计算机应用, 0, (): 0-0. |
[4] | 郭棉, 张锦友. 移动边缘计算环境中面向机器学习的计算迁移策略[J]. 计算机应用, 2021, 41(9): 2639-2645. |
[5] | 倪萍, 陈伟. 基于模糊测试的反射型跨站脚本漏洞检测[J]. 计算机应用, 2021, 41(9): 2594-2601. |
[6] | 曾续玲 李陶深 巩健 杜利俊. 无线供能移动边缘计算系统的安全卸载优化[J]. 计算机应用, 0, (): 0-0. |
[7] | 谢家贵 李志平 金键. 基于星火区块链的跨链机制[J]. 计算机应用, 0, (): 0-0. |
[8] | 张立群 林海涛 郇文明 毕文婷. 基于OpenFlow的软件定义网络流规则冲突检测系统的设计与仿真[J]. 计算机应用, 0, (): 0-0. |
[9] | 赖涵光 李清 江勇. 基于场景变化的传输控制协议拥塞控制切换方案[J]. 计算机应用, 0, (): 0-0. |
[10] | 陈葳葳, 曹利, 顾翔. 基于区块链的车联网电子取证模型[J]. 计算机应用, 2021, 41(7): 1989-1995. |
[11] | 肖跃雷, 邓小凡. 基于证书的有线局域网安全关联方案改进与分析[J]. 计算机应用, 2021, 41(7): 1970-1976. |
[12] | 邓伟健 陈曦. 基于时变资源的容器化虚拟网络映射算法[J]. 计算机应用, 0, (): 0-0. |
[13] | 杜心雨, 王化群. LTE-A网络中基于动态组的有效的身份认证和密钥协商方案[J]. 计算机应用, 2021, 41(6): 1715-1722. |
[14] | 董文涛, 李卓, 陈昕. 基于联邦学习的在线短视频内容分发策略[J]. 计算机应用, 2021, 41(6): 1551-1556. |
[15] | 施安妮, 李陶深, 王哲, 何璐. 基于缓存辅助的全双工无线携能通信系统的中继选择策略[J]. 计算机应用, 2021, 41(6): 1539-1545. |
阅读次数 | ||||||
全文 |
|
|||||
摘要 |
|
|||||