A constraint programming approach for managing end-to-end requirements in sensor network macroprogramming
Résumé
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.