A concurrency abstraction for reliable sensor network applications

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

Volumn 4322 LNCS, Issue , 2007, Pages 143-160

  Sallai, János ^a   Maróti, Miklós ^b   Lédeczi, Ákos ^a  

^a VANDERBILT UNIVERSITY   (United States)

^b UNIVERSITY OF SZEGED   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER RESOURCE MANAGEMENT; CONSTRAINT THEORY; EMBEDDED SYSTEMS; MULTITASKING; PROGRAM DEBUGGING; STORAGE ALLOCATION (COMPUTER);

CONCURRENCY ABSTRACTION; MULTITHREADING; STATE MACHINES;

SENSOR NETWORKS;

EID: 34548084103     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-71156-8_8     Document Type: Conference Paper

References (16)

1. Laurer, H.C., Needham, R.M.: On the duality of operating system structures. SIGOPS Operating Systems Review 13 (1979) 3-19
2. v. Behren, R., Condit, J., Brewer, E.: Why events are a bad idea (for high-concurrency servers). HotOS IX (2003)
3. Lee, E.: What's ahead for embedded software? IEEE Computer (2000) 16-26
4. Adya, A., Howell, J., Theimer, M., Bolosky, W.J., , Douceur, J.R.: Cooperative task management without manual stack management. Proceedings of the USENIX Annual Technical Conference (2002) 289-302
5. Lee, E.: The problem with threads. IEEE Computer (2006) 33-42
6. Gay, D., Levis, P., v. Behren, R., Welsh, M., Brewer, E., Culler, D.: The nesc language: A holistic approach to networked embedded systems. SIGPLAN (2003)
7. Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., , Pister, K.: System architecture directions for network sensors. Proc. of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IX) (2000)
8. Brand, D., Zafiropulo, P.: On communicating finite state machines. Journal of the ACM 30 (1983) 323-242
9. Dunkels, A., Grnvall, B., Voigt, T.: Contiki - a lightweight and flexible operating system for tiny networked sensors. EmNetSI (2004)
10. Dunkels, A., Schmidt, O., Voigt, T.: Using protothreads for sensor node programming. The Workshop on Real-World Wireless Sensor Networks (2005)
11. et al, H.A.: Mantis: system support for multimodal networks of in-situ sensors. WSNA (2003) 50-59
12. Cheong, E., Liebman, J., Liu, J., , Zhao, F.: Tinygals: A programming model for event-driven embedded systems. Proceedings of the 18th Annual ACM Symposium on Applied Computing (SAC'03) (2003)
13. Cheong, E., Liu, J.: galsc: a language for event-driven embedded systems. Proceedigs of Design, Automation and Test in Europe 2 (2005) 1050-1055
14. Han, C., Kumar, R., Shea, R., Kohler, E., Srivastava, M.: A dynamic operating system for sensor nodes. In Proceedings of the 3rd international Conference on Mobile Systems, Applications, and Services (2005) 163-176
15. Kasten, O., Rmer, K.: Beyond event handlers: Programming wireless sensors with attributed state machines. The Fourth International Conference on Information Processing in Sensor Networks (IPSN) (2005)
16. Berry, G., Gonthier, G.: The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19 (1992) 87-152