Model-Based Closed-Loop Testing of Implantable Pacemakers

@article{Jiang2011ModelBasedCT,
  title={Model-Based Closed-Loop Testing of Implantable Pacemakers},
  author={Zhihao Jiang and Miroslav Pajic and Rahul Mangharam},
  journal={2011 IEEE/ACM Second International Conference on Cyber-Physical Systems},
  year={2011},
  pages={131-140}
}
The increasing complexity of software in implantable medical devices such as cardiac pacemakers and defibrillators accounts for over 40% of device recalls. [...] Key Method This allows for interactive and physiologically relevant model-based test generation for basic pacemaker device operations such as maintaining the heart rate and a trial-ventricle synchrony. We also demonstrate the flexibility and efficacy of the testing environment for more complex common timing anomalies such as reentry circuits, pacemaker…Expand Abstract

Citations

Publications citing this paper.
SHOWING 1-10 OF 27 CITATIONS

A Combinatorial Approach for Exposing Off-Nominal Behaviors

VIEW 1 EXCERPT
CITES METHODS

Three challenges in cyber-physical systems

VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 16 REFERENCES

Using the Virtual Heart Model to validate the mode-switch pacemaker operation

VIEW 1 EXCERPT