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:12/19/2014)... December 19, 2014 Diet Doc strives ... current approach to weight loss by combining ... The professionals at the company understand that remaining committed ... effects of eliminating carbohydrates and sugars from the diet ... to abandon their weight loss goals. , For ...
(Date:12/19/2014)... December 19, 2014 B. E. Smith, ... healthcare providers, has been retained to lead a national ... Hospital in Franklin, Ind. The top executive search firm ... placed more than 900 healthcare executives into organizations. ... service hospital providing care to the residents of Johnson ...
(Date:12/19/2014)... (PRWEB) December 19, 2014 Hands On Mobile ... available. The Spa On Wheels has been transformed into ... from the outside world seems to disappear. The Virtual Tour ... massages, facials, spa parties, corporate events and more. , The ... Spa On Wheels which is actually an overhauled Winnebago. Marla ...
(Date:12/19/2014)... From November 24, 2014, Siddhi Yoga ... 2014 in its Goa retreat . This is the ... winters, from November to March, Siddhi Yoga will organize four ... Goa. The Goa training sessions will conclude in March 2015. ... training, the 10th intake is also a 200 YTT ...
(Date:12/19/2014)... 2014 This is a professional and ... Gliquidone industry with a focus on the Chinese market. ... of the Gliquidone manufacturers and is a valuable source ... in the industry. , Firstly, the report provides a ... and manufacturing technology. Then, the report explores the international ...
Breaking Medicine News(10 mins):Health News:Diet Doc Incorporates Appetite Zap into their Already Impressive Collection of Diet Products to Jump Start the Metabolism and Burn Fat 4X Faster 2Health News:Diet Doc Incorporates Appetite Zap into their Already Impressive Collection of Diet Products to Jump Start the Metabolism and Burn Fat 4X Faster 3Health News:Diet Doc Incorporates Appetite Zap into their Already Impressive Collection of Diet Products to Jump Start the Metabolism and Burn Fat 4X Faster 4Health News:Johnson Memorial Hospital Retains B. E. Smith to Recruit New Chief Financial Officer 2Health News:Johnson Memorial Hospital Retains B. E. Smith to Recruit New Chief Financial Officer 3Health News:A Virtual Tour Of Hands On Mobile Massage Spa Is Now Available 2Health News:A Virtual Tour Of Hands On Mobile Massage Spa Is Now Available 3Health News:Siddhi Yoga’s 10th intake of YTT started in Goa on November 24, 2014 2Health News:Siddhi Yoga’s 10th intake of YTT started in Goa on November 24, 2014 3Health News:Gliquidone Industry Global and China Analysis for 2019, Now Available at ReportsnReports.com 2Health News:Gliquidone Industry Global and China Analysis for 2019, Now Available at ReportsnReports.com 3Health News:Gliquidone Industry Global and China Analysis for 2019, Now Available at ReportsnReports.com 4Health News:Gliquidone Industry Global and China Analysis for 2019, Now Available at ReportsnReports.com 5Health News:Gliquidone Industry Global and China Analysis for 2019, Now Available at ReportsnReports.com 6
... in the Feb. 1 issue of the journal SLEEP ... obstructive sleep apnea (OSA) are largely explained by total sleep ... link between OSA severity and daytime sleepiness, measured by the ... for total sleep time. Neither sleep disturbances, measured by ...
... in the Feb. 1 issue of the journal SLEEP ... the longitudinal link between sleep problems and depression. Results of ... converse association was not found. These findings are consistent with ... children from the development of depression. , Results of ...
... a Menu Game PlanEL SEGUNDO, Calif., Jan. 31 ... for those diagnosed with chronic kidney disease (CKD) and ... the benefits of Super Bowl Sunday treats with kidney-friendly ... www.davita.com . Diet is an integral part of managing ...
... effects after rare disease surgery , , SATURDAY, Jan. 31 ... rare form of childhood brain cancer called ependymoma is ... , Ependymoma affects the central nervous system. Aggressive surgery ... limited the use of radiation therapy. , In this ...
... Practice Arm of the School,s Department of Forensic ... Jan. 30 The Chicago School of ... its psychology services to the legal sector and ... thanks to its new Forensic Center, which was ...
... CINCINNATI, Jan. 30 The Kroger Co. (NYSE: ... in its family of retail stores,because the product was associated ... be contaminated with Salmonella. , Stores ... operates,are included in this recall: Kroger, Ralphs, Fred Meyer, ...
Cached Medicine News:Health News:Daytime impairments in older men with obstructive sleep apnea are related to total sleep time 2Health News:Study finds genetic link between sleep disorders and depression in young children 2Health News:Study finds genetic link between sleep disorders and depression in young children 3Health News:DaVita.com Promotes Kidney-Friendly Foods for Super Bowl(R) XLIII 2Health News:DaVita.com Promotes Kidney-Friendly Foods for Super Bowl(R) XLIII 3Health News:Aggressive Treatment Effective in Kids' Brain Cancer 2Health News:New Chicago School of Professional Psychology Forensic Center Opens Doors to the Community 2Health News:New Chicago School of Professional Psychology Forensic Center Opens Doors to the Community 3Health News:Kroger Recalls Nut Topping Due to Possible Health Risk 2
(Date:12/17/2014)... , Dec. 17, 2014  IGI Laboratories, Inc. (NYSE ... closing of its offering of $125 million aggregate principal ... "Notes").  The Notes were offered and sold only to ... Securities Act of 1933, as amended (the "Securities Act"). ... rate of 3.75% per year, payable semiannually in arrears ...
(Date:12/17/2014)... and RALEIGH, N.C. , Dec. ... LLC (CTMC), and Integrated Clinical Trial Services, LLC ... retention for clinical trials announce that they have ... Marketing Services (i-CTMS). i-CTMS will provide a broad ... pharmaceutical, biotechnology and medical device companies. ...
(Date:12/15/2014)... Registreer nu via  http://bit.ly/ag8Sypm14de ... Februar sind alle akkreditierten pharmazeutischen Patientenversorgungsakten-Firmen (PMR) ... PROGRAMM ™ 2015 in Amsterdam ... Tagung soll dazu beitragen, der Aegate PMR ... profitablen Unternehmensdienstleistungen, die für Apotheken und die ...
Breaking Medicine Technology:IGI Laboratories Announces Closing of $125 Million of 3.75% Convertible Senior Notes Due 2019 2IGI Laboratories Announces Closing of $125 Million of 3.75% Convertible Senior Notes Due 2019 3IGI Laboratories Announces Closing of $125 Million of 3.75% Convertible Senior Notes Due 2019 4Integrated Clinical Trial Services and Clinical Trial Marketing Communications Form Joint Venture 2Integrated Clinical Trial Services and Clinical Trial Marketing Communications Form Joint Venture 3Symposium über Aegates Ecosystem-Partner-Programm für sichere Medikamente vom 19. - 20. Februar 2015 in Amsterdam 2
... , , , , FRAZER, Pa., Jan. ... that effective February 5, 2010, Robert P. Roche, Jr., Executive ... with the company to pursue other longstanding interests. During ... and marketing organization into a global business that exceeded $2 ...
... , SOUTH SAN FRANCISCO, Dec. 31 ... was unable to satisfy the closing conditions set forth in ... among Anesiva, Arca Acquisition Corporation, a wholly-owned subsidiary of Anesiva, ... and IX only of the agreement, each of the Arcion ...
Cached Medicine Technology:Cephalon Executive Vice President of Worldwide Pharmaceutical Operations Robert Roche to Resign Position 2Cephalon Executive Vice President of Worldwide Pharmaceutical Operations Robert Roche to Resign Position 3Cephalon Executive Vice President of Worldwide Pharmaceutical Operations Robert Roche to Resign Position 4Anesiva Announces Merger With Arcion Therapeutics Will Not be Completed 2
... Transport beds feature folding head end and foot end ... the head end and foot end deck panels folded ... approximately 67". This compact length makes storage, delivery and ... feature is not available on Model 4748B, Basic Maxi ...
... bed is especially designed to make your bariatric ... caregivers who manage them. , ,When caring ... pulling up in bed, turning, sitting, standing ... for patients. Excel Care ES bed offers features ...
... wide selection of solutions for inhalation, USP, ... sterile water for inhalation and sodium chloride ... bottles in 500 and 1000mL sizes. Bottles ... or can be used alone for filling ...
... Disposable Prefilled 28%-100% FIO 2 1000ML Sterile ... provide unmatched performance and ease of use. You ... from 28% to 100% FIO 2 . We ... for inhalation, USP; 0.45% sodium chloride inhalation, USP; ...
Medicine Products: