基于时空事件驱动的信息物理系统架构  

Architecture of Cyber Physical System Based on Spatio-temporal Event Driven

作　　者：冯玉伯 丁承君[1] 赵兴华 高雪 李宗奎[1] 田军强 FENG Yubo;DING Chengjun;ZHAO Xinghua;GAO Xue;LI Zongkui;TIAN Junqiang(School of Mechanical Engineering,Hebei University of Technology,Tianjin 300130,China;Taihua Hongye(Tianjin)Robot Technology Research Institute Co.,Ltd.,Tianjin 300401,China)

机构地区：[1]河北工业大学机械学院,天津300130 [2]泰华宏业(天津)机器人技术研究院有限责任公司,天津300401

出　　处：《计算机工程》2018年第10期64-68,共5页Computer Engineering

基　　金：天津市科技支撑计划项目(15ZXHLGX00210;14ZCDZGX00811;13ZCZDGX01200);天津市产学研合作项目(14ZCZDSF00025);天津市国家高技术研究发展计划成果转化项目(13RCHZGX01116;14RCHZGX00862)

摘　　要：信息物理系统能够实现信息进程与物理进程的协调与协作,可用于完成大型工程系统的实时感知、动态控制和信息服务。为此,提出一种信息物理系统的架构实现方式,研究系统的组成、架构及运行机制,对运行的核心机制即时空事件模型使用形式化语言进行论证。结果表明,该模型从理论上保证了系统运行的可靠、高效和实时性。The Cyber Physical System(CPS)can realize the coordination and cooperation between the information process and the physical process.It realizes real-time perception,dynamic control and information service of large-scale engineering system.So this paper puts forward an architecture implementation mode of CPS,focusing on the composition,structure and operation mechanism of the system.The core mechanism of system operation mechanism,named spatio-temporal event model is demonstrated by using formal language.The results show that the formal model time can guarantee the reliability,efficiency and real-time performance.

关 键 词：信息物理系统 时空事件 系统架构 运行机制 形式化描述 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]