Model-based software synthesis for self-reconfigurable sensor network in water monitoring

Research output: Contribution to conferencePaper

1 Scopus citations

Abstract

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.

Original languageEnglish (US)
Pages40-48
Number of pages9
DOIs
StatePublished - Oct 15 2013
Event20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems, ECBS 2013 - Phoenix, AZ, United States
Duration: Apr 22 2013Apr 24 2013

Other

Other20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems, ECBS 2013
CountryUnited States
CityPhoenix, AZ
Period4/22/134/24/13

    Fingerprint

Keywords

  • cyber-physical systems
  • embedded programming
  • model-integrated computing
  • software synthesis

ASJC Scopus subject areas

  • Computer Science(all)
  • Control and Systems Engineering

Cite this

Zhang, K., & Sprinkle, J. (2013). Model-based software synthesis for self-reconfigurable sensor network in water monitoring. 40-48. Paper presented at 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems, ECBS 2013, Phoenix, AZ, United States. https://doi.org/10.1109/ECBS.2013.34