Runtime Verification and Assurea team up on medical software safety

Runtime Verification and Assurea have formed a partnership to help medical device, SaMD and artificial-organ makers improve software safety, reliability and regulatory readiness. The deal combines formal verification with implementation support for safety-critical systems that increasingly drive patient care.

Why it matters: - Medical devices now rely on software for decisions that can directly affect patient safety and product performance. - The partnership is designed to help manufacturers produce stronger evidence that critical software behaves as intended. - The effort targets products such as insulin-delivery systems, ventilators, infusion pumps, neurostimulators, diagnostic platforms and closed-loop therapeutic systems.

What happened: - Runtime Verification and Assurea announced a partnership to support companies building medical devices, software as a medical device and software-enabled artificial organs. - Runtime Verification will provide formal verification expertise. - Assurea will serve as Runtime Verification’s implementation partner for medical-device and regulated life-sciences organizations. - The companies said the goal is to improve safety, reliability and regulatory readiness.

The details: - Runtime Verification uses formal verification to prove with mathematical evidence that key safety and security properties hold. - The partnership will help teams identify the software properties that pose the greatest risk to patients or product performance. - The companies will translate critical safety requirements into formally evaluable properties. - The work will include building formal models around the system’s most critical attributes, components and decision pathways. - The partnership also includes continuous testing and verification tied to a team’s CI system and AI processes. - The companies will help incorporate verification evidence into quality-system and regulatory documentation. - The approach is meant to identify unexpected software behavior as products evolve and new releases ship. - Runtime Verification will support formalizing requirements, developing mathematically evaluable properties, reviewing software design and architecture, conducting formal verification and advanced software analysis, and identifying subtle defects, unexpected states and edge cases. - Assurea will lead implementation inside the regulated medical-product lifecycle, including intended use and software impact assessments, risk-based software assurance strategies, requirements and risk-control traceability, design controls and software lifecycle documentation, validation and regulatory-readiness support, and procedures, training, change control and lifecycle governance. - Formal verification does not replace traditional software testing, clinical evaluation, usability engineering or risk management. - The partnership is intended to create a practical path from critical software requirements to traceable evidence for product development and regulatory review. - Runtime Verification was founded on research at the University of Illinois Urbana-Champaign and has worked in aerospace, rail, semiconductors and other high-assurance industries. - Assurea helps life sciences and medical technology companies implement and validate digital systems, maintain digital compliance and develop custom AI solutions. - More information is available in the companies’ announcement and on Runtime Verification’s LinkedIn page. - Assurea’s website is assureallc.com.

Between the lines: - The partnership reflects growing pressure on medical technology companies to prove software safety with more than conventional testing alone. - The combination of formal methods and implementation support suggests the companies want to address both technical proof and the regulatory paperwork needed to use that proof. - The focus on continuous verification points to a shift from one-time validation toward ongoing software assurance as products change.

What's next: - The companies will work with medical-device innovators to apply the framework across development and regulatory processes. - Manufacturers can expect support turning critical software requirements into traceable evidence for design, validation and submission packages. - The partnership’s next test will be whether formal verification can scale inside real-world medical product programs.