计算机科学 ›› 2017, Vol. 44 ›› Issue (4): 100-103.doi: 10.11896/j.issn.1002-137X.2017.04.022

• NASAC 2015 • 上一篇    下一篇

基于目标的信息物理融合系统事件模型的分析

刘春,黄冉冉,韩道军   

  1. 河南大学 开封475001,河南大学 开封475001,河南大学 开封475001
  • 出版日期:2018-11-13 发布日期:2018-11-13
  • 基金资助:
    本文受国家自然科学基金(61300035),中国博士后基金项目(2014M552000),河南省教育厅科技攻关项目(14A520009)资助

Goal Oriented Approach for Analayzing Event Model of Cyber-physical Systems

LIU Chun, HUANG Ran-ran and HAN Dao-jun   

  • Online:2018-11-13 Published:2018-11-13

摘要: 软件系统的事件模型能够有效地刻画软件系统的行为。但是,由于信息物理融合系统的异构性与分布式特征,建立信息物理融合系统的事件模型不仅需要了解系统的具体组成结构,还需要考虑事件的时空信息,这为信息物理融合系统事件模型的建立带来了新的困难。从需求分析的角度出发,提出一种基于目标的方法来分析并建立信息物理融合系统的事件模型。该方法认为用户建立系统的目标可以表达为事件之间的因果关系,即当一个事件发生时系统要能够感知并触发另外一个事件发生。基于此,该方法从用户对信息物理融合系统的需求出发,以目标的与/或分解为手段来分析满足用户需求的事件模型。以一个自适应巡航控制系统为案例来说明该方法。

关键词: 信息物理融合系统,需求分析,面向目标的方法,事件模型

Abstract: Event model of software systems can model system behaviors effectively.However,since the system structure should be known and the spatial-temporal attributes of events should be considered due to the hybrid and distributed properties of cyber-physical systems (CPS),new challenges arise when building CPS’s event model.From the angle of requirements analysis,this paper proposed a goal oriented approach to deal with the challenges.This approach defines the users’goal on CPS as the causal relationships between events,that is a goal expresses the relationship that the occurrence of an event will cause of another event.Then,it analyzes and develops the event model based on users’ requirements on CPS by means of “And/Or” decomposition.An adaptive cruise control system has been used to illustrate the proposed approach.

Key words: Cyber-physical systems,Requirements analysis,Goal oriented approach,Event model

[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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!