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
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.