计算机科学 ›› 2017, Vol. 44 ›› Issue (4): 100-103.doi: 10.11896/j.issn.1002-137X.2017.04.022
刘春,黄冉冉,韩道军
LIU Chun, HUANG Ran-ran and HAN Dao-jun
摘要: 软件系统的事件模型能够有效地刻画软件系统的行为。但是,由于信息物理融合系统的异构性与分布式特征,建立信息物理融合系统的事件模型不仅需要了解系统的具体组成结构,还需要考虑事件的时空信息,这为信息物理融合系统事件模型的建立带来了新的困难。从需求分析的角度出发,提出一种基于目标的方法来分析并建立信息物理融合系统的事件模型。该方法认为用户建立系统的目标可以表达为事件之间的因果关系,即当一个事件发生时系统要能够感知并触发另外一个事件发生。基于此,该方法从用户对信息物理融合系统的需求出发,以目标的与/或分解为手段来分析满足用户需求的事件模型。以一个自适应巡航控制系统为案例来说明该方法。
[1] LEE E A.Cyber-physical systems-are computing foundationsadequate[C]∥Proceedings of the NSF Workshop on Cyber-Physical Systems:Research Motivation,Techniques and Roadmap.2010:6-14. [2] LE E.Cyber physical systems:design challenges[C]∥Procee-dings of the 11th IEEE International Symposium on Object Orien-ted Real-Time Distributed Computing (ISORC’08).2008:363-369. [3] JURETA I J,BORGIDA A,ERNST N A,et al.The requirements problem for adaptive systems[J].ACM Transactions on Management Information Systems (TMIS),2014,5(3):17. [4] Adaptive cruise control system overview.http://sunny-day.mit.edu/safety-club/workshop5/Adaptive_Cruise_Control_Sys_ Overview.pdf. [5] JACKSON M.Problem frames:analyzing and structuring software development problems[M].Addison-Wesley,2001. [6] TAN Y,VURAN M C,GODDARD S.Spatial-temporal event model for cyber-physical systems[C]∥Proceedings of the 29th IEEE International Conference on Distributed Computing Systems(ICDCS’09).2009:44-50. [7] MCCARTHY D,DAYALY U.The architecture of an active database management system[C]∥ACM SIGMOD International Conference on Managementof Data.ACM,1989:215-224. [8] GEHANI N H,JAGADISH H V,Shmueli O.Composite event specification in active databases:model & implementation[C]∥Proceedings of the Very Large Data Bases(VLDB’92).1992:327-338. [9] ADAIKKALAVAN R,CHAKRAVARTHY S.SnoopIB:interval-based event specification and detection for active databases[J].Data & Knowledge Engineering,2006,59(1):139-165. [10] MOK A K,KONANA P,LIU G,et al.Specifying timing constraints and composite events:an application in the design of electronic brokerages[J].IEEE Transactions on Software Engineering,2004,30(12):841-858. [11] TAN Y,VURAN M C,GODDARD S,et al.A concept lattice-based event model for Cyber-Physical Systems[C]∥Proceedings of the 1st ACM/IEEE International Conference on Cyber-physical Systems.2010:50-60. [12] WANG J,CHENG L,LIU J.A new spatial-temporaleventModel based on multi-tuple for cyber-physical systems[J].International Journal of Control and Automation,2013,6(6):51-62. |
No related articles found! |
|