基于时空事件驱动的信息物理系统架构
来源：计算机工程杂志2018年第10期北京时间：
作者：冯玉伯,丁承君,赵兴华
单位：1.河北工业大学 机械学院,天津 300130; 2.泰华宏业(天津)机器人技术研究院有限责任公司,天津 300401
摘要：信息物理系统能够实现信息进程与物理进程的协调与协作,可用于完成大型工程系统的实时感知、动态控制和信息服务。为此,提出一种信息物理系统的架构实现方式,研究系统的组成、架构及运行机制,对运行的核心机制即时空事件模型使用形式化语言进行论证。结果表明,该模型从理论上保证了系统运行的可靠、高效和实时性。
关键词：信息物理系统,时空事件,系统架构,运行机制,形式化描述
基金资助：天津市科技支撑计划项目(15ZXHLGX00210,14ZCDZGX00811,13ZCZDGX01200);天津市产学研合作项目(14ZCZDSF00025);天津市国家高技术研究发展计划成果转化项目(13RCHZGX01116,14RCHZGX00862)。
