Computing Needs Time

被引:85
作者
Lee, Edward A. [1 ]
机构
[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
基金
美国国家科学基金会;
关键词
D O I
10.1145/1506409.1506426
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Cyber-Physical systems (CPS) are integrated systems and processes that employ computations and communication along with physical processes to add new capabilities to physical systems, and range from miniscule to large-scale. The CPS applications basically comprise of high-confidence medical devices, assisted living, traffic control and safety, advanced automotive systems, process control, energy conservation, and environmental control. The potential CPS can be realized through core abstractions of computing with continual improvement in the presence of effective orchestration of software and physical processes thereby reflecting the properties of interest in both. The integrated system require designing that are generally abstractions of systems, omitting certain details, and can tolerates more operating conditions or remains correct for a longer period of time is more reliable. The number of analysis also define computing and networking technologies that enable vastly more sophisticated CPS applications.
引用
收藏
页码:70 / 79
页数:10
相关论文
共 31 条
  • [1] AN OLD-FASHIONED RECIPE FOR REAL-TIME
    ABADI, M
    LAMPORT, L
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (05): : 1543 - 1571
  • [2] ALUR R, 1991, LNCS, V600, P74
  • [3] ALUR R, 1994, THEORETICAL COMPUTER, V126, P235
  • [4] [Anonymous], 1992, TEMPORAL LOGIC REACT, DOI DOI 10.1007/978-1-4612-0931-7
  • [5] [Anonymous], 1991, P REAL TIM THEOR PRA
  • [6] [Anonymous], 2007, P IEEE MILCOM 2007
  • [7] BARBACCI MR, 1986, ESDTR86208 CARN MELL
  • [8] THE SYNCHRONOUS APPROACH TO REACTIVE AND REAL-TIME SYSTEMS
    BENVENISTE, A
    BERRY, G
    [J]. PROCEEDINGS OF THE IEEE, 1991, 79 (09) : 1270 - 1282
  • [9] Refinement of time
    Broy, M
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 253 (01) : 3 - 26
  • [10] Buttazzo G., 2005, S COMP SCI, DOI 10.1007/0-387-28147-9.pdf