Challenges, Promising Solutions and Open Problems of Cyber-Physical Systems

Cyber physical systems(CPS) include a lot of high complexity computing such as physical aspect modeling, dynamic analysis and verification of continuous dynamic property, analysis and verification of real-time property, analysis and verification of spatial property, scheduling and non-functional requirements. The correctness of computing results of cyber physical systems not only meets the time requirements, but also meets the spatial requirement, this make that it is impossible to solve the several difficult computing problems by traditional methods. In this paper, we describe some of the research directions that we are taking toward addressing some of the challenges involved in building cyber physical systems. The ultimate goal is to develop foundations and techniques for building safe and effective cyber physical systems.

[1]  M. Ben Swarup,et al.  A Software Safety Model for Safety Critical Applications , 2009 .

[2]  Bernhard Nebel,et al.  Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity , 2002, ECAI.

[3]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[4]  Marco A. Wehrmeister,et al.  An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[5]  Charles André,et al.  Syntax and Semantics of the Clock Constraint Specification Language (CCSL) , 2009 .

[6]  Y. S. Feruza,et al.  IT Security Review: Privacy, Protection, Access Control, Assurance and System Security , 2007 .

[7]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[8]  Thomas A. Henzinger,et al.  Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..

[9]  Christiaan J. J. Paredis,et al.  Integrating Models and Simulations of Continuous Dynamics Into SysML , 2012, J. Comput. Inf. Sci. Eng..

[10]  André Platzer,et al.  Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .

[11]  Huiqun Yu,et al.  Real-Time Systems Modeling and Verification with Aspect-Oriented Timed Statecharts , 2012 .

[12]  Deepali Virmani,et al.  Real Time Scheduling for Wireless Sensor Networks , 2012 .

[13]  Jakob Axelsson.  Model based systems engineering using a continuous-time extension of the Unified Modeling Language (UML) , 2002 .

[14]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[15]  Midori Sugaya,et al.  KTAS: Analysis of Timer Latency for Embedded Linux Kernel , 2010 .