Navigation Links
Technique finds software bugs in surgical robots and helps developers fix flaws, ensure safety
Date:4/8/2013

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

They used theorem-proving techniques to analyze a control algorithm for a research robot that would help a surgeon perform surgery at the base of the skull. Their method identified a safety flaw that could enable a scalpel or other surgical tool to go dangerously astray in this area, where the eye orbits, ear canals and major arteries and nerves are closely spaced and vulnerable to injury. It also guided development of a new algorithm and verified that the new controller was safe and reliable.

"These techniques are going to change how people build robotic surgery systems," predicted APL's Yanni Kouskoulas, who led the research study with Andr Platzer, assistant professor of computer science at Carnegie Mellon. Platzer and Kouskoulas say this formal verification technique also could change the way regulators evaluate new devices, providing more assurance of safety than is possible even with the most rigorous testing.

The researchers will present their findings April 11 at HSCC 2013, the Hybrid Systems: Computation and Control conference in Philadelphia. Other members of the study team were David Renshaw, a student in computer science at Carnegie Mellon, and Peter Kazanzides, associate research professor of computer science at Johns Hopkins.

Surgical robots are an example of a hybrid, or cyber-physical system complex, computer-controlled devices that are becoming increasingly common. Other examples are aircraft collision avoidance systems, high-speed train controls and cars that avoid collisions
'/>"/>

Contact: Byron Spice
bspice@cs.cmu.edu
412-268-9068
Carnegie Mellon University
Source:Eurekalert

Page: 1 2 3

Related medicine news :

