research-article

On coordination tools in the PicOS tuples system

Authors:

Ioanis Nikolaidis,

Pawel Gburzynski,

Eleni StrouliaAuthors Info & Claims

SESENA '11: Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications

Pages 19 - 24

https://doi.org/10.1145/1988051.1988056

Published: 22 May 2011 Publication History

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.

References

[1]

G. Werner-Allen, K. Lorincz, J. Johnson, J. Lees, and M. Welsh. Fidelity and yield in a volcano monitoring sensor networks. In OSDI'06.

Digital Library

[2]

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.

Digital Library

[3]

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.

[4]

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.

Digital Library

[5]

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.

Digital Library

[6]

Dijkstra, E. W. and C. S. Sholten. Termination Detection for diffusing computations. In Information Processing Letters, 11(1), North-Holland, August 1980, 1--4.

[7]

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.

Digital Library

[8]

N. Carriero and D. Gelernter. Linda in context. Commun. ACM, 32(4):444--458, 1989.

Digital Library

[9]

M. Chandy and J. Misra. Parallel Program Design Addison-Wesley, 1988.

Digital Library

[10]

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.

Digital Library

[11]

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.

Digital Library

[12]

S. Katz. A superimposition control construct for distributed systems. ACM Trans. Program. Lang. Syst., 15:337--356, April 1993.

Digital Library

[13]

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.

Digital Library

[14]

R. Kurki-Suonio. Action systems in incremental and aspect-oriented modeling. Distrib. Comput., 16(2-3):201--217, 2003.

Digital Library

[15]

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.

Digital Library

[16]

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.

Digital Library

[17]

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.

Digital Library

[18]

M. Sihman and S. Katz. Superimpositions and aspect-oriented programming. The Computer Journal, 46:529--541, 2003.

[19]

K. Terfloth, G. Wittenburg, and J. H. Schiller. Facts - a rule-based middleware architecture for wireless sensor networks. In COMSWARE, 2006.

[20]

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.

Digital Library

[21]

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.

Digital Library

[22]

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

Digital Library

Cited By

Poliansky RSipper MElyasaf A(2022)From Requirements to Source Code: Evolution of Behavioral ProgramsApplied Sciences10.3390/app1203158712:3(1587)Online publication date: 2-Feb-2022
https://doi.org/10.3390/app12031587
Elyasaf ASadon AWeiss GYaacov TPretschner AVoss SBurgueño L(2019)Using behavioural programming with solver, context, and deep reinforcement learning for playing a simplified RoboCup-type gameProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00039(243-251)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00039
Harel DKantor AKatz GMarron AWeiss GWiener G(2015)Towards behavioral programming in distributed architecturesScience of Computer Programming10.1016/j.scico.2014.03.00398:P2(233-267)Online publication date: 1-Feb-2015
https://dl.acm.org/doi/10.1016/j.scico.2014.03.003
Show More Cited By

Index Terms

On coordination tools in the PicOS tuples system
1. Software and its engineering
  1. Software notations and tools
  2. Software organization and properties
    1. Software system structures
      1. Distributed systems organizing principles
        Client-server architectures
      2. Software architectures

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 Software

The 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
Abstract
Mechanisms 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 Conference

In 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

Information & Contributors

Information

Published In

cover image ACM Conferences

SESENA '11: Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications

May 2011

74 pages

ISBN:9781450305839

DOI:10.1145/1988051

General Chairs:
Kurt Geihs
University of Kassel, Germany
,
Kay Römer
University of Lübeck, Germany
,
Program Chairs:
Luca Mottola
Swedish Institute of Computer Science
,
Gian Pietro Picco
University of Trento, Italy

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 May 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE11

Sponsor:

SIGSOFT

ICSE11: International Conference on Software Engineering

May 22, 2011

HI, Waikiki, Honolulu, USA

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
73
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Poliansky RSipper MElyasaf A(2022)From Requirements to Source Code: Evolution of Behavioral ProgramsApplied Sciences10.3390/app1203158712:3(1587)Online publication date: 2-Feb-2022
https://doi.org/10.3390/app12031587
Elyasaf ASadon AWeiss GYaacov TPretschner AVoss SBurgueño L(2019)Using behavioural programming with solver, context, and deep reinforcement learning for playing a simplified RoboCup-type gameProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00039(243-251)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00039
Harel DKantor AKatz GMarron AWeiss GWiener G(2015)Towards behavioral programming in distributed architecturesScience of Computer Programming10.1016/j.scico.2014.03.00398:P2(233-267)Online publication date: 1-Feb-2015
https://dl.acm.org/doi/10.1016/j.scico.2014.03.003
Ashrov AMarron AWeiss GWiener G(2015)A use-case for behavioral programmingScience of Computer Programming10.1016/j.scico.2014.01.01798:P2(268-292)Online publication date: 1-Feb-2015
https://dl.acm.org/doi/10.1016/j.scico.2014.01.017
Harel DNitzan S(2015)Programming Animation Using Behavioral ProgrammingRevised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 636810.1007/978-3-319-21912-7_5(113-132)Online publication date: 1-Jun-2015
https://dl.acm.org/doi/10.1007/978-3-319-21912-7_5
Harel DMarron AWeiss G(2012)Behavioral programmingCommunications of the ACM10.1145/2209249.220927055:7(90-100)Online publication date: 1-Jul-2012
https://dl.acm.org/doi/10.1145/2209249.2209270
Harel DMarron ANissim AWeiss G(2012)A software engineering framework for switched fuzzy systems2012 IEEE International Conference on Fuzzy Systems10.1109/FUZZ-IEEE.2012.6251301(1-9)Online publication date: Jun-2012
https://doi.org/10.1109/FUZZ-IEEE.2012.6251301
Harel DMarron AWiener GWeiss GLopes C(2011)Behavioral programming, decentralized control, and multiple time scalesProceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'1110.1145/2095050.2095079(171-182)Online publication date: 23-Oct-2011
https://dl.acm.org/doi/10.1145/2095050.2095079

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents