News | News By Subject | News by Disease News By Date | Search News
Get Our FREE
Industry eNewsletter
email:    
   

Verifying Software Safety in Surgical Robots, Carnegie Mellon University and Johns Hopkins University Study



4/10/2013 8:13:43 AM

Surgical robots could make some types of surgery safer and more effective, but proving that the software controlling these machines works as intended is problematic. Researchers at Carnegie Mellon University and the Johns Hopkins University Applied Physics Laboratory have demonstrated that methods for reliably detecting software bugs and ultimately verifying software safety can be applied successfully to this breed of robot.



comments powered by Disqus
   

ADD TO DEL.ICIO.US    ADD TO DIGG    ADD TO FURL    ADD TO STUMBLEUPON    ADD TO TECHNORATI FAVORITES