Entries with tag hybrid systems.

New Method Detects Software Bugs in Surgical Robots

Carnegie Mellon University and Johns Hopkins University researchers have developed methods for both reliably detecting software bugs and formally verifying software used by surgical robots. They used their methods to find a safety flaw that could potentially injure a patient in a control algorithm for a robot designed to assist in skull surgery. The scientists say their findings could potentially change how robotic surgical devices are evaluated to insure operational safety. Today, most systems rely on testing, which does not adequately cover all the potential circumstances to which a system might be exposed in the operating theater. The researchers are scheduled to present their work at the Hybrid Systems: Computation and Control conference in Philadelphia this week. (EurekAlert)(Carnegie Mellon University)

Showing 1 result.