计算机应用 ›› 2014, Vol. 34 ›› Issue (6): 1770-1773.DOI: 10.11772/j.issn.1001-9081.2014.06.1770

• 计算机软件技术 • 上一篇    下一篇

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

刘明星,马武彬,邓苏,黄宏斌   

  1. 国防科学技术大学 信息系统工程重点实验室,长沙 410073
  • 收稿日期:2013-11-18 修回日期:2013-12-25 出版日期:2014-06-01 发布日期:2014-07-02
  • 通讯作者: 刘明星
  • 作者简介:刘明星(1986-),男,江西九江人,博士研究生,主要研究方向:信息物理融合系统建模与验证;马武彬(1986-),男,重庆人,博士研究生,主要研究方向:数据挖掘、信息检索;邓苏(1963-),男,湖南长沙人,教授,博士,主要研究方向:信息综合处理与辅助决策;黄宏斌(1975-),男,江苏如皋人,教授,博士,主要研究方向:信息处理、语义覆盖网。

Modeling and verification of services oriented cyber physical systems

LIU Mingxing,MA Wubin,DENG Su,HUANG Hongbin   

  1. Science and Technology on Information Systems Engineering Laboratory, National University of Defense Technology, Changsha Hunan 410073, China
  • 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建模方法的正确性。

Abstract:

Concerning the problems and challenges in Cyber Physical System (CPS), a new modeling and verification method of CPS was proposed based on service composition ideas. Firstly, a composition structure of CPS was proposed, including the physical world, sensor systems, information processing systems, control systems and time constraints. Based on this proposed structure, the service classification and composition framework of CPS resources were proposed. The physical environment modeling, atomic service modeling and service composition of CPS were also given based on the timed automata theory. Finally, through case design and model checking tool Uppaal, the experimental results were given to illustrate the correctness of the CPS service-oriented modeling approach, including system security, accessibility, liveness and time constraints. The results verify the above properties and the correctness of the proposed method.

中图分类号: