Cyber Physical Systems: Design Challenges

作者: Edward A. Lee

DOI: 10.1109/ISORC.2008.25

关键词:

摘要: Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers networks monitor control the processes, usually with feedback loops where processes affect computations vice versa. The economic societal potential such systems is vastly greater than what has been realized, major investments being made worldwide to develop technology. There considerable challenges, particularly because components introduce safety reliability requirements qualitatively different from those in general- purpose computing. Moreover, object-oriented software components. Standard abstractions based on method calls threads do not work. This paper examines challenges designing systems, particular raises question whether today's computing networking technologies provide an adequate foundation for CPS. It concludes that it will be sufficient improve design raise level abstraction, or verify (formally otherwise) designs built abstractions. To realize full CPS, we have rebuild These embrace dynamics a unified way.

参考文章(32)
David F. Bacon, Perry Cheng, V. T. Rajan, The Metronome: A Simpler Approach to Garbage Collection in Real-Time Systems Lecture Notes in Computer Science. pp. 466- 478 ,(2003) , 10.1007/978-3-540-39962-9_52
George A. Papadopoulos, Farhad Arbab, Coordination models and languages Advances in Computers. ,vol. 46, pp. 329- 400 ,(1998) , 10.1016/S0065-2458(08)60208-9
Nicholas Jun Hao Ip, Stephen A. Edwards, A processor extension for cycle-accurate real-time software embedded and ubiquitous computing. pp. 449- 458 ,(2006) , 10.1007/11802167_46
Nickolai Zeldovich, Alexander Yip, Frank Dabek, Robert Tappan Morris, David Mazieres, M Frans Kaashoek, None, Multiprocessor Support for Event-Driven Programs. usenix annual technical conference. pp. 239- 252 ,(2003)
Luca de Alfaro, Thomas A. Henzinger, Interface Theories for Component-Based Design embedded software. pp. 148- 165 ,(2001) , 10.1007/3-540-45449-7_11
Luca Alfaro, Thomas A. Henzinger, INTERFACE-BASED DESIGN Springer, Dordrecht. pp. 83- 104 ,(2004) , 10.1007/1-4020-3532-2_3
Edward A. Lee, Stephen Neuendorffer, Michael J. Wirthlin, ACTOR-ORIENTED DESIGN OF EMBEDDED HARDWARE AND SOFTWARE SYSTEMS Journal of Circuits, Systems, and Computers. ,vol. 12, pp. 231- 260 ,(2003) , 10.1142/S0218126603000751
Barbara H. Liskov, Jeannette M. Wing, A behavioral notion of subtyping ACM Transactions on Programming Languages and Systems. ,vol. 16, pp. 1811- 1841 ,(1994) , 10.1145/197320.197383
Time synchronization in a local area network IEEE Control Systems Magazine. ,vol. 24, pp. 61- 69 ,(2004) , 10.1109/MCS.2004.1275432