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
T3 - MMA 2014 - Proceedings of the 1st Workshop on Mobile Medical Applications
SP - 22
EP - 27
BT - MMA 2014 - Proceedings of the 1st Workshop on Mobile Medical Applications
PB - Association for Computing Machinery
T2 - 1st Workshop on Mobile Medical Applications, MMA 2014
Y2 - 3 November 2014 through 6 November 2014
ER -