Hello Dexter! Bringing a Surgical Robot to Life

Software Verification of a Surgical Robot

Ivan Haro, who runs Software Verification & Validation at Distalmotion and Philippe Allemann, who heads the Embedded Software team, describe the processes and tools used for software verification at Distalmotion.

Distalmotion is a young, international medical device company based in Switzerland. The company has designed and developed and is now bringing to market a surgical robot called Dexter.

A #WardRoundsWithVector session
Download PDF
Specialist Contact
Send an Email
Connect on
Dr. Ulrich Berthold
Key Account Vector Medical


Dr. Ulrich Berthold

Keyaccount Vector Medical

Insights for Engineers
View all Articles
Always looking for the latest news?
Sign up and keep in touch.
Thanks for your interest.
Please check your e-mail to confirm your subscription.
Scroll up
By clicking “Accept”, you agree to the storing of cookies on your device to enhance site navigation, analyze site usage, and assist in our marketing efforts. View our Privacy Policy for more information. Or make your selection in the Preferences.