TinyGALS: A programming model for event-driven embedded systems

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2003, Pages 698-704

  Cheong, Elaine ^a   Liebman, Judy ^a   Liu, Jie ^b   Zhao, Feng ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b PALO ALTO RESEARCH CENTER   (United States)

Author keywords

Code generation; Embedded systems; Globally synchronous and locally asynchronous; Programming models; Sensor network

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; SENSORS; SOFTWARE ENGINEERING; SYNCHRONIZATION;

WIRELESS SENSOR NETWORKS;

EMBEDDED SYSTEMS;

EID: 0037661091     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. B.A. Akyol, M. Fredette, A.W. Jackson, R. Krishnan, D. Mankins, C. Partridge, N. Shectman, and G.D. Troxel, "Smart Office Spaces," USENIX Workshop on Embedded Systems, Cambridge, MA, USA, Mar 29-31, 1999.
2. G.R. Andrews, Concurrent Programming; Principles and Practice, Addison-Wesley, 1991.
3. F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli, E. Sentovich, and K. Suzuki, "Synthesis of Software Programs for Embedded Control Applications," IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol.18, No. 6, 1999, pp. 834-849.
4. S.S. Bhattacharyya, P.K. Murthy, and E.A. Lee, Software Synthesis from Dataflow Graphs, Kluwer, 1996.
5. A. Benveniste, B. Caillaud and P. Le Guernic. "From synchrony to asynchrony," in J.C.M. Baeten and S. Mauw, editors, 10th International Conference on Concurrency Theory (CON-CUR'99), LNCS 1664, Springer Verlag, 1999, pp. 162-177.
6. G. Berry and G. Gonthier, "The Esterel Synchronous Programming Language: Design, Semantics, Implementation," Science of Computer Programming, Vol. 19, No. 2, pp. 87-152, 1992.
7. M. Cornero, F. Thoen, G. Goossens, and F. Curatelli, "Software synthesis for real-time information processing systems," in P. Marwedel and G. Goossens, Eds., Code Generation for Embedded Processors, pp. 260-279. Kluwer Academic Publishers, 1995.
8. D.E. Culler, J. Hill, P. Buonadonna, R. Szewczyk, and A. Woo, "A Network-Centric Approach to Embedded Software for Tiny Devices," First Workshop on Embedded Software (EMSOFT2001), Lake Tahoe, CA, USA, Oct. 8-10, 2001, pp. 114-130.
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," to appear in Proceedings of the IEEE.
10. D. Estrin, L. Girod, G. Pottie, and M. Srivastava, "Instrumenting the world with wireless sensor networks," in Proc. of ICASSP'2001, Salt Lake City, UT, May 2001, pp. 2675-2678.
11. J.G. Ganssle, The Art of Designing Embedded Systems, Newnes, 1999.
12. P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire. "Programming real-time applications with Signal," Proc. of the IEEE, Vol 79, No. 9, pp. 1321-1336, 1991.
13. N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, 1993.
14. J. Hill, R. Szewczyk, A. Woo, S. Hollar, D.E. Culler, and K. Pister, "System architecture directions for network sensors," in Proc. of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IX), Cambridge, MA, Nov. 12-15, 2000.
15. H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, 1997.
16. E.A. Lee, "What's Ahead for Embedded Software?" IEEE Computer, September 2000, pp. 18-26.
17. E.A. Lee and Y. Xiong, "System-Level Types for Component-Based Design," First Workshop on Embedded Software (EMSOFT2001), Lake Tahoe, CA, USA, Oct. 8-10, 2001, pp.237-253.
18. A. Mainwaring, J. Polastre, R. Szewczyk, and D. Culler, "Wireless Sensor Networks for Habitat Monitoring," 2002 ACM International Workshop on Wireless Sensor Networks and Applications (WSNA'02), Atlanta, GA, Sept. 2002.
19. T.J. Mowbray, W.A. Ruh, R.M. Soley, Inside Corba: Distributed Object Standards and Applications, Addison-Wesley, 1997.
20. J. Muttersbach, T. Villiger, W. Fichtner, "Practical Design of Globally-Asynchronous Locally-Synchronous Systems", in Proc. of the Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems, ASYNC2000, Eilat, Israel, pp. 52-59, April 2-6, 2000.
21. D.C. Schmidt, H. Rohnert, M. Stal, and D. Schultz, Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects, Vol. 2, 2nd Ed., Wiley, John & Sons, 2000.
22. A. Silberschatz, P.B. Galvin, and G. Gagne, Operating System Concepts (6th Ed.), John Wiley & Sons, 2001.
23. D.B. Stewart, R.A. Volpe, and P.K. Khosla, "Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects," IEEE Trans. on Software Engineering, Vol.23, No.12, Dec. 1997, pp. 759-776.
24. Pravin Varaiya, "Smart Cars on Smart Roads: Problems of Control," IEEE Trans. on Automatic Control, AC-38(2), 1993, pp. 195-207.
25. L. Wernli, Design and implementation of a code generator for the CAL actor language, Technical Memo UCB/ERL M02/5, University of California, Berkeley, CA 94720, March 2002.
26. F. Zhao, J. Shin, and J. Reich, "Information-Driven Dynamic Sensor Collaboration," IEEE Signal Processing Magazine, Vol. 19, No. 2, March 2002, pp. 61-85.