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

计算机科学 ›› 2013, Vol. 40 ›› Issue (6): 148-151.

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

宋翠叶,王庆,杜承烈

西北工业大学计算机学院西安710129;西北工业大学计算机学院西安710129;西北工业大学计算机学院西安710129

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家“863”计划基金项目“面向信息-物理融合的系统平台”(2011AA010102)资助

Event-Action Behavior Model for Cyber System

SONG Cui-ye,WANG Qing and DU Cheng-lie

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

关键词: Cyber系统,CPS系统,事件,系统行为

Abstract: The cyber part of the cyber physical system is designed to control the behavior of the physical part precisely and timely according to the requirements of the users,employing the cyber abilities such as computing,communicating and control technologies．Physical behavior is time-continuous and concurrent,while the cyber behavior is discrete．Such heterogeneous brings big challenges for the design of the cyber system．An accurate model is needed to capture the interaction requirement of the cyber part and the physical part．First,an architecture of the abstract behavior entities of the CPS system was given and explained.Then an event-action behavior model was proposed and defined in detail.Finally,the effect of the behavior model in the development of cyber system was analyzed in the background of smart detecting vehicle system,and future research work was pointed out．

Key words: Cyber system,CPS system,Event,System behavior

宋翠叶,王庆,杜承烈. 一种基于事件-响应关系的Cyber系统行为模型[J]. 计算机科学, 2013, 40(6): 148-151. https://doi.org/

SONG Cui-ye,WANG Qing and DU Cheng-lie. Event-Action Behavior Model for Cyber System[J]. Computer Science, 2013, 40(6): 148-151. https://doi.org/

参考文献

[1] 何积丰.Cyber-physical systems[J].中国计算机学会通讯,2010,6(1):25-29
[2] Lee E A．Cps foundations[C]∥Proc．of the 47th Design Automation Conference,DAC’10．New York,USA,ACM,2010:737-742
[3] Derler P,Vincentlli A S．Modeling cyber-physical systems[J]．Proc．of the IEEE (special issue on CPS),2012,100:13-28
[4] Hopcroft J E．自动机理论、语言和计算导论(第2版)[M].刘田,等译.北京:机械工业出版社,2004:25-56
[5] van der Schaft A,Schumacher H．混成动态系统引论 [M].宋永华,等译.北京:清华大学出版社,2007:5-13
[6] 刘杰．基于模型的设计及其嵌入式实现[M].北京:北京航空航天大学出版社,2010:141-167
[7] Talcott C．Cyber-Physical Systems and Events[C]∥Software-Intensive Systems:Software-Intensive Systems and New Computing Paradigms．Springer-Verlag Berlin,Heidelberg,2008:101-115
[8] Tan Y,Vuran M C,Goddard S．Spatio-temporal event model for Cyber-Physical Systems[C]∥Proc．of 29th IEEE International Conference on Distributed Computing Systems Workshops．2009
[9] Tan Ying,Mehmet C V,Steve G．A concept lattice-based event model for cyber-physical systems[C]∥Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems,ICCPS ’10．2010:50-60
[10] Yue Ke,Wang Li,Ren Shang-ping,et al.An adaptive discrete event model for cyber-physical system[M]．The Analytic Virtual Integration of Cyber-Physical Systems Workshop,2010
[11] Chen Li-na,Huang Hong-bin,Deng Su．Research on CPS Spatio-Temporal Event Model based on the State[C]∥Proc．of The 6th International Conference on Computer Science & Education．2011:195-198
[12] Klein R,Xie Jing-quan,Usov A．Complex events and actions to control cyber-physical systems[C]∥Proc．of 5th ACM International Conference on Distributed Event-Based Systems,DEBS’11．2011:29-37
[13] Bellini P,Mattolini R,Nesi P．Temporal logics for real-time system specification[J]．ACM Comput．Surv．,2000,32(1):12-42
[14] Furia C A,Mandrioli D,Morzenti A,et al．Modeling time in computing:A taxonomy and a comparative survey[J]．ACM Comput．Surv.,2010,42(2):1-59
[15] Yu Y,Ren S,Frieder O．Interval-based timing constraints their satisfactions and applications[J]．IEEE Transactions on Computers,2008,57(3):418-432

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed