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

Kun Zhang, Jonathan Sprinkle

Research output: Contribution to conferencePaperpeer-review

3 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 - 2013
Externally publishedYes
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
Country/TerritoryUnited States
CityPhoenix, AZ
Period4/22/134/24/13

Keywords

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

ASJC Scopus subject areas

  • General Computer Science
  • Control and Systems Engineering

Fingerprint

Dive into the research topics of 'Model-based software synthesis for self-reconfigurable sensor network in water monitoring'. Together they form a unique fingerprint.

Cite this