C# Language Specification
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
Embedding-based placement of processing element networks on FPGAs for physical model simulation
Proceedings of the ACM/SIGDA international symposium on Field programmable gate arrays
Hi-index | 0.00 |
Medical devices have become more difficult to test as hardware and software complexity grows. Device manufacturers must meet minimum standards while striving to reduce product development time. New techniques for providing comprehensive testing need to be developed that can be easily configured, cover a broad range of test scenarios, and facilitate automation. Digital mockups describe a method of testing a cyber-physical device wherein a digital model of the environment is used to stress a real device's embedded software and functionality. We demonstrate the use of a digital mockup to test a medical ventilator device. A lung model is hosted on an FPGA and connected to a ventilator by bypassing the ventilator's transducers. PC-based manager software allows user configuration in real-time of both the device and the model to facilitate test automation. An XML model description is embedded in the digital mockup framework to facilitate communication between the FPGA and PC software.