Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes

Roopak Sinha, Ayush Narula, John Grundy

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

4 Citations (Scopus)

Abstract

Mobile apps can integrate sensors and actuators in Internetof-Things systems to achieve novel and diverse functionalities. For instance, apps can implement self-management and monitoring functions to help patients manage a large number of health conditions within their (smart-) homes. However, each smart-home may contain a different and often dynamic sensor-actuator configuration and it is undesirable to write new code for every new installation or change. Statecharts present an appropriate formal and visual design model to design apps and support automatic code generation. However, these designs assume a specific and static sensor-actuator configuration. We propose parametric statecharts, an extension to statecharts that can be automatically customised to a dynamic smart-home's configuration. We develop a translator to convert parametric statecharts into standard statecharts customised to a given system configuration, and then a custom compiler to generate Android code. Experimental results confirm the exibility of the proposed approach.

Original languageEnglish
Title of host publicationACSW'17 Proceedings of the Australasian Computer Science Week Multiconference
EditorsPeter Strazdins, Michael Hobbs
Place of PublicationNew York NY USA
PublisherAssociation for Computing Machinery (ACM)
Pages1-8
Number of pages8
ISBN (Print)9781450347686
DOIs
Publication statusPublished - 30 Jan 2017
Externally publishedYes
EventAustralasian Computer Science Conference 2017 - Geelong, Australia
Duration: 31 Jan 20173 Feb 2017
Conference number: 40th
https://cs.anu.edu.au/conf/acsc2017/

Conference

ConferenceAustralasian Computer Science Conference 2017
Abbreviated titleACSC 2017
CountryAustralia
CityGeelong
Period31/01/173/02/17
Internet address

Keywords

  • Automatic code generation
  • Design
  • IoT
  • M-health apps
  • Mobile apps
  • Smart-homes
  • Statecharts

Cite this

Sinha, R., Narula, A., & Grundy, J. (2017). Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes. In P. Strazdins, & M. Hobbs (Eds.), ACSW'17 Proceedings of the Australasian Computer Science Week Multiconference (pp. 1-8). [a28] Association for Computing Machinery (ACM). https://doi.org/10.1145/3014812.3014841