Computer Science ›› 2017, Vol. 44 ›› Issue (4): 100-103.doi: 10.11896/j.issn.1002-137X.2017.04.022

Previous Articles     Next Articles

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!