The Case for Timing-Centric Distributed Software — Invited Paper —

Proceedings - International Conference on Distributed Computing Systems

Volumn , Issue , 2009, Pages 57-64

  Lee, Edward A ^a   Matic, Slobodan ^a   Seshia, Sanjit A ^a   Zou, Jia ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; DISCRETE EVENT SIMULATION; EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; SEMANTICS; TIMING CIRCUITS;

CONCURRENT SOFTWARE; COORDINATION LANGUAGE; CYBE-PHYSICAL SYSTEMS; CYBER-PHYSICAL SYSTEMS; DISCRETE-EVENT SEMANTICS; DISTRIBUTED SOFTWARE; PROGRAMMING MODELS; RUNTIME FRAMEWORKS; SOFTWARE-COMPONENT; TEMPORAL SEMANTICS;

ROBUST CONTROL;

EID: 85184817658     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDCSW.2009.108     Document Type: Conference Paper

References (39)

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. G. C. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Springer, second edition, 2005.
4. C. G. Cassandras. Discrete Event Systems, Modeling and Performance Analysis. Irwin, 1993.
5. 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.
6. 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.
7. S. A. Edwards and E. A. Lee. The case for the precision timed (PRET) machine. In Design Automation Conference (DAC), San Diego, CA, 2007.
8. 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.
9. 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.
10. T. H. Feng, E. A. Lee, H. D. Patel, and J. Zou. Toward an effective execution policy for distributed real-time embedded systems. In 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), St. Louis, MO, USA, 2008.
11. J. Hill, R. Szewcyk, A. Woo, D. Culler, S. Hollar, and K. Pister. System architecture directions for networked sensors. In 9th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 93–104, 2000.
12. IEEE Instrumentation and Measurement Society. 1588: IEEE standard for a precision clock synchronization protocol for networked measurement and control systems. Standard specification, IEEE, 2002.
13. M. Jersak. Timing model and methodology for autosar. In Elektronik Automotive. Special issue AUTOSAR, 2007.
14. S. Johannessen. Time synchronization in a local area network. IEEE Control Systems Magazine, pages 61–69, 2004.
15. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-integrated development of embedded software. Proceedings of the IEEE, 91(1):145–164, 2003.
16. 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.
17. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer, 1997.
18. H. Kopetz and G. Bauer. The time-triggered architecture. Proceedings of the IEEE, 91(1):112–126, 2003.
19. E. A. Lee. Modeling concurrent real-time processes using discrete events. Annals of Software Engineering, 7:25–45, 1999.
20. E. A. Lee. Computing Needs Time. Technical Report UCB/EECS-2009-30, EECS Department, UC Berkeley, February 18 2009. To appear in Communications of the ACM, May, 2009.
21. E. A. Lee and H. Zheng. Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In EMSOFT, Salzburg, Austria, 2007. ACM.
22. I. Lee, S. Davidson, and V. Wolfe. Motivating time as a first class entity. Technical Report MS-CIS-87-54, Dept. of Comp. and Infor. Science, Univ. of Penn, Aug. (Revised Oct.) 1987.
23. X. Liu and E. A. Lee. CPO semantics of timed interactive actor networks. Theoretical Computer Science, 409(1):110–125, 2008.
24. Z. Manna and A. Pnueli. Verifying hybrid systems. Hybrid Systems, pages 4–35, 1992.
25. A. K. Mok. Annotating ada for real-time program synthesis. In IEEE Conference on Computer Assurance (COMPASS). IEEE, 1987.
26. OMG. UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE), 2008.
27. G. Pardo-Castellote. Omg data-distribution service: Architectural overview. In ICDCS, pages 200–206, 2003.
28. 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.
29. P. Ramadge and W. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81–98, 1989.
30. D. C. Schmidt, D. L. Levine, and S. Mungee. The design of the TAO real-time object request broker. Computer Communications, 21(4), 1998.
31. D. C. Schmidt, M. Stal, H. Rohnert, and F. Buschmann. Pattern-Oriented Software Architecture - Patterns for Concurrent and Networked Objects. Wiley, 2000.
32. S. A. Seshia and A. Rakhlin. Game-theoretic timing analysis. In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (IC-CAD), pages 575–582. IEEE Press, 2008.
33. J. A. Stankovic, I. Lee, A. Mok, and R. Rajkumar. Opportunities and obligations for physical computing systems. Computer, pages 23–31, 2005.
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.
38. G. Zhou, M.-K. Leung, and E. A. Lee. A code generation framework for actor-oriented models with partial evaluation. In Y.-H. L. et al., editor, Internation Conference on Embedded Software and Systems (ICESS), volume LNCS 4523, page 786799, Daegu, Korea, 2007. Springer-Verlag.
39. Y. Zhou and E. A. Lee. Causality interfaces for actor networks. ACM Transactions on Embedded Computing Systems (TECS), 7(3):1–35, 2008.