The past, present and future of cyber-physical systems: A focus on models

Sensors (Switzerland)

Volumn 15, Issue 3, 2015, Pages 4837-4869

  Lee, Edward A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Clock synchronization; Cyber physical systems; Distributed systems; PRET machines; Real time systems; Time synchronization

Indexed keywords

DIFFERENTIAL EQUATIONS; DISTRIBUTED COMPUTER SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS;

CLOCK SYNCHRONIZATION; CYBER PHYSICAL SYSTEMS (CPSS); DISTRIBUTED EMBEDDED SYSTEM; DISTRIBUTED SYSTEMS; INDUSTRIAL REVOLUTIONS; LEVEL OF ABSTRACTION; PHYSICAL REALIZATION; TIME SYNCHRONIZATION;

EMBEDDED SYSTEMS;

EID: 84928667408     PISSN: 14248220     EISSN: None     Source Type: Journal    
DOI: 10.3390/s150304837     Document Type: Review

References (72)

1. Wiener, N. Cybernetics: Or Control and Communication in the Animal and the Machine; MIT Press: Cambridge, MA, USA, 1948.
2. Golomb, S.W. Mathematical models—Uses and limitations. IEEE Trans. Reliab. 1968. R–20, 130–131.
3. Lee, E.A. Constructive Models of Discrete and Continuous Physical Phenomena. IEEE Access 2014, 2, 1–25.
4. Lee, E.A.; Sangiovanni-Vincentelli, A. A Framework for Comparing Models of Computation. IEEE Trans. Comput. Aided Des. Circuits Syst. 1998, 17, 1217–1229.
5. Benveniste, A.; Berry, G. The Synchronous Approach to Reactive and Real-Time Systems. IEEE Proc. 1991, 79, 1270–1282.
6. Lee, E.A. The Problem with Threads. Computer 2006, 39, 33–42.
7. Clarke, E.M.; Grumberg, O.; Peled, D. Model Checking; MIT Press: Cambridge, MA, USA, 1999.
8. Berry, G. The Constructive Semantics of Pure Esterel-Draft Version 3. Available online: Available online: http://www-sop.inria.fr/meije/esterel/doc/main-papers.html (accessed on 11 February 2015).
9. Mendler, M.; Shiple, T.R.; Berry, G. Constructive Boolean circuits and the exactness of timed ternary simulation. Form. Methods Syst. Des. 2012, 40, 283–329.
10. Buttazzo, G.C. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 2nd ed.; Springer: Berlin, Germany, 2005.
11. Wirth, N. Toward a discipline of real-time programming. Commun. ACM 1977, 20, 577–583.
12. Wirth, N. Programming in Modula-2; Springer-Verlag: Heidelberg, Germany, 1983.
13. Martin, T. Real-Time Programing Language PEARL—Concept and Characteristics. In Proceedings of the Computer Software and Applications Conference (COMPSAC), Chicago, IL, USA, 13–16 November 1978; pp. 301–306.
14. Burns, A.; Wellings, A. Real-Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time POSIX, 3rd ed.; Addison-Wesley: Boston, MA, USA, 2001.
15. Galletly, J. Occam-2, 2nd ed.; University College London Press: London, UK, 1996.
16. Klingerman, E.; Stoyenko, A. Real-Time Euclid: A Language for Reliable Real-Time Systems. IEEE Trans. Softw. Eng. 1986, 12. 941–949.
17. Armstrong, J.; Virding, R.; Wikström, C.; Williams, M. Concurrent Programming in Erlang, 2nd ed.; Prentice Hall: Prentice Hall: Englewood Cliffs, NJ, USA, 1996.
18. Stankovic, J.A. Misconceptions about real-time computing: A serious problem for next-generation systems. Computer 1988, 21, 10–19.
19. Henzinger, T.A.; Horowitz, B.; Kirsch, C.M. Giotto: A Time-Triggered Language for Embedded Programming; Springer-Verlag: Tahoe City, CA, USA, 2001; Volume LNCS 2211, pp. 166–184.
20. Kopetz, H.; Bauer, G. The Time-Triggered Architecture. IEEE Proc. 2003, 91, 112–126.
21. NASA Engineering and Safety Center. National Highway Traffic Safety Administration Toyota Unintended Acceleration Investigation; Technical Assessment Report, NASA, 2011. Available online: http://www.nhtsa.gov/UA (accessed on 3 December 2014).
22. Koopman, P. A Case Study of Toyota Unintended Acceleration and Software Safety, 2014. Available online: http://betterembsw.blogspot.com/2014/09/a-case-study-of-toyotaunintended.html (accessed on 3 December 2014).
23. Wilhelm, R.; Engblom, J.; Ermedahl, A.; Holsti, N.; Thesing, S.; Whalley, D.; Bernat, G.; Ferdinand, C.; Heckmann, R.; Mitra, T., et al. The worst-case execution-time problem—Overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. (TECS) 2008, 7, 1–53.
24. Jensen, E.D.; Locke, C.D.; Tokuda, H. A Time-Driven Scheduling Model for Real-Time Operating Systems. In Proceedings of the Real-Time Systems Symposium (RTSS); San Diego, CA, USA, 3–6 December 1985.
25. Edwards, S.A.; Lee, E.A. The Case for the Precision Timed (PRET) Machine. In Proceedings of the Design Automation Conference (DAC), San Diego, CA, USA, 4–8 June 2007.
26. Edwards, S.A.; Kim, S.; Lee, E.A.; Liu, I.; Patel, H.; Schoeberl, M. A Disruptive Computer Design Idea: Architectures with Repeatable Timing. In Proceedings of the IEEE International Conference on Computer Design (ICCD), Lake Tahoe, CA, USA, 4–7 October 2009; pp. 54–59.
27. Liu, I.; Reineke, J.; Broman, D.; Zimmer, M.; Lee, E.A. A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance. In Proceedings of 2012 IEEE 30th International Conference on Computer Design (ICCD), Montreal, QC, Canada, 30 September–3 October 2012; pp. 87–93.
28. Reineke, J.; Liu, I.; Patel, H.D.; Kim, S.; Lee, E.A. PRET DRAM Controller: Bank Privatization for Predictability and Temporal Isolation. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Taipei, Taiwan, 9–14 October 2011; pp. 99–108.
29. Zimmer, M.; Broman, D.; Shaver, C.; Lee, E.A. FlexPRET: A Processor Platform for Mixed-Criticality Systems. In Proceedings of the Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, 15–17 April 2014.
30. Burns, A.; Davis, R. Mixed Criticality Systems—A Review. Available online: http://www-users.cs.york.ac.uk/burns/review.pdf (accessed on 11 February 2015).
31. Waterman, A.; Lee, Y.; Patterson, D.A.; Asanovic, K. The RISC-V Instruction Set Manual, Volume 1: Base User-Level ISA; Technical Report UCB/EECS-2011-62; EECS Department, University of California: Berkeley, CA, USA, 2011.
32. Bachrach, J.; Vo, H.; Richards, B.; Lee, Y.; Waterman, A.; Avizienis, R.; Wawrzynek, J.; Asanovic, K. Chisel: Constructing hardware in a Scala embedded language. In Proceedings of the Design Automation Conference (DAC), San Francisco, CA, USA, 3–7 June 2012; pp. 1216–1225.
33. Kim, Y.; Broman, D.; Cai, J.; Shrivastava, A. WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores. In Proceedings of the Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, 15–17 April 2014.
34. Bui, D.; Lee, E.A.; Liu, I.; Patel, H.D.; Reineke, J. Temporal Isolation on Multiprocessing Architectures. In Design Automation Conference (DAC); ACM: San Diego, CA, USA, 2011.
35. Liu, I.; Lee, E.A.; Viele, M.; Wang, G.G.; Andrade, H. A Heterogeneous Architecture for Evaluating Real-Time One-Dimensional Computational Fluid Dynamics on FPGAs. In Proceedings of the International Symposium on Field-Programmable Custom Computing Machines (FCCM), Toronto, ON, Canada, 29 April–1 May 2012.
36. Broman, D.; Greenberg, L.; Lee, E.A.; Masin, M.; Tripakis, S.; Wetter, M. Requirements for Hybrid Cosimulation; Report UCB/EECS-2014-157 (to appear, HSCC 2015), EECS Department, University of California, Berkeley, 2014.
37. Lee, E.A.; Tripakis, S. Modal Models in Ptolemy. In Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), Oslo, Norway, 3 October 2010.
38. Cardoso, J.; Derler, P.; Eidson, J.C.; Lee, E.A.; Matic, S.; Zhao, Y.; Zou, J. Modeling Timed Systems. In System Design, Modeling, and Simulation using Ptolemy II; Ptolemaeus, C., Ed.; Ptolemy.org: Berkeley, CA, USA, 2014; pp. 355–393.
39. Manna, Z.; Pnueli, A. Verifying Hybrid Systems. In Hybrid Systems; Springer: Berlin, Germany, 1993; Volume LNCS 736, pp. 4–35.
40. Maler, O.; Manna, Z.; Pnueli, A. From Timed to Hybrid Systems. In Real-Time: Theory and Practice, REX Workshop; Springer-Verlag: Heidelberg, Germany, 1992; pp. 447–484.
41. Lee, E.A.; Zheng, H. Operational Semantics of Hybrid Systems. In Hybrid Systems: Computation and Control (HSCC); Morari, M., Thiele, L., Eds.; Springer-Verlag: Zurich, Switzerland, 2005; Volume LNCS 3414, pp. 25–53.
42. Cataldo, A.; Lee, E.A.; Liu, X.; Matsikoudis, E.; Zheng, H. A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems. In Proceedings of the Workshop on Discrete Event Systems (WODES), Ann Arbor, MI, USA, 10–12 July 2006.
43. Benveniste, A.; Bourke, T.; Caillaud, B.; Pouzet, M. The Fundamentals of Hybrid Systems Modelers. J. Comput. Syst. Sci. 2012, 78, 877–910.
44. Mosterman, P.J.; Simko, G.; Zande, J. A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models. In Proceedings of the Multi-Paradigm Modeling (MPM), Miami, FL, USA, 30 September 2013.
45. Bliudze, S.; Furic, S. An Operational Semantics for Hybrid Systems involving Behavioral Abstraction. In Proceedings of the Modelica Conference, Lund, Sweden, 10–12 March 2014.
46. Lindstrøm, T. An invitation to nonstandard analysis. In Nonstandard Analysis and Its Applications; Cutland, N., Ed.; Cambridge University Press: Cambridge, UK, 1988; pp. 1–105.
47. Ptolemaeus, C. System Design, Modeling, and Simulation Using Ptolemy II; Ptolemy.org: Berkeley, CA, USA, 2014.
48. Cassandras, C.G. Discrete Event Systems, Modeling and Performance Analysis; Irwin, Springer: Berlin, Germany, 1993.
49. Zeigler, B.P.; Praehofer, H.; Kim, T.G. Theory of Modeling and Simulation, 2nd ed.; Academic Press: London, UK, 2000.
50. Fishman, G.S. Discrete-Event Simulation: Modeling, Programming, and Analysis; Springer-Verlag: Berlin, Germany, 2001.
51. Cellier, F.E.; Kofman, E. Continuous System Simulation; Springer: Berlin, Germany, 2006.
52. Mills, D.L. Computer Network Time Synchronization — The Network Time Protocol; CRC Press: Boca Raton, FL, USA, 2006.
53. Eidson, J.C. Measurement, Control, and Communication Using IEEE 1588; Springer: Berlin, Germany, 2006.
54. Gaderer, G.; Loschmidt, P.; Cota, E.G.; Lewis, J.H.; Serrano, J.; Cattin, M.; Alvarez, P.; Oliveira Fernandes Moreira, P.M.; Wlostowski, T.; Dedic, J., et al. The White Rabbit Project. In Proceedings of the International Conference on Accelerator and Large Experimental Physics Control Systems, Kobe, Japan, 12–16 October 2009.
55. Zhao, Y.; Lee, E.A.; Liu, J. A Programming Model for Time-Synchronized Distributed Real-Time Systems. In Real-Time and Embedded Technology and Applications Symposium (RTAS); IEEE: Bellevue, WA, USA, 2007; pp. 259–268.
56. Zhao, Y. On the Design of Concurrent, Distributed Real-Time Systems; Ph.D. Thesis Technical Report UCB/EECS-2009-117, EECS Department, UC Berkeley, 2009.
57. Lee, E.A.; Matic, S.; Seshia, S.A.; Zou, J. The Case for Timing-Centric Distributed Software. In Proceedings of the IEEE International Conference on Distributed Computing SystemsWorkshops: Workshop on Cyber-Physical Systems, Montreal, QC, Canada, 22 June 2009.
58. Eidson, J.; Lee, E.A.; Matic, S.; Seshia, S.A.; Zou, J. Distributed Real-Time Software for Cyber-Physical Systems. IEEE Proc. 2012, 100, 45–59.
59. Derler, P.; Lee, E.A.; Matic, S. Simulation and Implementation of the PTIDES Programming Model. In Proceedings of the IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Vancouver, B.C., Canada, 27–29 October 2008.
60. Feng, T.H.; Lee, E.A.; Patel, H.D.; Zou, J. Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems. In Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), St. Louis, MO, USA, 22–24 April 2008.
61. Zou, J.; Matic, S.; Lee, E.A.; Feng, T.H.; Derler, P. Execution strategies for Ptides, a programming model for distributed embedded systems. In Real-Time and Embedded Technology and Applications Symposium (RTAS); IEEE: San Francisco, CA, USA, 2009.
62. Zou, J. From Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems. Ph.D. Thesis, UC Berkeley, 2011.
63. Matic, S.; Akkaya, I.; Zimmer, M.; Eidson, J.C.; Lee, E.A. PTIDES Model on a Distributed Testbed Emulating Smart Grid Real-Time Applications. In proceedings of 2011 2nd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies (ISGT Europe), Manchester, UK, 5–7 December 2011.
64. Feng, T.H.; Lee, E.A. Real-Time Distributed Discrete-Event Execution with Fault Tolerance. In Real-Time and Embedded Technology and Applications Symposium (RTAS); IEEE: St. Louis, MO, USA, 2008.
65. Zou, J.; Auerbach, J.; Bacon, D.F.; Lee, E.A. PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice. In Proceedings of Languages, Compilers, and Tools for Embedded Systems (LCTES), Dublin, Ireland, 19–20 June 2009.
66. Corbett, J.C.; Dean, J.; Epstein, M.; Fikes, A.; Frost, C.; Furman, J.; Ghemawat, S.; Gubarev, A.; Heiser, C.; Hochschild, P., et al. Spanner: Google’s Globally-Distributed Database. Available online: https://www.usenix.org/conference/osdi12/technical-sessions/presentation/corbett (accessed on 11 February 2015).
67. Zeigler, B. Theory of Modeling and Simulation; Wiley Interscience: New York, NY, USA, 1976.
68. Matsikoudis, E.; Stergiou, C.; Lee, E.A. On the Schedulability of Real-Time Discrete-Event Systems. In Proceedings of the International Conference on Embedded Software (EMSOFT); Montreal, QC, Canada, 29 September–4 October 2013.
69. Chandy, K.M.; Misra, J. Distributed simulation: A case study in design and verification of distributed programs. IEEE Trans. Softw. Eng. 1979, 5, 440–452.
70. Misra, J. Distributed Discrete Event Simulation. ACM Comput. Surv. 1986, 18, 39–65.
71. Jefferson, D. Virtual Time. ACM Trans. Programm. Lang. Syst. 1985, 7, 404–425.
72. Fujimoto, R. Parallel and Distributed Simulation Systems; John Wiley and Sons: Hoboken, NJ, USA, 2000.