1. Personalized brain mapping technique preserves function following brain tumor surgery
2. New technique shows promise in restoring near vision without glasses
3. Technique Data System Joins Office Gemini as the Newest Reseller in “The Next Phase of Document Management Software Growth”
4. Multiple ACL surgery techniques effective in helping athletes return to play
5. World Renowned Ear Reconstruction Surgeon Heralds New Technique
6. Stem cells transplantation technique has high potential as a novel therapeutic strategy for ED
7. Solar Roast Coffee Celebrates 6 Years Of Roasting Coffee Using The Sun to Produce The Most Environmentally Friendly Technique And A Superior Cup Of Espresso
8. Spanish scientists develop a pioneering technique to effectively treat mucositis
9. Prostate-specific antigen screening: Values and techniques shape decisions
10. Researchers design a new imaging technique for identifying the age and sex of a corpse
11. Mayo Clinic expert suggests proper techniques for newborn bathing and skin care basics
Post Your Comments:
*Name:
*Comment:
*Email:
(Date:9/23/2014)... Doheny HealthDay Reporter TUESDAY, ... very low birth weights, breast milk is more likely than ... known as cytomegalovirus (CMV), a new study finds. The ... -- all of whom weighed 3.3 pounds or less and ... CMV infection, to see whether breast milk or transfusions carried ...
(Date:9/23/2014)... drinking and getting drunk at an early age are ... students, a new study suggests. The conclusions, based ... could help expand alcohol-prevention efforts aimed at teens to ... becoming binge drinkers, the researchers suggested. , , "Efforts ... progression to first heavy use as risk factors for ...
(Date:9/23/2014)... What information do patients need ... Forum (NQF) released a report ( http://bit.ly/1DwekE9 ), ... infographic ( http://bit.ly/1tX3lzA ) resulting from an in-depth ... patients define affordability, and what information and changes ... possible healthcare at the lowest possible cost. ...
(Date:9/23/2014)... 23, 2014 (HealthDay News) -- Few children ... undergo behavioral therapy, and the rates vary six-fold ... study finds. Medication alone can manage symptoms ... better if they also receive behavioral therapy (psychotherapy), ... analyzed data in more than 1,500 counties across ...
(Date:9/23/2014)... grow up to earn up to 18 percent less ... Lundborg of Lund University, Paul Nystedt of Jnkping University ... all in Sweden. The team compared extensive information from ... the results are published in Springer,s journal Demography ... 145,193 Swedish-born brothers who enlisted in the Swedish National ...
Breaking Medicine News(10 mins):Health News:Breast Milk a Risk for Spreading Common Virus to Preemies, Study Finds 2Health News:Breast Milk a Risk for Spreading Common Virus to Preemies, Study Finds 3Health News:Younger Age at First Drink, Higher Odds for Problem Drinking: Study 2Health News:Younger Age at First Drink, Higher Odds for Problem Drinking: Study 3Health News:Finding Affordable Care: Asking the Right Question is Key 2Health News:Kids Taking ADHD Drugs Get Little Psychotherapy: Study 2Health News:Note to young men: Fat doesn't pay 2
... evidence of the damaging impact of marijuana on humans ... symptoms in some people, including hallucinations and paranoid delusions, ... recent study, one compound, cannabidiol, or CBD, made people ... tetrahydrocannabinol, or THC, produced temporary psychotic symptoms in people, ...
... victims of a bite from the Brazilian wandering spider (Phoneutria ... in blood pressure, they also sport an uncomfortable erection. ,And ... Viagras. Scientists say they have figured out the chemical that ... , “The erection is a side effect that everybody who ...
... healthcare scheme proposed by the Australian Federal government. The ... people to opt for private health insurance; yet this plan ... by public hospital, a report has shown. ,Dr ... Research on Health, explained the benefits of doing away with ...
... affect people of all ages. The general public is at ... instruction on ladder use and safety. ,According to ... Journal of Preventive Medicine and conducted by the Center for ... than 2.1 million individuals were treated in U.S. emergency departments ...
... suffer migraine attacks, beware. Recent research has shown the ... depression and suicidal tendencies. They could also be suffering ... ,Teens suffering migraines are prone to depressive tendencies ... such agonizing headaches, a new study has shown. ...
... homes have started coming to the fore. One among fifty ... review by the Department of Ageing, Disability and Home Care, ... involving abuse and lack of care. The main cause was ... carers. ,Advocates nationwide say it is a growing problem ...
Cached Medicine News:Health News:Marijuana can Trigger Psychotic Symptoms, New Study Finds 2Health News:Brazil Spider Offers Hope for Those Suffering from Erectile Dysfunction 2Health News:$3bn Rebate Scheme – Is Australia Making a Prudent Move 2Health News:Ladder-related Injuries on the Rise in U.S 2Health News:Link Between Migraine Attacks in Teens and Suicidal Tendencies 2Health News:Abuse of the Disabled in Government Run Homes 2
(Date:9/23/2014)... DUBLIN , Sept. 23, 2014 /PRNewswire/ ... "Company"), a biotechnology company pioneering the manufacturing and ... emerging nations, today announced that the Depository Trust ... DTC,s Deposit and Withdrawal at Custodian ("DWAC") service ... transfer agent as the distribution point.  The Company,s ...
(Date:9/23/2014)... -- This test can detect HIV infection if used 3 ... activities that can transfer body fluids from one person to ... needles. , An in-vitro diagnostic home-use test for ... works by looking for your body,s response to fighting the ... patients to learn their status in a single visit and ...
(Date:9/23/2014)... DUBLIN , September 23, 2014 /PRNewswire/ ... ) has announced the addition of the  ...  report to their offering.  ... injectable drug delivery market holds significant potential ... with vials and painful needles to the ...
Breaking Medicine Technology:TNI BioTech, Inc. Announces Its Stock is Now DTC DWAC/FAST Eligible 2TNI BioTech, Inc. Announces Its Stock is Now DTC DWAC/FAST Eligible 3TNI BioTech, Inc. Announces Its Stock is Now DTC DWAC/FAST Eligible 4WholeHealth Products announces the release of the FDA Cleared "HIV 1&2" Rapid Diagnostic Test for Professional and Retail 2Large Volume Wearable Injectors - 2nd Edition 2Large Volume Wearable Injectors - 2nd Edition 3Large Volume Wearable Injectors - 2nd Edition 4Large Volume Wearable Injectors - 2nd Edition 5
... N.J.--(BUSINESS WIRE)--Jun 21, 2007 - Nymox,Pharmaceutical Corporation ... the Company's recently completed studies of,NX-1207 for ... at,a series of upcoming U.S. urology meetings, ... Urological Association Meeting in,Colorado Springs. These independent ...
... June 21, 2007 /PRNewswire/ -- , What and When , Data ... presented in poster format at the 67th,Scientific Sessions of the American ... serious adverse events in high-risk type 2, ... from, PROactive; Poster 0553-P presented ...
Cached Medicine Technology:Nymox Announces NX-1207 Data to Be Presented at Upcoming U.S.,Urology Meetings 2MEDIA ADVISORY: Subsets of Landmark Diabetes Trials Investigating,MacroVascular Outcomes Presented at the American Diabetes,Association 67th Scientific Sessions 2MEDIA ADVISORY: Subsets of Landmark Diabetes Trials Investigating,MacroVascular Outcomes Presented at the American Diabetes,Association 67th Scientific Sessions 3
... A fixed pipette is ... a single volume. Fixed volume ... and advantages as other Finnpipette ... design, Super blow-out (1-40ul), Soft-touch ...
... The Research Family includes fixed-volume, ... as the electronic Eppendorf Research pro ... button, these compact, high-performance pipettes have ... Optimally suited for use with original ...
10L...
... fixed pipette is ideal for ... volume. Fixed volume FInnpipettes offer ... as other Finnpipette Digital pipettes: ... blow-out (1-40ul), Soft-touch tip ejection, ...
Medicine Products: