Renishaw Adopted CodeSonar for Robotic Surgical Platform
The company integrated static analysis to ensure motion control software meets IEC 62304 safety standards.
Updated on Sept. 30, 2026 in Software
Live Poll
Do you trust automated software analysis to make medical devices safer for patients?
Renishaw Neuro Solutions has selected AdaCore’s CodeSonar software to verify motion control code for its neuro | mate stereotactic robotic system. The integration aims to automate safety compliance for medical device software.
Why it matters
In the high-stakes neurosurgical domain, formalizing software verification is critical for meeting stringent safety requirements. Automating these checks supports the documentation needed for regulatory review and design validation.
CodeSonar performs static analysis to identify memory errors and resource leaks in motion control code. It validates the codebase against the MISRA C standard for safety-critical systems.
The players
Renishaw Neuro Solutions
A developer of stereotactic robotic platforms and surgical planning software.
AdaCore
A provider of software development and verification tools for safety-critical systems.
The details
Static analysis involves examining source code for defects without executing the program, allowing developers to identify issues that functional testing might miss. By applying this method to the neuro | mate platform's motion control software, Renishaw can ensure consistent, repeatable checks across its codebase. The process is specifically designed to satisfy IEC 62304, which is the international standard governing the lifecycle of medical device software.
Timeline
September 30, 2026: AdaCore announced the selection of CodeSonar by Renishaw Neuro Solutions.
The Tech Race
Medical device manufacturers are increasingly moving toward automated verification to meet the strict mandates of the IEC 62304 standard. This adoption aligns with industry efforts to de-risk complex robotic surgery platforms through rigorous, programmatic static analysis.
This software integration creates a more automated path for the neuro | mate platform to meet regulatory certification benchmarks. It ultimately standardizes the quality control process for the motion control systems that surgeons rely on in the operating room.
The takeaway
The move reflects a growing industry mandate to embed automated safety verification directly into the development cycle for robotic surgery. Watch for further updates on how Renishaw applies these verification records in upcoming regulatory filings for their surgical systems.
Further reading
For broader trends in medical technology development, explore our Software coverage.
Live Poll
Do you trust automated software analysis to make medical devices safer for patients?
