Model based code generation for medical cyber physical systems

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

2 Citations (Scopus)

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 (Print)9781450331906
DOIs
StatePublished - Nov 3 2014
Event1st Workshop on Mobile Medical Applications, MMA 2014 - Memphis, United States
Duration: Nov 3 2014Nov 6 2014

Other

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

Fingerprint

Static analysis
Hazards and race conditions
Data storage equipment
Physiology
Code generation
Cyber Physical System
Sensors
Costs

Keywords

  • Model based code generation
  • Sensor networks
  • Software errors

ASJC Scopus subject areas

  • Computer Science Applications
  • Biomedical Engineering

Cite this

Banerjee, A., & Gupta, S. (2014). Model based code generation for medical cyber physical systems. In MMA 2014 - Proceedings of the 1st Workshop on Mobile Medical Applications (pp. 22-27). Association for Computing Machinery, Inc. https://doi.org/10.1145/2676431.2676646

Model based code generation for medical cyber physical systems. / Banerjee, Ayan; Gupta, Sandeep.

MMA 2014 - Proceedings of the 1st Workshop on Mobile Medical Applications. Association for Computing Machinery, Inc, 2014. p. 22-27.

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

Banerjee, A & Gupta, S 2014, Model based code generation for medical cyber physical systems. in MMA 2014 - Proceedings of the 1st Workshop on Mobile Medical Applications. Association for Computing Machinery, Inc, pp. 22-27, 1st Workshop on Mobile Medical Applications, MMA 2014, Memphis, United States, 11/3/14. https://doi.org/10.1145/2676431.2676646
Banerjee A, Gupta S. Model based code generation for medical cyber physical systems. In MMA 2014 - Proceedings of the 1st Workshop on Mobile Medical Applications. Association for Computing Machinery, Inc. 2014. p. 22-27 https://doi.org/10.1145/2676431.2676646
Banerjee, Ayan ; Gupta, Sandeep. / Model based code generation for medical cyber physical systems. MMA 2014 - Proceedings of the 1st Workshop on Mobile Medical Applications. Association for Computing Machinery, Inc, 2014. pp. 22-27
@inproceedings{0557f8c845634ac4a8acd42820fe2bf9,
title = "Model based code generation for medical cyber physical systems",
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.",
keywords = "Model based code generation, Sensor networks, Software errors",
author = "Ayan Banerjee and Sandeep Gupta",
year = "2014",
month = "11",
day = "3",
doi = "10.1145/2676431.2676646",
language = "English (US)",
isbn = "9781450331906",
pages = "22--27",
booktitle = "MMA 2014 - Proceedings of the 1st Workshop on Mobile Medical Applications",
publisher = "Association for Computing Machinery, Inc",

}

TY - GEN

T1 - Model based code generation for medical cyber physical systems

AU - Banerjee, Ayan

AU - Gupta, Sandeep

PY - 2014/11/3

Y1 - 2014/11/3

N2 - 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.

AB - 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.

KW - Model based code generation

KW - Sensor networks

KW - Software errors

UR - http://www.scopus.com/inward/record.url?scp=84915786054&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84915786054&partnerID=8YFLogxK

U2 - 10.1145/2676431.2676646

DO - 10.1145/2676431.2676646

M3 - Conference contribution

AN - SCOPUS:84915786054

SN - 9781450331906

SP - 22

EP - 27

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

PB - Association for Computing Machinery, Inc

ER -