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:7/13/2014)... York (PRWEB) July 13, 2014 A ... attention to the cancer risks associated with power morcellators ... tell their story to federal regulators, as they presented ... U.S. Food & Drug Administration (FDA) advisory panel meeting ... According to the Rochester Democrat and Chronicle, Dr. ...
(Date:7/13/2014)... 13, 2014 Athletes with a certain ... from concussions, according to research presented today at the ... Annual Meeting. The research marks the first of its ... the known physical events that occur after a head ... long allele in the (GT)n genotype were four times ...
(Date:7/13/2014)... Trujillo Alto, Puerto Rico (PRWEB) July 13, 2014 ... that NBA Hall of Famer, Chris Mullin, will be ... Meeting on Saturday, July 26th in Puerto Rico. ... opportunities. Chris Mullin will participate in two exhibition basketball ... Max International, the ultimate supplier of health- and ...
(Date:7/13/2014)... Texas (PRWEB) July 13, 2014 Epidemiologists ... aGVHD in the 6MM, from 8,062 diagnosed incident cases ... at an Annual Growth Rate (AGR) of 4.35%, during ... the highest number of diagnosed incident cases of aGVHD ... Spain will have the lowest number of diagnosed incident ...
(Date:7/13/2014)... According to the Kidney Disease Solution book review recently ... on what to do to eliminate the root cause ... its review that readers can easily learn what foods to ... health. Vkool also informs in its Kidney Disease Solution review ... functions naturally. The book consists of a collection of natural ...
Breaking Medicine News(10 mins):Health News:Couple Who Brought Attention to Morcellator Cancer Risks Testify on Second Day of FDA Advisory Panel Meeting, Bernstein Liebhard LLP Reports 2Health News:Couple Who Brought Attention to Morcellator Cancer Risks Testify on Second Day of FDA Advisory Panel Meeting, Bernstein Liebhard LLP Reports 3Health News:Couple Who Brought Attention to Morcellator Cancer Risks Testify on Second Day of FDA Advisory Panel Meeting, Bernstein Liebhard LLP Reports 4Health News:Genetic Factors May Be Responsible for Slowing Concussion Recovery in Athletes 2Health News:Max International Announces NBA Dream Team Member Chris Mullin as Featured Guest of Charity Event 2Health News:Max International Announces NBA Dream Team Member Chris Mullin as Featured Guest of Charity Event 3Health News:Max International Announces NBA Dream Team Member Chris Mullin as Featured Guest of Charity Event 4Health News:Graft-Versus-Host Disease Market (GVHD) Growing at 4.35% AGR to 2023 Says a New Report Available at ReportsnReports.com 2Health News:Graft-Versus-Host Disease Market (GVHD) Growing at 4.35% AGR to 2023 Says a New Report Available at ReportsnReports.com 3Health News:Graft-Versus-Host Disease Market (GVHD) Growing at 4.35% AGR to 2023 Says a New Report Available at ReportsnReports.com 4Health News:Kidney Disease Solution Book Review Exposes Duncan Capicchiano's Newly Updated Kidney Disease Treatment Plan – Vkool.com 2Health News:Kidney Disease Solution Book Review Exposes Duncan Capicchiano's Newly Updated Kidney Disease Treatment Plan – Vkool.com 3
... Feb. 15 (HealthDay News) -- The number of needlestick/sharps-related ... the United States has fallen since a federal safety ... Needlestick Safety and Prevention Act (NSPA) requires employers to ... for exposure to bloodborne pathogens and to let frontline ...
... HealthDay Reporter , WEDNESDAY, Feb. 15 (HealthDay News) ... don,t require driver,s education before getting a license, about ... than half fail to undergo any formal behind-the-wheel training. ... academic records were especially unlikely to have received driver,s ...
... 15 (HealthDay News) -- How fast you walk or how strong ... for dementia or stroke later in life, a new study suggests. ... in a doctor,s office, noted study author Dr. Erica C. Camargo, ... the walking speed, hand grip strength and cognitive function of more ...
... with birth defects who are born on weekends or at night ... new study says. Both groups of infants stayed at the ... of admission to the neonatal intensive care unit, and required antibiotics ... from the University of Rochester Medical Center in New York. ...
... and their colleagues have provided the first evidence of a ... to post-traumatic stress disorder. Their new study, ... Psychology , also suggests that people who suffer even a ... anxiety disorder and should take precautions to avoid stressful situations ...
... -- According to a new study, smoking causes the body ... vulnerable to disease. Despite the daily disturbance of ... a stable ecosystem of healthy bacteria. New research shows that ... diverse ecosystemand is much more susceptible to invasion by harmful ...
Cached Medicine News:Health News:'Needlestick' Law Linked to Drop in Health Worker Injuries 2Health News:Many U.S. Teens Hit the Road Without Driver's Ed: Survey 2Health News:Many U.S. Teens Hit the Road Without Driver's Ed: Survey 3Health News:Can Walking Speed, Hand Grip in Middle Age Predict Dementia Risk? 2Health News:Weekend Delivery Doesn't Hurt Babies With Birth Defects: Study 2Health News:UCLA scientists report link between traumatic brain injury, post-traumatic stress disorder 2Health News:In the mouth, smoking zaps healthy bacteria, welcomes pathogens 2Health News:In the mouth, smoking zaps healthy bacteria, welcomes pathogens 3
(Date:7/13/2014)...  Eli Lilly and Company (NYSE: ... study in genetically engineered mice examining combination therapy ... N3pG and beta-secretase inhibitor BACE (LY2811376). Data results ... removing clumps of amyloid-beta protein in the brain ... to Alzheimer,s disease (AD) – than use of ...
(Date:7/11/2014)... N.C. , July 11, 2014 ... approaches are evolving across industry sectors to better ... examining better ways to engage with and understand ... inform themselves and make critical purchasing decisions. ... firm, Best Practices, LLC, one area where organizations ...
(Date:7/11/2014)... According to a new ... Material, Application (Healthcare, Homeland security, Industrial application, Nuclear ... Hand-Held Instruments, Fixed, and Installed Instruments) & Geography ... by MarketsandMarkets, the Scintillator Market is expected to ... to 2020, and reach $479.16 Million in 2020. ...
Breaking Medicine Technology:New Data Shows Combination Therapy is More Effective than Monotherapy in Removing Beta-Amyloid Plaques from the Brains of Mice 2New Data Shows Combination Therapy is More Effective than Monotherapy in Removing Beta-Amyloid Plaques from the Brains of Mice 3New Technologies Transforming Consumer Marketing Research Playbook 2Scintillator Market will be worth $479.16 Million by 2020 2Scintillator Market will be worth $479.16 Million by 2020 3Scintillator Market will be worth $479.16 Million by 2020 4
... World Drug Safety Congress in Boston, MA, ePharmaSolutions announced ... system to support the most recent national and local ... advanced distribution and tracking capabilities. The distribution ... and time consuming process for global biopharmaceutical companies who ...
... The Female Health Company (NASDAQ-CM: FHCO), today announced that its ... $0.05 per share.  The dividend is payable May 10, 2011 ... In January, 2010, the Company announced the initiation of ... dividends since the program,s inception. "The Company,s Board ...
Cached Medicine Technology:ePharmaSolutions Launches Major Release of Its Global Safety Letter Distribution and Tracking Application in More Than 90 Countries 2The Female Health Company Declares 2nd Quarter Dividend of $0.05/share 2The Female Health Company Declares 2nd Quarter Dividend of $0.05/share 3
... ergonomic chairs with concave seats and ... Select options like seats, backrests, armrests, ... the BE Series for top performance ... industry, education, laboratory, clean room, static ...
... Durable ergonomic chairs with concave seats ... • Select options like seats, backrests, ... Choose the BE Series for top ... including: industry, education, laboratory, clean room, ...
... with concave seats and large backrests with ... backrests, armrests, and casters and glides. • ... in a variety of environments including: industry, ... care and office. • With reinforced nylon ...
... Durable ergonomic chairs with concave seats and ... options like seats, backrests, armrests, and casters ... for top performance in a variety of ... static control, health care and office. • ...
Medicine Products: