Reinventing computing for real time

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4322 LNCS, Issue , 2007, Pages 1-25

  Lee, Edward A ^a   Zhao, Yang ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; REAL TIME SYSTEMS; SYNCHRONIZATION; UBIQUITOUS COMPUTING;

EMBEDDED SOFTWARE SYSTEMS; NETWORKED CONTROL SYSTEMS; TIME SYNCHRONIZATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 34548071207     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71156-8_1     Document Type: Conference Paper

References (32)

1. O. Avissar, R. Barua, and D. Stewart. An optimal memory allocation scheme for scratch-pad-based embedded systems. Trans. on Embedded Computing Sys., 1(1):6-26, 2002.
2. G. Berry. The effectiveness of synchronous languages for the development of safetycritical systems. White paper, Esterel Technologies, 2003.
3. 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.
4. E. A. de Kock, G. Essink, W. J. M. Smits, P. van der Wolf, J.-Y. Brunel, W. Kruijtzer, P. Lieverse, and K. A. Vissers. YAPI: Application modeling for signal processing systems. In 37th Design Automation Conference (DAC'00), pages 402-405, Los Angeles, CA, 2000.
5. E. Dijkstra. Cooperating sequential processes. In E. F. Genuys, editor, Programming Languages. Academic Press, 1968.
6. A. Dominguez, S. Udayakumaran, and R. Barua. Heap data allocation to scratchpad memory in embedded systems. Journal of Embedded Computing, 1(4), 2005.
7. 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.
8. D. Gay, P. Levis, R. v. Behren, M. Welsh, E. Brewer, and D. Culler. The nesc language: A holistic approach to networked embedded systems. In Programming Language Design and Implementation (PLDI), 2003.
9. A. Ghosal, T. A. Henzinger, C. M. Kirsch, and M. A. Sanvido. Event-driven programming with logical execution times. In Seventh International Workshop on Hybrid Systems: Computation and Control (HSCC), volume Lecture Notes in Computer Science 2993, pages 357-371. Springer-Verlag, 2004.
10. A. Girault, B. Lee, and E. A. Lee. Hierarchical finite state machines with multiple concurrency models. IEEE Transactions On Computer-aided Design Of Integrated Circuits And Systems, 18(6):742-760, 1999.
11. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1319, 1991.
12. 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.
13. 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.
14. C. A. R. Hoare. Monitors: An operating system structuring concept. Communications of the ACM, 17(10):549-557, 1974.
15. D. Jefferson. Virtual time. ACM Trans. Programming Languages and Systems, 7(3):404-425, 1985.
16. E. Kohler, R. Morris, B. Chen, J. Jannotti, and M. F. Kaashoek. The click modular router. ACM Transactions on Computer Systems, 18(3):263-297, 2000.
17. D. Lea. Concurrent Programming in Java: Design Principles and Patterns. Addison-Wesley, Reading MA, 1997.
18. E. A. Lee. Modeling concurrent real-time processes using 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, S. Neuendorffer, and M. J. Wirthlin. Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers, 12(3):231-260, 2003.
21. E. A. Lee and T. M. Parks. Dataflow process networks. Proceedings of the IEEE, 83(5):773-801, 1995.
22. E. A. Lee, H. Zheng, and Y. Zhou. Causality interfaces and compositional causality analysis. In Foundations of Interface Technologies (FIT), Satellite to CONCUR, San Francisco, CA, 2005.
23. 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.
24. J. Liu and E. A. Lee. Timed multitasking for real-time embedded software. IEEE Control Systems Magazine, pages 65-75, 2003.
25. P. Panangaden and V. Shanbhogue. The expressive power of indeterminate dataflow primitives. Information and Computation, 98(1):99-131, 1992.
26. T. M. Parks. A comparison of MPI and process networks. In International Parallel and Distributed Processing Symposium, Workshop on Java for Parallel and Distributed Computing, Denver, CO, 2005.
27. J. L. Pino, S. Ha, E. A. Lee, and J. T. Buck. Software synthesis for dsp using Ptolemy. Journal on VLSI Signal Processing, 9(1):7-21, 1995.
28. D. A. Smith, A. Kay, A. Raab, and D. P. Reed. Croquet: A collaboration system architecture. White paper, 2003.
29. J. A. Stankovic. Misconceptions about real-time computing: a serious problem for next-generation systems. Computer, 21(10):10-19, 1988.
30. N. Wirth. Toward a discipline of real-time programming. Communications of the ACM, 20(8):577-583, 1977.
31. B. P. Zeigler, H. Praehofer, and T. G. Kim. Theory of Modeling and Simulation. Academic Press, 2nd edition, 2000.
32. Y. Zhao, E. A. Lee, and J. Liu. Programming temporally integrated distributed embedded systems. Technical Report UCB/EECS-2006-82, EECS Department, University of California, Berkeley, May 28 2006.