Supported by DARPA funding, URSA Inc. developed and validated a system capable of detecting a vulnerability, generating a fix, verifying its correctness, and implementing it on a running system – all in under 16 seconds. URSA used a pacemaker simulator running on a standard laptop to demonstrate its proof of concept.