A Constraint Programming Approach for Managing End-to-end Requirements in Sensor Network Macroprogramming

Farshid Hassani Bijarbooneh, Animesh Pathak, Justin Pearson, Valerie Issarny, Bengt Jonsson

2014

Abstract

Though several high-level application development (macroprogramming) approaches have been proposed in literature for wireless sensor networks (WSN), there is a need to enable support for expressing and supporting end-to-end non-functional constraints such as latency in WSN macroprograms. We augment an existing macroprogramming language and its compilation process to enable the specification of end-to-end requirements, and propose task mapping algorithms to satisfy those requirements through a constraint programming approach. Through evaluations on realistic application task graphs, we show that our constraint programming model can effectively capture the end-to-end requirements and efficiently solves the combinatorial problem introduced.

References

  1. Arnold, B. C., Balakrishnan, N., and Nagaraja, H. N. (2008). A first course in order statistics, volume 54 of Classics in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA. Unabridged republication of the 1992 original.
  2. Bakshi, A., Pathak, A., and Prasanna, V. K. (2005a). System-level support for macroprogramming of networked sensing applications. In Intl. Conf. on Pervasive Systems and Computing (PSC).
  3. Bakshi, A., Prasanna, V. K., Reich, J., and Larner, D. (2005b). The Abstract Task Graph: A methodology for architecture-independent programming of networked sensor systems. In Workshop on End-to-end Sense-and-respond Systems (EESR).
  4. Choi, W., Shah, P., and Das, S. (2004). A framework for energy-saving data gathering using two-phase clustering in wireless sensor networks. In Proc. of the 1st Int. Conf. on Mobile and Ubiquitous Systems: Networking and Services (MOBIQUITOUS).
  5. David, H. A. and Nagaraja, H. N. (2003). Order statistics. Wiley Series in Probability and Statistics. WileyInterscience [JohnWiley & Sons], Hoboken, NJ, third edition.
  6. Gecode Team (2006). Gecode: A generic constraint development environment. http://www.gecode.org/.
  7. Gummadi, R., Gnawali, O., and Govindan, R. (2005). Macro-programming wireless sensor networks using Kairos. In Proc. of the 1st Int. Conf. on Distributed Computing in Sensor Systems (DCOSS).
  8. Hassani Bijarbooneh, F., Flener, P., Ngai, E., and Pearson, J. (2011). Energy-efficient task mapping for data-driven sensor network macroprogramming using constraint programming. In Operations Research, Computing, and Homeland Defense, pages 199-209. Institute for Operations Research and the Management Sciences.
  9. Karr, A. (1993). Probability. Springer Texts in Statistics Series. Springer-Verlag.
  10. Mottola, L., Pathak, A., Bakshi, A., Prasanna, V. K., and Picco, G. P. (2007). Enabling scope-based interactions in sensor network macroprogramming. In Proc. of the 4th Int. Conf. on Mobile Ad-Hoc and Sensor Systems.
  11. Mottola, L. and Picco, G. (2011). Programming wireless sensor networks: Fundamental concepts and state of the art. ACM Computing Surveys (CSUR), 43(3):19.
  12. Newton, R., Morrisett, G., and Welsh, M. (2007). The regiment macroprogramming system. In Proceedings of the 6th international conference on Information processing in sensor networks, pages 489-498. ACM.
  13. Pathak, A., Mottola, L., Bakshi, A., Prasanna, V. K., and Picco, G. P. (2007). Expressing sensor network interaction patterns using data-driven macroprogramming. In Third IEEE International Workshop on Sensor Networks and Systems for Pervasive Computing (PerSeNS 2007).
  14. Pathak, A. and Prasanna, V. K. (2010). Energy-efficient task mapping for data-driven sensor network macroprogramming. IEEE Transactions on Computers, 59(7):955-968.
  15. Pathak, A. and Prasanna, V. K. (2011). High-Level Application Development for Sensor Networks: Data-Driven Approach. In Nikoletseas, S. and Rolim, J. D., editors, Theoretical Aspects of Distributed Computing in Sensor Networks, Monographs in Theoretical Computer Science. An EATCS Series, pages 865-891. Springer Berlin Heidelberg.
  16. Rossi, F., van Beek, P., and Walsh, T., editors (2006). Handbook of Constraint Programming. Elsevier.
  17. Tian, Y., Ekici, E., and O zgüner, F. (2005). Energyconstrained task mapping and scheduling in wireless sensor networks. In IEEE International Conference on Mobile Ad hoc and Sensor Systems, pages 8-218. IEEE Computer Society Press.
  18. US Department of Transportation, Federal Highway Administration (2012). Manual on uniform traffic control devices: Preemption and priority control of traffic control signals. http://mutcd.fhwa.dot.gov/ pdfs/2009r1r2/part4.pdf. Section 4D.27.
  19. Wu, Y., Kapitanova, K., Li, J., Stankovic, J. A., Son, S. H., and Whitehouse, K. (2010). Run time assurance of application-level requirements in wireless sensor networks. In Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 7810.
Download


Paper Citation


in Harvard Style

Hassani Bijarbooneh F., Pathak A., Pearson J., Issarny V. and Jonsson B. (2014). A Constraint Programming Approach for Managing End-to-end Requirements in Sensor Network Macroprogramming . In Proceedings of the 3rd International Conference on Sensor Networks - Volume 1: SENSORNETS, ISBN 978-989-758-001-7, pages 28-40. DOI: 10.5220/0004715200280040


in Bibtex Style

@conference{sensornets14,
author={Farshid Hassani Bijarbooneh and Animesh Pathak and Justin Pearson and Valerie Issarny and Bengt Jonsson},
title={A Constraint Programming Approach for Managing End-to-end Requirements in Sensor Network Macroprogramming},
booktitle={Proceedings of the 3rd International Conference on Sensor Networks - Volume 1: SENSORNETS,},
year={2014},
pages={28-40},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004715200280040},
isbn={978-989-758-001-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Sensor Networks - Volume 1: SENSORNETS,
TI - A Constraint Programming Approach for Managing End-to-end Requirements in Sensor Network Macroprogramming
SN - 978-989-758-001-7
AU - Hassani Bijarbooneh F.
AU - Pathak A.
AU - Pearson J.
AU - Issarny V.
AU - Jonsson B.
PY - 2014
SP - 28
EP - 40
DO - 10.5220/0004715200280040