A programming model for time-synchronized distributed real-time systems

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn , Issue , 2007, Pages 259-268

  Zhao, Yang ^a   Liu, Jie ^b   Lee, Edward A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; FORMAL METHODS; REAL TIME SYSTEMS;

DE SEMANTICS; OUT-OF-ORDER EXECUTION; PROGRAMMING MODELS;

MODEL CHECKING;

EID: 34548134817     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2007.5     Document Type: Conference Paper

References (34)

1. L. d. Alfaro and T. A. Henzinger. Interface-based design. In M. Broy, J. Gruenbauer, D. Harel, and C. Hoare, editors, Engineering Theories of Software-intensive Systems, volume NATO Science Series: Mathematics, Physics, and Chemistry, Vol. 195, pages 83-104. Springer, 2005.
2. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
3. F. Baccelli, G. Cohen, G. J. Olster, and J. P. Quadrat. Synchronization and Linearity, An Algebra for Discrete Event Systems. Wiley, New York, 1992.
4. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9): 1270-1282, 1991.
5. G. Berry. The effectiveness of synchronous languages for the development of safety-critical systems. White paper, Esterei Technologies, 2003.
6. C. G. Cassandras. Discrete Event Systems, Modeling and Performance Analysis. Irwin, 1993.
7. G. Cengic, O. Ljungkrantz, and K. kesson. 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, September 20-22 2006.
8. A. Chakrabarti, L. de Alfaro, T. A. Henzinger, and M. Stoelinga. Resource interfaces. In Proc. of the Third International Conference on Embedded Software (EMSOFT'03). Lecture Notes in Computer Science, Springer-Verlag, 2003.
9. K. M. Chandy and J. Misra. Distributed simulation: A case study in design and verification of distributed programs. IEEE Trans. on Software Engineering, 5(5), 1979.
10. L. Corts, P. Eles, and Z. Peng. A petti net based model for heterogeneous embedded systems, 1999.
11. J. Elson, L. Girod, and D. Estrin. Fine-grained network time synchronization using reference broadcasts. In Proc. of the Fifth Symposium on Operating Systems Design and Implementation (OSDI2002), Boston, MA., December 2002.
12. G. S. Fishman. Discrete-Event Simulation: Modeling, Programming, and Analysis. Springer-Verlag, 2001.
13. R. Fujimoto. Parallel and Distributed Simulation Systems. John Wiley and Sons, 2000.
14. A. Ghosal, T. A. Henzinger, D. Iercan, C. M. Kirsch, and A. Sangiovanni-Vincentelli. A hierarchical coordination language for interacting real-time tasks. In Sixth Annual Conference on Embedded Software (EMSOFT), Seoul, Korea, October 2006. ACM.
15. T. A. Henzinger. The theory of hybrid automata. NATO ASI Series F: Computer and Systems Sciences, 170:265-292, 2000.
16. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. In EMSOFT 2001, volume LNCS 2211, Tahoe City, CA, 2001. Springer-Verlag.
17. T. A. Henzinger, C. M. Kirsch, and S. Matic. Composable code generation for distributed Giotto. In International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 21-30. ACM, 2005.
18. T. A. Henzinger and S. Matic. An interface algebra for real-time components. In Proc. of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), San Jose, CA, April 2006.
19. D. Jefferson. Virtual time. ACM Trans. Programming Languages and Systems, 7(3):404-425, 1985.
20. S. Johannessen. Time synchronization in a local area network. IEEE Control Systems Magazine, pages 61-69, April 2004.
21. H. Kopetz. Real-Time Systems : Design Principles for Distributed Embedded Applications. Springer, 1997.
22. L. Lamport, R. Shostak, and M. Pease. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978.
23. E. A. Lee. Modeling concurrent real-time processes using discrete events. Annals of Software Engineering, 7:25-45, 1999.
24. E. A. Lee and Y. Zhao. Reinventing computing for real time. In Proc. of the Monterey Workshop 2006, LNCS 4322, pages 1-25, 2007.
25. E. A. Lee, H. Zheng, and Y Zhou. Causality interfaces and compositional causality analysis. Invited paper in Foundations of Interface Technologies, Satellite to CONCUR 2005, August 2005.
26. C. L. Liu and J. W. Leyland. Scheduling algorithms for multiprogramming in a hard real time environment. Journal of the ACM, 20(1):46-61, 1973.
27. J. Liu and E. A. Lee. Timed multitasking for real-time embedded software. IEEE Control Systems Magazine, pages 65-75, 2003.
28. S. Matic and T. A. Henzinger. Trading end-to-end latency for composability. In 26th Annual Real-Time Systems Symposium (RTSS), pages 99-110. IEEE Computer Society Press, 2005.
29. D. Mills. A brief history of NTP time: confessions of an internet timekeeper. ACM Computer Communications Review, 33, April 2003.
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, May 2-4 2001. IEEE.
31. D. C. Schmidt, D. L. Levine, and S. Mungee. The design of the TAO real-time object request broker. Computer Communications, 21(4), April 1998.
32. D. C. Schmidt, M. Stal, H. Rohnert, and F. Buschmann. Pattern-Oriented Software Architecture - Patterns for Concurrent and Networked Objects. Wiley, 2000.
33. E. Wandeler and L. Thiele. Interface-based design of realtime systems with hierarchical scheduling. In Proc. of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), San Jose, CA, April 2006.
34. B. P. Zeigler, H. Praehofer, and T. G. Kim. Theory of Modeling and Simulation. Academic Press, 2nd edition, 2000.