<p>Regulatory agencies are requiring companies to systematically demonstrate software safety in their implantable devices, even those already developed. The authors devised a rigorous software safety analysis technique and applied it to a nearly-completed cardiac rhythm management device. They were able to identify safety faults, modify the software to mitigate them, and verify overall safety.</p>