Skip to main content
Email Print Share


News From the Field

Technique Finds Software Bugs in Surgical Robots and Helps Developers Fix Flaws, Ensure Safety


April 8, 2013

computing graphic 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 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. Full Story

Source
Carnegie Mellon University

The National Science Foundation (NSF) is an independent federal agency that supports fundamental research and education across all fields of science and engineering. In fiscal year (FY) 2016, its budget is $7.5 billion. NSF funds reach all 50 states through grants to nearly 2,000 colleges, universities and other institutions. Each year, NSF receives more than 48,000 competitive proposals for funding and makes about 12,000 new funding awards. NSF also awards about $626 million in professional and service contracts yearly.

 Get News Updates by Email 

Useful NSF Web Sites:
NSF Home Page: https://www.nsf.gov
NSF News: https://www.nsf.gov/news/
For the News Media: https://www.nsf.gov/news/newsroom.jsp
Science and Engineering Statistics: https://www.nsf.gov/statistics/
Awards Searches: https://www.nsf.gov/awardsearch/