Toward patient safety in closed-loop medical device systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Medical cyber physical systems
Proceedings of the 47th Design Automation Conference
Real-Time Heart Model for Implantable Cardiac Device Validation and Verification
ECRTS '10 Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems
A Custom FPGA Processor for Physical Model Ordinary Differential Equation Solving
IEEE Embedded Systems Letters
| Hi-index | 0.00 |
Cyber-physical systems have become more difficult to test as hardware and software complexity grows. The increased integration between computing devices and physical phenomena demands new techniques for ensuring correct operation of devices across a broad range of operating conditions. Manual test methods, which involve test personnel, require much effort and expense and lengthen a device's time to market. We describe a method for test automation of devices wherein a device is connected to a digital mockup of the physical environment, where both the device and the digital mockup are managed by PC-based software. A digital mockup consists of a behavioral model of the interacting environment, such as a medical ventilator device connected to a digital mockup of human lungs. We introduce Mockup Electronic Data Sheets (MEDS) as a method for embedding model information into the digital mockup, allowing PC software to automatically detect configurable model parameters and facilitate test automation. We summarize a case study showing the effectiveness of digital mockups and MEDS as a framework for test automation on a medical ventilator, resulting in 5x less time spent testing compared to methods requiring test personnel.