Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring

Many mobile sensing platforms take advantage of a common ubiquitous mobile device for computation, communication, and control tasks: a mobile phone. Tasks are frequently based on data from GPS sensors, accelerometers, etc. However, the realization of concurrent tasks in these devices introduces unnecessary complexities if new tasks are added without a design overhaul of the system. In this paper, we present a domain-specific modeling language for the specification of concurrent tasks to be deployed on a single mobile device, even if that device has hand-written code on board. The language utilizes mobile device concepts as events, and synthesizes software that runs as independent services. For example, one task may be to send a text message with the current location, if the phone's battery is low in charge. The results are applied to algorithms used by a floating sensor testbed of drifters, which monitor water flow, and the properties of the generated code are examined.