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 language | English (US) |
---|---|
Pages | 40-48 |
Number of pages | 9 |
DOIs | |
State | Published - 2013 |
Externally published | Yes |
Event | 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems, ECBS 2013 - Phoenix, AZ, United States Duration: Apr 22 2013 → Apr 24 2013 |
Other
Other | 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems, ECBS 2013 |
---|---|
Country/Territory | United States |
City | Phoenix, AZ |
Period | 4/22/13 → 4/24/13 |
Keywords
- cyber-physical systems
- embedded programming
- model-integrated computing
- software synthesis
ASJC Scopus subject areas
- General Computer Science
- Control and Systems Engineering