| 一种基于事件-响应关系的Cyber系统行为模型 |
| |
| 引用本文： | 宋翠叶,王庆,杜承烈.一种基于事件-响应关系的Cyber系统行为模型[J].计算机科学,2013,40(6):148-151. |
| |
| 作者姓名： | 宋翠叶 王庆 杜承烈 |
| |
| 作者单位： | 西北工业大学计算机学院 西安710129 |
| |
| 基金项目： | 本文受国家“863”计划基金项目“面向信息-物理融合的系统平台”(2011AA010102)资助 |
| |
| 摘 要： | CPS(Cyber-Physical System)系统中的Cyber系统旨在根据用户要求,应用计算、通信和控制等技术实现对现实世界物理行为的精准控制.物理行为是连续和并发的,而Cyber行为是离散的,这种异构性给Cyber系统行为的分析和设计带来了巨大的挑战,迫切需要一种精确的模型来捕获Cyber系统与外界的交互行为语义.按照行为角色的不同,分析了CPS系统的抽象组成架构,阐述了各实体的行为；提出了一种基于事件-响应关系的Cyber系统行为模型,给出了事件的形式化定义和各类事件的形成规则的语法和语义,对事件的属性取值条件和时序特性进行了详细刻画；在此基础上,定义了事件-响应关系模型的语法和语义；最后以智能探测车为例,分析了该模型在Cyber系统设计与开发中的作用,并提出了进一步的研究工作.
|
| 关 键 词： | Cyber系统 CPS系统 事件 系统行为 |
| 收稿时间： | 2012/8/10 0:00:00 |
| 修稿时间： | 2012/12/26 0:00:00 |
Event-Action Behavior Model for Cyber System |
| |
| SONG Cui-ye,WANG Qing and DU Cheng-lie.Event-Action Behavior Model for Cyber System[J].Computer Science,2013,40(6):148-151. |
| |
| Authors: | SONG Cui-ye WANG Qing and DU Cheng-lie |
| |
| Abstract: | |
| |
| Keywords: | Cyber system CPS system Event System behavior |
| 本文献已被 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
