一种基于事件-响应关系的Cyber系统行为模型

摘要：

CPS(Cyber-Physical System)系统中的Cyber系统旨在根据用户要求,应用计算、通信和控制等技术实现对现实世界物理行为的精准控制.物理行为是连续和并发的,而Cyber行为是离散的,这种异构性给Cyber系统行为的分析和设计带来了巨大的挑战,迫切需要一种精确的模型来捕获Cyber系统与外界的交互行为语义.按照行为角色的不同,分析了CPS系统的抽象组成架构,阐述了各实体的行为；提出了一种基于事件-响应关系的Cyber系统行为模型,给出了事件的形式化定义和各类事件的形成规则的语法和语义,对事件的属性取值条件和时序特性进行了详细刻画；在此基础上,定义了事件-响应关系模型的语法和语义；最后以智能探测车为例,分析了该模型在Cyber系统设计与开发中的作用,并提出了进一步的研究工作.

关键词：Cyber系统、CPS系统、事件、系统行为

所属期刊栏目：40

分类号：TP311(计算技术、计算机技术)

资助基金：国家"863"计划基金项目"面向信息—物理融合的系统平台"2011AA010102

在线出版日期：2013-07-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：148-151