Model based code generation for medical cyber physical systems

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

4 Scopus citations

Abstract

Deployment of medical devices on human body in unsupervised environment makes their operation safety critical. Software errors such as unbounded memory access or unreachable critical alarms can cause life threatening consequences in these medical cyber-physical systems (MCPSes), where software in medical devices monitor and control human physiology. Further, implementation of complex control strategy in inherently resource constrained medical devices require careful evaluation of runtime characteristics of the software. Such stringent requirements causes errors in manual implementation, which can be only detected by static analysis tools possibly inflicting high cost of redesigning. To avoid such inefficiencies this paper proposes an automatic code generator with assurance on safety from errors such as out-of-bound memory access, unreachable code, and race conditions. The proposed code generator was evaluated against manually written code of a software benchmark for sensors BSNBench in terms of possible optimizations using conditional X propagation. The generated code was found to be 9.3% more optimized than BSNBench code. The generated code was also tested using static analysis tool, Frama-c, and showed no errors.

Original languageEnglish (US)
Title of host publicationMMA 2014 - Proceedings of the 1st Workshop on Mobile Medical Applications
PublisherAssociation for Computing Machinery, Inc
Pages22-27
Number of pages6
ISBN (Electronic)9781450331906
DOIs
StatePublished - Nov 3 2014
Event1st Workshop on Mobile Medical Applications, MMA 2014 - Memphis, United States
Duration: Nov 3 2014Nov 6 2014

Publication series

NameMMA 2014 - Proceedings of the 1st Workshop on Mobile Medical Applications

Other

Other1st Workshop on Mobile Medical Applications, MMA 2014
CountryUnited States
CityMemphis
Period11/3/1411/6/14

Keywords

  • Model based code generation
  • Sensor networks
  • Software errors

ASJC Scopus subject areas

  • Computer Science Applications
  • Biomedical Engineering

Fingerprint Dive into the research topics of 'Model based code generation for medical cyber physical systems'. Together they form a unique fingerprint.

Cite this