Email Print Share

News From the Field

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


April 8, 2013

This material is available primarily for archival purposes. Telephone numbers or other contact information may be out of date; please see current contact information at media contacts.

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 U.S. National Science Foundation propels the nation forward by advancing fundamental research in all fields of science and engineering. NSF supports research and people by providing facilities, instruments and funding to support their ingenuity and sustain the U.S. as a global leader in research and innovation. With a fiscal year 2020 budget of $8.3 billion, NSF funds reach all 50 states through grants to nearly 2,000 colleges, universities and institutions. Each year, NSF receives more than 40,000 competitive proposals and makes about 11,000 new awards. Those awards include support for cooperative research with industry, Arctic and Antarctic research and operations, and U.S. participation in international scientific efforts.

mail icon Get News Updates by Email 

Connect with us online
NSF website: nsf.gov
NSF News: nsf.gov/news
For News Media: nsf.gov/news/newsroom
Statistics: nsf.gov/statistics/
Awards database: nsf.gov/awardsearch/

Follow us on social
Twitter: twitter.com/NSF and twitter.com/NSFspox
Facebook: facebook.com/US.NSF
Instagram: instagram.com/nsfgov