On coordination tools in the PicOS tuples system

Authors:
Benny Shimony;Ioanis Nikolaidis;Pawel Gburzynski;Eleni Stroulia
Affiliations:
University of Alberta, Edmonton, AB, Canada;University of Alberta, Edmonton, AB, Canada;Olsonet Comm. Corp., Ottawa, ON, Canada;University of Alberta, Edmonton, AB, Canada
Venue:
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Year:
2011

Citing 17
Cited 2

Parallel program design: a foundation

Parallel program design: a foundation
Linda in context

Communications of the ACM
A compositional approach to superimposition

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Superimposition for interacting processes

CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
A superimposition control construct for distributed systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
System architecture directions for networked sensors

ACM SIGPLAN Notices
The broadcast storm problem in a mobile ad hoc network

Wireless Networks - Selected Papers from Mobicom'99
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Action systems in incremental and aspect-oriented modeling

Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications

ICDCS '05 Proceedings of the 25th IEEE International Conference on Distributed Computing Systems
TeenyLIME: transiently shared tuple space middleware for wireless sensor networks

Proceedings of the international workshop on Middleware for sensor networks
Abstractions for safe concurrent programming in networked embedded systems

Proceedings of the 4th international conference on Embedded networked sensor systems
Fidelity and yield in a volcano monitoring sensor network

OSDI '06 Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation - Volume 7
Increasing the visibility of sensor networks with passive distributed assertions

Proceedings of the workshop on Real-world wireless sensor networks
Self-sustained Routing for Event Diffusion in Wireless Sensor Networks

RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
PicOS tuples: easing event based programming in tiny pervasive systems

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Programming coordinated behavior in java

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming

Behavioral programming, decentralized control, and multiple time scales

Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Behavioral programming

Communications of the ACM

Quantified Score

Hi-index	0.02

Visualization

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.