CPS foundations

Proceedings - Design Automation Conference

Volumn , Issue , 2010, Pages 737-742

  Lee, Edward A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Cyber physical systems; Embedded systems

Indexed keywords

CYBER-PHYSICAL SYSTEMS; DYNAMICAL SYSTEMS THEORY;

ABSTRACTING; COMPUTATION THEORY; COMPUTER AIDED DESIGN; DYNAMICAL SYSTEMS; MODELS; PLATINUM COMPOUNDS;

EMBEDDED SYSTEMS;

EID: 77956210272     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1837274.1837462     Document Type: Conference Paper

References (37)

1. F. Baccelli, G. Cohen, G. J. Olster, and J. P. Quadrat. Synchronization and Linearity, An Algebra for Discrete Event Systems. Wiley, New York, 1992.
2. G. Berry. The effectiveness of synchronous languages for the development of safety-critical systems. White paper, Esterel Technologies, 2003.
3. C. G. Cassandras. Discrete Event Systems, Modeling and Performance Analysis. Irwin, 1993.
4. G. Cengic, O. Ljungkrantz, and K. Akesson. Formal modeling of function block applications running in IEC 61499 execution runtime. In 11th IEEE International Conference on Emerging Technologies and Factory Automation, Prague, Czech Republic, 2006.
5. P. Derler, E. A. Lee, and S. Matic. Simulation and implementation of the ptides programming model. In IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Vancouver, Canada, 2008.
6. S. A. Edwards and E. A. Lee. The case for the precision timed (PRET) machine. In Design Automation Conference (DAC), San Diego, CA, 2007.
7. J. C. Eidson. Measurement, Control, and Communication Using IEEE 1588. Springer, 2006.
8. J. C. Eidson, E. A. Lee, S. Matic, S. A. Seshia, and J. Zou. Time-centric models for designing embedded cyber-physical systems. Technical Report UCB/EECS-2009-2135, EECS Department, University of California, Berkeley, October 9 2009.
9. J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. Taming heterogeneity - the Ptolemy approach. Proceedings of the IEEE, 91(2):127-144, 2003.
10. T. H. Feng and E. A. Lee. Real-time distributed discrete-event execution with fault tolerance. In Real-Time and Embedded Technology and Applications Symposium (RTAS), St. Louis, MO, USA, 2008. IEEE.
11. G. Gaderer, P. Loschmidt, E. G. Cota, J. H. Lewis, J. Serrano, M. Cattin, P. Alvarez, P. M. Oliveira Fernandes Moreira, T. Wlostowski, J. Dedic, C. Prados, M. Kreider, R.Baer, S.Rauch, and T.Fleck. The white rabbit project. In Int. Conf. on Accelerator and Large Experimental Physics Control Systems, Kobe, Japan, 2009.
12. IEEE Instrumentation and Measurement Society. 1588: IEEE standard for a precision clock synchronization protocol for networked measurement and control systems. Standard specification, IEEE, November 8 2002.
13. S. Johannessen. Time synchronization in a local area network. IEEE Control Systems Magazine, pages 61-69, 2004.
14. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-integrated development of embedded software. Proceedings of the IEEE, 91(1):145-164, 2003.
15. R. Kirner and P. Puschner. Obstacles in worst-case execution time analysis. In Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pages 333-339, Orlando, FL, USA, 2008. IEEE.
16. H. Kopetz. Real-Time Systems : Design Principles for Distributed Embedded Applications. Springer, 1997.
17. H. Kopetz and G. Bauer. The time-triggered architecture. Proceedings of the IEEE, 91(1):112-126, 2003.
18. E. A. Lee. Modeling concurrent real-time processesusing discrete events. Annals of Software Engineering, 7:25-45, 1999.
19. E. A. Lee. The problem with threads. Computer, 39(5):33-42, 2006.
20. E. A. Lee. Computing needs time. Communications of the ACM, 52(5):70-79, 2009.
21. E. A. Lee and H. Zheng. Operational semantics of hybrid systems. In M. Morari and L. Thiele, editors, Hybrid Systems: Computation and Control (HSCC), volume LNCS 3414, pages pp. 25-53, Zurich, Switzerland, 2005. Springer-Verlag.
22. E. A. Lee and H. Zheng. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In EMSOFT, Salzburg, Austria, 2007. ACM.
23. I. Lee, S. Davidson, and V. Wolfe. Motivating time as a first class entity. Technical Report MS-CIS-87-154, Dept. of Comp. and Infor. Science, Univ. of Penn, Aug. (Revised Oct.) 1987.
24. X. Liu and E. A. Lee. CPO semantics of timed interactive actor networks. Theoretical Computer Science, 409(1):110-125, 2008.
25. S. R. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong. Tag: A tiny aggregation service for ad-hoc sensor networks. In ACM Symposium on Operating System Design and Implementation (OSDI), 2002.
26. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory and Practice, REX Workshop, pages 447-484. Springer-Verlag, 1992.
27. Z. Manna and A. Pnueli. Verifying hybrid systems. Hybrid Systems, pages 4-35, 1992.
28. A. K. Mok. Annotating ada for real-time program synthesis. In IEEE Conference on Computer Assurance (COMPASS). IEEE, 1987.
29. R. Olfati-Saber, J. A. Fax, and R. M. Murray. Consensus and cooperation in networkedmulti-agent systems. Proceedings of the IEEE, 95(1):215-233, 2007.
30. J. L. Paunicka, D. E. Corman, and B. R. Mendel. A CORBA-based middleware solution for UAVs. In Fourth International Symposium on Object-Oriented Real-Time Distributed Computing, pages 261 - 267, Magdeburg, Germany, 2001. IEEE.
31. P. Ramadge and W. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81-98, 1989.
32. D. C. Schmidt, D. L. Levine, and S. Mungee. The design of the TAO real-time object request broker. Computer Communications, 21(4), 1998.
33. S. A. Seshia and A. Rakhlin. Game-theoretic timing analysis. In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pages 575-582. IEEE Press, 2008.
34. L. Thiele, E. Wandeler, and N. Stoimenov. Real-time interfaces for composing real-time systems. In EMSOFT, Seoul, Korea, 2006. ACM Press.
35. R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenstr. The worst-case execution-time problem - overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems (TECS), 7(3):1-53, 2008.
36. B. P. Zeigler, H. Praehofer, and T. G. Kim. Theory of Modeling and Simulation. Academic Press, 2nd edition, 2000.
37. Y. Zhao, E. A. Lee, and J. Liu. A programming model for time-synchronized distributed real-time systems. In Real-Time and Embedded Technology and Applications Symposium (RTAS), Bellevue, WA, USA, 2007. IEEE.