Survey of cyber-physical systems

Jisuanji Yanjiu yu Fazhan/Computer Research and Development

Volumn 49, Issue 6, 2012, Pages 1149-1161

  Li, Renfa ^a   Xie, Yong ^a   Li, Rui ^a   Li, Lang ^a  

^a HUNAN UNIVERSITY   (China)

Author keywords

CPS architecture; Cyber physical system (CPS); Embedded system; Network; Survey

Indexed keywords

ABSTRACTION LAYER; ARCHITECTURE DESIGNS; COMPUTING SYSTEM; CPS DESIGN; CYBER PHYSICAL SYSTEMS (CPSS); DATA TRANSFERRING; EMBEDDED COMPUTERS; NETWORK SYSTEMS; PHYSICAL SYSTEMS; RESEARCH DIRECTIONS; SYSTEM INTEGRATION;

DESIGN; NETWORK ARCHITECTURE; NETWORKS (CIRCUITS); PROBLEM SOLVING; RESEARCH; SURVEYS;

EMBEDDED SYSTEMS;

EID: 84864518567     PISSN: 10001239     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (89)

1. Rajkumar R, Lee I, Sha L, et al. Cyber physical systems: The next computing revolution[C]//Proc of DAC. New York: ACM, 2010: 731-736
2. NSF Cyber-Physical System Program Solicitation[EB/OL]. (2011-07-06) [2011-12-10]. http://www.nsf.gov/
3. Lee E A. Cyber physical systems: Design challenges[C]//Proc of ISORC. Piscataway, NJ: IEEE, 2008: 363-369
4. John H, Marburger I, Floyd Kvamme, et al. Leadership under challenge: Information technology R&D in a competitive world. An assessment of the federal networking and information technology R&D program[R/OL]. Washington, DC: President's Council of Advisors on Science and Technology, 2007. [2010-06-01]. http://www.nitrd.gov/pubs/
5. ARTEMIS. [2010-06-01]. http://www.artemis-ju.org
6. NSF Workshop on Cyber-Physical Systems[EB/OL]. Austin, Tex: Carnegie Mellon University, 2006 [2011-12-10]. http://varma.ece.cmu.edu/CPS/
7. He Jifeng. Cyber-physical systems[J]. Communication of the China Computer Fedaration, 2010, 6(1): 25-29 (in Chinese)
8. Wirth N. Towards a discipline of real-time programming[J]. Communications of the ACM, 1977, 20(8): 577-583
9. Buttazzo G C. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications[M]. 2nd ed. Berlin: Springer, 2005
10. Edward A L. The problem with threads[J]. Computer, 2006, 39(5): 33-42
11. Wilhelm R, Engblom J, Ermedahl, et al. The worst-case execution-time problem: Overview of methods and survey of tools[J]. ACM Trans on Embedded Computing Systems, 2008, 7(3): 1-53
12. Koubaa A, Andersson B. A vision of cyber-physical Internet[C]//Proc of the 8th Int Conf on Real-Time Network. Piscataway, NJ: IEEE, 2009: 25-30
13. Feng Xia, Ma Longhua, Dong Jinxiang, et al. Network QoS management in cyber-physical systems[C]//Proc of ICESS. Piscataway, NJ: IEEE, 2008: 302-307
14. Tariq S, Anuradha A. The impact of control technology: Overview, success stories and research challenges[EB/OL]. IEEE Control Systems Society, 2011 [2011-12-10]. http://ieeecss.org/main/IoCT-report
15. Benveniste A, Cailaud B, Carloni L P, et al. Composing heterogeneous reactive systems[J]. ACM Trans on Embedded Computing Systems, 2008, 7(4): 1-36
16. Eker J, Janneck J W, Lee E A, et al. Taming heterogeneity-The ptolemy approach[J]. Proc of the IEEE, 2003, 91(2): 127-144
17. Eidson J C, Lee E A, Matic S, et al. Time-centric models for designing embedded cyber-physical systems, EECS-2009-135[R]. Berkeley, CA: Department of Electrical Engineering & Computer Sciences, University of California, Berkeley, 2009
18. Benveniste A, Caspi P, Lublinerman R, et al. Actors without directors: A Kahnian view of heterogeneous systems[C]//Proc of HSCC. Berlin: Springer, 2008: 46-60
19. Talcott C. Cyber-physical systems and events[J]. Software-Intensive Systems and New Computing Paradigms, 2008, 5380: 101-115
20. Tan Ying, Vuran M C, Goddard S. Spatio-temporal event model for cyber-physical systems[C]//Proc of WCPS. Piscataway, NJ: IEEE, 2009: 44-50
21. Tan Ying, Vuran M C, Goddard S, et al. A concept Lattic-based event model for cyber-physical systems[C]//Proc of ICCPS. New York: ACM, 2010: 50-60
22. Ip N J H, Edwards S A. A processor extension for cycle-accurate real-time software[G]//LNCS 4096. Berlin: Springer, 2006: 449-458
23. Avissar O, Barua R, Stewart. An optimal memory allocation scheme for scratch-pad-based embedded systems[J]. ACM Trans on Embedded Computing Systems, 2002, 1(1): 6-26
24. Lee E A, Messerschmitt. Pipeline interleaved programmable DSPs: Architecture[J]. IEEE Trans on Acoustics, Speech, and Signal Processing, 1987, ASSP-35: 1320-1333
25. Bacon D F, Cheng P, Raian V. The Metronome: A simple approach to garbage collection in real-time systems[G]//LNCS 2889: Proc of JTRES. Berlin: Springer, 2003: 466-478
26. Edwards S A, Lee E A. The case for the precision timed (PRET) machine[C]//Proc of DAC. Piscataway, NJ: IEEE, 2007: 264-265
27. Henzinger T A, Horowitz B, Kirsch C M. Giotto: A time triggered language for embedded programming[J]. Proc of IEEE, 2003, 91(1): 84-99
28. Burns A, Wellings A. Real-Time Systems and Programming Languages: Ada95, Real-Time Java and Real-Time POSIX[M]. New York: Addison Wesley, 2001
29. Klingerman E, Stoyenko A. Real-time euclid: A language for reliable real-time systems[J]. IEEE Trans on Software Engineering, 1986, 12(9): 119-127
30. Munzenberger R, Drfel M, Hofmann R. A general time model for the specification and design of embedded real-time systems[J]. Journal of Microelectronics, 2003, 34(11): 989-1000
31. Lee I, Davidson S, Wolfe V. Motivating time as a first class entity, MS-CIS-87-54[R]. Philadelphia, Pennsylvania: Department of Computer and Information Science, University. of Pennsylvania, 1987
32. Benveniste A, Berry G. The synchronous approach to reactive and real-time systems[J]. Proc of IEEE, 1991, 79(9): 1270-1282
33. Culler D E, Dusseau A, Goldstein S C, et al. Parallel programming in split-C[C]//Proc of IEEE/ACM Supercomputing. New York: ACM, 1993: 262-273
34. Blumofe R D, Joerg C F, Kuszmaul, et al. Cilk: An efficient multithreaded run time system[J]. Journal of Parallel and Distributed Computing, 1996, 37(1): 55-69
35. Bacon D F, Strom R E, Tarafdar A. Guava: A dialect of Java without data races[C]//Proc of the ACM SIGPLAN. New York: ACM, 2000: 382-400
36. Tardieu T, Edwards S A. SHIM: Scheduling independent threads and exceptions in SHIM[C]//Proc of EMSOFT. New York: ACM, 2006: 142-151
37. Schaefer S, Scholz B, Petters S M, et al. Static analysis support for measurement-based WCET analysis[C]//Proc of RTCSA. Piscataway, NJ: IEEE, 2006
38. Kremer U. Cyber-Physical Systems: A Case for Soft Real-Time[R/OL]. New Jersey: Department of Computer Science, Rutgers University, 2006. [2010-06-01]. http://www.research.rutgers.edu/~uli/Sarana/doucument/CPS-Uli.pdf
39. Zhang Y, Gill C D, Lu C. Reconfigurable real-time middleware for distributed cyber-physical systems with A-periodic events[C]//Proc of ICDCS. Piscataway, NJ: IEEE, 2008: 581-588
40. Faggioli D, Bertogna M, Checconi F. Sporadic server revisited[C]//Proc of SAC. New York: ACM, 2010: 340-345
41. Lakshmanan K, Niz D, Rajkumar R, et al. Resource allocation in distributed mixed-criticality cyber-physical systems[C]//Proc of ICDCS. Piscataway, NJ: IEEE, 2010: 169-178
42. Cardenas A, Amin S, Sinopoli B, et al. Challenges for securing cyber physical systems, EECS-2009-601[R]. Berkeley, CA: Department of Electrical Engineering & Computer Sciences, University of California, Berkeley, 2009
43. Cardenas A A, Amin S, Sastry S. Secure control: Towards survivable cyber-physical systems[C]//Proc of WCPS. Piscataway, NJ: IEEE, 2008: 495-500
44. Muller F. Challenges for cyber-physical systems: Security, timing analysis and soft error protection[C]//Proc of National Workshop of HCSP-CPS. 2006 [2010-06-01]. http://w3.isis.vanderbilt.edu/HCSP-CPS/
45. Tang H, McMillin B M. Security property violation in CPS through timing[C]//Proc of WCPS. Piscataway, NJ: IEEE, 2008: 519-524
46. Xu Zhong, Liu Xue, Zhang Guoqing, et al. A certificateless signature scheme for mobile wireless cyber-physical systems[C]//Proc of WCPS. Piscataway, NJ: IEEE, 2008: 489-494
47. Zimmer C, Bhat B, Muller F, et al. Time-based intrusion detection in cyber-physical systems[C]//Proc of ICCPS. New York: ACM, 2010: 108-119
48. Li Lang, Li Renfa, Li Jing, et al. PFM: A SMS4 algorithm against high-order power analysis attacks[J]. Journal on Communication, 2010, 31(5): 87-92 (in Chinese)
49. Wilhelm R, Grund D, Reineke J, et al. Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems[J]. IEEE Trans on Computer-Aided Design of Integrated Circuits and Systems, 2009, 28(7): 966-978
50. Tindell K, Clark J. Holistic schedulability analysis for distributed hard real-time systems[J]. Journal Micro-Process & Micro-Program, 1994, 40(2/3): 117-134
51. Henia R, Hamann A, Jersak M, et al. System level performance analysis-The SymTA/S approach[J]. IEEE Computers and Digital Techniques, 2005, 152(2): 148-166
52. Chakraborty S, KÄunzli S, Thiele L. A general framework for analyzing system properties in platform-based embedded system designs[C]//Proc of DATE. Piscataway, NJ: IEEE, 2003: 190-195
53. Chen Mingsong, Zhao Jianhua, Li Xuandong, et al. A study of optimization techniques about reachability in timed automata[J]. Journal of Computer Science, 2006, 33(6): 1-6
54. DeAlfaro L, Henzinger T A. Interface theories for component-based design[C]//Proc of EMSOFT. Berlin: Springer, 2001: 148-165
55. Zalta E N. Temporal Logics[EB/OL]. California: Stanford encyclopedia of philosophy, 2008 [2011-12-10]. http://plato.stanford.edu/entries/logic-temporal/
56. Lee I, Bremond-Gregoire P, Gerber R. A process algebraic approach to the specification and analysis of resource-bound real-time systems[J]. Proc of IEEE, 1994, 82(1): 158-171
57. Jha S, Gulwani S, Seshia S A, et al. Synthesizing switching logic for safety and dwell-time requirements[C]//Proc of ICCPS. New York: ACM, 2010: 22-31
58. Thacker R A, Jones K R, Myers C J, et al. Automatic abstraction for verification of cyber-physical systems[C]//Proc of ICCPS. New York: ACM, 2010: 12-21
59. Arney D, Pajic M, Goldman J M, et al. Toward patient safety in closed-loop medical device system[C]//Proc of ICCPS. New York: ACM, 2010: 139-148
60. Wei Yehua, Li Renfa, Luo Juan, et al. A localization algorithm based on dynamic grid division for mobile wireless sensor networks[J]. Journal of Computer Research and Development, 2008, 45(11): 1920-1927 (in Chinese)
61. Li Zhetao, Li Renfa, Wei Yehua. Coordinated algorithm for time synchronization and distance measurement in wireless sensor networks[J]. Journal of Computer Research and Development, 2010, 47(4): 638-644 (in Chinese)
62. Liu Caiping, Li Renfa, Liu Xiping. Distributed aggregate algorithm for average query based on WSN[J]. Journal on Communication, 2008, 29(11): 24-30 (in Chinese)
63. Xu Jiangbo, Li Renfa. A novel framework for miscellaneous data gathering in wireless sensor networks[J]. Journal of Computer Research and Development, 2008, 45(2): 254-260 (in Chinese)
64. Luo Juan, Gu Chuanli, Li Renfa. Researches on role-based middleware in wireless sensor networks[J]. Journal on Communication, 2011, 32(1): 79-86 (in Chinese)
65. Kang K, Song S H. Real-time data services for cyber-physical systems[C]//Proc of WCPS. Piscataway, NJ: IEEE, 2008: 483-488
66. Hackmann G, Guo W, Yany G, et al. Cyber-physical co-design of distributed structural health monitoring with wireless sensor networks[C]//Proc of ICCPS. New York: ACM, 2010: 119-128
67. Loseu V, Ghasemzadeh H, Jafari R. Towards power optimization for communication failure recovery in body sensor network[C]//Proc of ICCPS. New York: ACM, 2010: 198-198
68. Wu Fangjing, Kao Yufen, Tseng Yuchee. From wireless sensor networks towards cyber-physical systems[J]. Journal of Pervasive and Mobile Computing, 2011, 7(4): 397-413
69. Mulligan G. The 6LoWPAN architecture[C]//Proc of ACM EmNets. New York: ACM, 2007: 78-92
70. Liu Jie, Zhao Feng, Liu Xue, et al. Challenges towards elastic power management in Internet data centers[C]//Proc of ICDCS. Piscataway, NJ: IEEE, 2009: 65-72
71. Rao Lei, Liu Xue, Iiic M, et al. MEC-IDC: Joint load balancing and power control for distributed Internet data center[C]//Proc of ICCPS. New York: ACM, 2010: 188-197
72. Parolini L, Tolia N, Sinopoli B, et al. A cyber-physical systems approach to energy management in data centers[C]//Proc of ICCPS. New York: ACM, 2010: 168-177
73. Ahmadi H, Abdelzaher T F. Congestion control for spatio-temporal data in cyber-physical systems[C]//Proc of ICCPS. New York: ACM, 2010: 89-98
74. Cyber-physical systems and its effect on computer networks[EB/OL]. (2010-03-20)[2011-12-10]. http://blog.sciencenet.cn/home.php? mod=space&uid=1132&do=blog&id=305683 (in Chinese)
75. Jiang Guoping, Fan Chunxia, Song Yurong, et al. Synchronization and control of complex dynamical networks with applications in cyber physical systems[J]. Journal of Nanjing University of Posts and Telecommunications: Natural Science, 2010, 30(4): 41-51 (in Chinese)
76. Blum J, Eskandarian A, Hoffman L. Challenges of inter-vehicle ad hoc networks[J]. IEEE Trans on Intelligent Transportation Systems, 2004, 5(4): 347-351
77. Qu Fengzhong, Wang Feiyue, Yang Liuqing. Intelligent transportation space: Vehicles, traffic, communications and beyond[J]. IEEE Communication Magazine, 2010, 48(11): 136-142
78. Peng Xin, Li Renfa, Yang Liu, et al. Least square-based vehicle position estimation algorithm[J]. Journal on Communication, 2010, 31(8): 10-15 (in Chinese)
79. Peng Xin, Li Renfa, Liu Liangjiao. Channel width adaptation algorithm in multi-channel vehicular networks[J]. Journal on Communication, 2010, 31(11): 123-129 (in Chinese)
80. Sun Y, McMillin B M, Liu X, et al. Verifying noninterference in a cyber-physical systems-The advanced electrical power grid[C]//Proc of QSIC. Piscataway, NJ: IEEE, 2007: 363-369
81. Faza A Z, Sedigh S, Mcmillin B M. Reliability analysis for the advanced electric power grid: From cyber control and communication to physical manifestation of failure[C]//Proc of SAFECOMP. Berlin: Springer, 2009: 257-269
82. Goswami D, Schneider R, Chakraborty S. Co-design of cyber-physical systems via controllers with flexible delay constraints[C]//Proc of ASP-DAC. Piscataway, NJ: IEEE, 2011: 225-230
83. Park K J, Yoon M K, Kang K, et al. Scheduling and control co-design under end-to-end response time constraints in cyber-physical systems[C]//Proc of CPNS. Piscataway, NJ: IEEE, 2011: 773-778
84. Zhang Fumin, Szwaykowska K, Wolf W, et al. Task scheduling for control oriented requirements for cyber-physical systems[C]//Proc of RTSS. Piscataway, NJ: IEEE, 2008: 47-56
85. Simon D, Hokayem P, Lygeros J, et al. State of the art in control/computing co-design, inria-00536676[R]. Grenoble: National Institute for Research in Computer Science and Control (INRIA), 2009
86. Bak S, Greer A, Mitra S. Hybrid cyber-physical system verification with simplex using discrete abstraction[C]//Proc of RTAS. Piscataway, NJ: IEEE, 2010: 143-152
87. Pola G, Girard A, Tabuada P. Approximately bisimilar symbolic models for nonlinear control systems[J]. Journal Automatica, 2007, 44(10): 2508-2516
88. Ny J L, Pappas G J. Robustness analysis for the certification of digital controller implementations[C]//Proc of ICCPS. New York: ACM, 2010: 99-108
89. He Huang, Sun Yan, Yang Qing, et al. Integrating neuromuscular and cyber systems for neural control of artificial legs[C]//Proc of ICCPS. New York: ACM, 2010: 129-138