Benny Shimony
ABSTRACT
In this paper, we discuss the most recent coordination extension to the PicOS-tuples environment, inspired, to a degree, by B-Threads and FACTS. We illustrate the extensions with two design patterns, highly useful in WSN computations, known as regulative superimposition and distributed detection. Those patterns are employed in a debugging protocol that retrieves snapshots of node states. We demonstrate how our new idioms can be propitious for separating concerns in WSN programming using tuples.
- G. Werner-Allen, K. Lorincz, J. Johnson, J. Lees, and M. Welsh. Fidelity and yield in a volcano monitoring sensor networks. In OSDI'06. Google Scholar
Digital Library
- Jason Hill, Robert Szewczyk, Alec Woo, Seth Hollar, David Culler, and Kristofer Pister. System architecture directions for networked sensors. SIGPLAN Not., 35(11):93--104, 2000. Google ScholarDigital Library
- Akhmetshina, E. and Gburzyński, P. and Vizeacoumar, F. PicOS: A Tiny Operating System for Extremely Small Embedded Platforms. Proceedings of ESA'03. 116--122, june 2003.Google Scholar
- Nicholas M. Boers and Pawel Gburzynski and Ioanis Nikolaidis and Wladek Olesinski. Developing wireless sensor network applications in a virtual environment. Telecommunication Systems, 45(2-3):165--176, 2010.Google ScholarDigital Library
- William P. McCartney and Nigamanth Sridhar. Abstractions for safe concurrent programming in networked embedded systems. In Proceedings of SenSys'06, pages 167--180, Boulder, Colorado, USA, 2006. Google ScholarDigital Library
- Dijkstra, E. W. and C. S. Sholten. Termination Detection for diffusing computations. In Information Processing Letters, 11(1), North-Holland, August 1980, 1--4.Google Scholar
- L. Bougé and N. Francez. A compositional approach to superimposition. In Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '88, pages 240--249, New York, NY, USA, 1988. ACM. Google ScholarDigital Library
- N. Carriero and D. Gelernter. Linda in context. Commun. ACM, 32(4):444--458, 1989. Google ScholarDigital Library
- M. Chandy and J. Misra. Parallel Program Design Addison-Wesley, 1988.. Google ScholarDigital Library
- N. Francez and I. R. Forman. Superimposition for interacting processes. In Proceedings of CONCUR '90, pages 230--245, New York, NY, USA, 1990. Springer-Verlag New York, Inc. Google ScholarDigital Library
- D. Harel, A. Marron, and G. Weiss. Programming coordinated behavior in java. In Proceedings of ECOOP'10, pages 250--274, Berlin, Heidelberg, 2010. Springer-Verlag. Google ScholarDigital Library
- S. Katz. A superimposition control construct for distributed systems. ACM Trans. Program. Lang. Syst., 15:337--356, April 1993. Google ScholarDigital Library
- G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of aspectj. In ECOOP '01, pages 327--353, London, UK, 2001. Springer-Verlag. Google ScholarDigital Library
- R. Kurki-Suonio. Action systems in incremental and aspect-oriented modeling. Distrib. Comput., 16(2-3):201--217, 2003. Google ScholarDigital Library
- K. Römer and M. Ringwald. Increasing the visibility of sensor networks with passive distributed assertions. In Proceedings of the workshop on Real-world wireless sensor networks, REALWSN '08, pages 36--40, New York, NY, USA, 2008. ACM. Google ScholarDigital Library
- B. Shimony, I. Nikolaidis, P. Gburzynski, and E. Stroulia. Picos tuples: easing event based programming in tiny pervasive systems. In Proceedings MOMPES '10, pages 53--60, New York, NY, USA, 2010. ACM. Google ScholarDigital Library
- P. Costa, L. Mottola, and A. L. Murphy, and G. P. Picco, TeenyLIME: transiently shared tuple space middleware for wireless sensor networks. Proceedings of MidSens'06. Google ScholarDigital Library
- M. Sihman and S. Katz. Superimpositions and aspect-oriented programming. The Computer Journal, 46:529--541, 2003.Google ScholarCross Ref
- K. Terfloth, G. Wittenburg, and J. H. Schiller. Facts - a rule-based middleware architecture for wireless sensor networks. In COMSWARE, 2006.Google ScholarCross Ref
- K. Terfloth and J. H. Schiller. Self-sustained Routing for Event Diffusion in Wireless Sensor Networks. In RuleML '08, pages 236--241, Orlando, Florida. Springer-Verlag. Google ScholarDigital Library
- Y.-C. Tseng, S.-Y. Ni, Y.-S. Chen, and J.-P. Sheu. The broadcast storm problem in a mobile ad hoc network. Wirel. Netw., 8:153--167, March 2002. Google ScholarDigital Library
- Chien-liang Fok and Gruia-catalin Roman and Chenyang Lu. Rapid development and flexible deployment of adaptive wireless sensor network applications In ICDCS05, pages 653--662 Google ScholarDigital Library
Index Terms
- On coordination tools in the PicOS tuples system
Recommendations
PicOS tuples: easing event based programming in tiny pervasive systems
MOMPES '10: Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded SoftwareThe task of programming sensor-based systems comes with severe constraints on the resources, typically memory, CPU power, and energy. The challenge is usually addressed with techniques that result in poor code understandability and maintainability. In ...
Building secure protocols for extensible distributed coordination through secure extensions
AbstractMechanisms for distributed coordination are used in the development of many distributed systems and, generally, are implemented on top of coordination infrastructures, such as tuple spaces. Although tuple spaces provide the ...
Communication and coordination support in ad hoc networks for emergency management scenarios
IWCMC '10: Proceedings of the 6th International Wireless Communications and Mobile Computing ConferenceIn recent years the world has witnessed many catastrophic events where the intervention of first responders was required to manage massive disaster scenarios. To be effective, emergency management teams must be able to coordinate and communicate ...
Comments