Conference item icon

Conference item

Quantitative Verification of Implantable Cardiac Pacemakers

Abstract:

Implantable medical devices, such as cardiac pacemakers, must be designed and programmed to the highest levels of safety and reliability. Recently, errors in embedded software have led to a substantial increase in safety alerts, costly device recalls or even patient death. To address such issues, we propose a model-based framework for quantitative, automated verification of pacemaker software. We adapt the electrocardiogram model of Clifford et al, which generates realistic normal and abnorma...

Expand abstract

Actions


Host title:
Real Time Systems Symposium (RTSS) 2012
UUID:
uuid:8b75ffdf-c33e-4469-b197-17f35cd18fe7
Local pid:
cs:6263
Deposit date:
2015-03-31

Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP