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:6/30/2015)... AZ (PRWEB) , ... June 30, 2015 , ... ... announces that Ellen D. Wagner, Chief Research and Strategy Officer at Predictive Analytics ... Education at the National Science Foundation (NSF), will provide keynote addresses at the ...
(Date:6/30/2015)... ... ... Amerec, a division of TyloHelo Inc, is pleased to announce the sauna and ... the Interior Design Continuing Education Council for 1 credit hour. , The course, ... sauna, steam, and far-infrared saunas are, where they are frequently installed, and design considerations ...
(Date:6/30/2015)... (PRWEB) , ... June 30, 2015 , ... ... challenges that Combat Soldiers face in the aftermath of a near-death experience (NDE) ... of these experiences and providing adequate treatment options – are invited to ...
(Date:6/30/2015)... St. Petersburg, FL (PRWEB) , ... June 30, 2015 , ... Skin Brushing (also known ... is helpful to keep skin optimal and beautiful as it is more exposed to the ... It can:, , Exfoliate the dead cells and toxins on ...
(Date:6/30/2015)... ... June 30, 2015 , ... Some may define success as ... ongoing efforts of New York State Athletic Trainers’ Association (NYSATA) and its members continue ... with two national awards, and a number of members also received honors at the ...
Breaking Medicine News(10 mins):Health News:League for Innovation Announces Distinguished Keynote Presenters for STEMtech Conference 2Health News:League for Innovation Announces Distinguished Keynote Presenters for STEMtech Conference 3Health News:Amerec’s Steam and Sauna Continuing Education Course Now Approved for Interior Design Credit 2Health News:IANDS Sponsors No-Cost Webinar on July 1/15 at 11CST Featuring Combat Soldier Who Survived Near-Death Experience 2Health News:IANDS Sponsors No-Cost Webinar on July 1/15 at 11CST Featuring Combat Soldier Who Survived Near-Death Experience 3Health News:Back in Stock: Keep Skin and Lymphatic System Healthy with Dry Skin Brushes from Sublime Beauty® 2Health News:NYSATA and Members Recognized with National Awards 2Health News:NYSATA and Members Recognized with National Awards 3
... Pain,Solutions, LLC (IPS), a wholly-owned subsidiary of ... announced that it has signed a national ... access to IPS, proprietary,provider network of pain ... call center will process patient appointments, originating,from ...
... Cardiovascular disease accounts,for 40 percent of all deaths ... combined. The best way to avoid cardiovascular diseases such ... leading cause of death in,America -- is to maintain ... http://www.newscom.com/cgi-bin/prnh/20071025/NYTHFNS3 ) "The higher your blood ...
... Ala. Providing HIV combination antiretroviral drug therapy is key ... disease. , Letting nurses and other trained health care workers ... in short supply, is just as important to saving lives, ... at Birmingham (UAB). , Data for the study was gathered ...
... following statement was issued,today by the law firm of Schiffrin ... that a class action lawsuit was filed in the,United States ... all securities purchasers of Aetna Inc. (NYSE: AET ) ... 2006, inclusive (the,"Class Period"). If you wish to discuss ...
... Outcomes, Safety Concerns and,Interference with Doctors, Expertise as ... Leading oncologists from,across the country gathered in ... the new National Coverage Decision (NCD) for the ... for Medicare,patients. The meeting, which brought together approximately ...
... CARMEL, Ind., Oct. 24 Less complicated ... product, will come,as a welcome relief to Type ... over the complications of caring for the,disease and ... A recent study, conducted by researchers at University ...
Cached Medicine News:Health News:IPS Secures National Contract to Deliver FOCUS Healthcare Provider Network Access to Pain Management Specialists 2Health News:IPS Secures National Contract to Deliver FOCUS Healthcare Provider Network Access to Pain Management Specialists 3Health News:IPS Secures National Contract to Deliver FOCUS Healthcare Provider Network Access to Pain Management Specialists 4Health News:Figure Skater Peggy Fleming Teams with HealthSaver: Heart Healthy Living 2Health News:Figure Skater Peggy Fleming Teams with HealthSaver: Heart Healthy Living 3Health News:Figure Skater Peggy Fleming Teams with HealthSaver: Heart Healthy Living 4Health News:Figure Skater Peggy Fleming Teams with HealthSaver: Heart Healthy Living 5Health News:JAMA study shows what works in treating HIV-infected African children 2Health News:Shareholder Class Action Filed Against Aetna Inc. by the Law Firm of Schiffrin Barroway Topaz & Kessler, LLP 2Health News:Shareholder Class Action Filed Against Aetna Inc. by the Law Firm of Schiffrin Barroway Topaz & Kessler, LLP 3Health News:Leading Oncologists from Across the Country Hold Emergency Meeting on New Government Reimbursement Policy for Medicare Patients with Cancer 2Health News:Leading Oncologists from Across the Country Hold Emergency Meeting on New Government Reimbursement Policy for Medicare Patients with Cancer 3Health News:New Nutraceutical Supplement Provides Simplified Approach to Diabetes Management Programs 2Health News:New Nutraceutical Supplement Provides Simplified Approach to Diabetes Management Programs 3
(Date:6/30/2015)... 30, 2015  Ardelyx, Inc. (NASDAQ: ARDX ), ... metabolic diseases, today announced that the Company will host ... 8:00 a.m.- 1:00 pm EDT in New ... senior management team will present an overview of the ... has completed Phase 2b clinical trials for the treatment ...
(Date:6/30/2015)... MIRAMAR BEACH, Fla. , June 30, 2015  July ... our country,s declaration of independence, and the spirit and people ... For Heroes Foundation has partnered with USA ... cards, to help increase funding for programs that empower independence ... across the country, and help more people afford their prescriptions. ...
(Date:6/30/2015)... 30, 2015  Egalet Corporation (Nasdaq: ... pharmaceutical company focused on developing, manufacturing and ... results from a Category 3 human abuse ... extended-release, oral oxycodone product candidate in late-stage ... severe enough to require daily, around-the-clock opioid ...
Breaking Medicine Technology:Ardelyx to Host Inaugural R&D Investor Day in New York City on July 14, 2015 2Hope For Heroes and USA Medical Card Make a Difference for Our Nation's Heroes 2Egalet Announces Top-Line Results from Oral Human Abuse Liability Study of Egalet-002 2Egalet Announces Top-Line Results from Oral Human Abuse Liability Study of Egalet-002 3Egalet Announces Top-Line Results from Oral Human Abuse Liability Study of Egalet-002 4Egalet Announces Top-Line Results from Oral Human Abuse Liability Study of Egalet-002 5
... Supply Company (LABSCO), the largest privately held supplier of ... office laboratories, reference labs and other non-acute care settings ... leadership team with the new appointment of George Willett ... Willett,s career has included over 17 years serving as ...
... 29, 2011 Faith Community Hospital recently joined the ranks ... meaningful use of electronic health records, becoming one of only ... July, according to a report from the Health IT Policy ... the National Coordinator for Health Information Technology (ONC-HIT). ...
Cached Medicine Technology:LABSCO Hires George Willett as New Vice President and Chief Financial Officer 2Faith Community Hospital Joins Meaningful Use Trailblazers 2Faith Community Hospital Joins Meaningful Use Trailblazers 3
... D-Type can combine a number of ... microplates on a simple to use ... is a multifunctional stand-alone device but ... robotic systems. Custom and standard add-on ...
Grab one and go, One of the smallest handheld oximeters available, Datex-Ohmeda s TuffSat is the ideal spot-check solution for hospital, home care, transport, and EMS. TuffSat comes fully loaded wi...
Smith & Nephew's CDS System is developed exclusively for discography., Developed exclusively for discography, it is the first system designed to measure true disc pressure and record real-time proce...
The Maxi-Therm® lite hyper-hypothermia water blankets from Cincinnati Sub-Zero take conductive warming and cooling therapy to a new, softer level. These blankets are soft, lightweight, and remai...
Medicine Products: