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

, maintain their lanes or otherwise drive themselves.

"Because the consequences of these systems malfunctioning are so great, finding a way to prove they are free of design errors has been one of the most important and pressing challenges in computer science," Platzer said. Testing alone is inadequate because no test regimen can check all of the possible circumstances that the system might encounter.

A growing number of techniques have been developed to aid in formally verifying that computer hardware and software are free from design defects. These techniques analyze all the possible states of a system, much as a mathematician uses a proof to determine that a theorem is correct. But methods that work for computer circuitry or software, which may be complex but have a finite number of states, don't work for hybrid systems that must contend with the infinite variations of the physical world.

Platzer, however, has developed an approach based on differential dynamic logic and an associated tool called KeYmaeraD that can be used to model a hybrid system and its properties and then symbolically pick it apart. This approach, which Platzer already has used successfully to identify errors in aircraft collision avoidance systems and to verify the design of distributed car control systems, can verify that a design is safe or else help generate counterexamples of how the system can fail.

Platzer and his colleagues applied this approach to evaluate the control algorithm for the skull-base surgery robot. This robot aids in intricate surgery in small recesses of the brain by minimizing tiny movements as a surgeon manipulates a tool and by restricting the tool to movement within the surgical site. As the tool approaches the surgical boundary, beyond which healthy and vital tissues can be harmed, it exerts force feedback to warn the surgeon. If the tool reaches the boundary, the robot is supposed to stop it from going farther. This functionality
'/>"/>

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:4/16/2014)... Ariz. April 15, 2014 The Translational Genomics ... at their annual Founders Dinner for their support of ... event took place March 28 in Scottsdale. , Catherine ... Ivy Foundation, received TGen,s John S. McCain Leadership Award, ...
(Date:4/15/2014)... and pre-diabetes in the United States have nearly doubled since ... of Public Health, with obesity apparently to blame for the ... disease has not hit all groups equally, with alarming increases ... to new research reported in the April 15, 2014 issue ...
(Date:4/14/2014)... , Significant advances have been made in chemotherapy over ... while avoiding healthy tissues continues to be a major ... targeted drug delivery, including the use of nanocarriers, or ... specific locations in the body. , The catch? These ...
(Date:4/14/2014)... IL A new study shows that moderate to severe obstructive ... cancer and death. , Results of the 20-year follow-up study show ... times more likely to die (hazard ratio = 4.2), nearly four ... times more likely to die from cancer (HR = 3.4), and ...
(Date:4/14/2014)... that the molecule, called microRNA 135b, is a vital ... the growth of bowel cancers. , Drugs targeted at ... cancer-causing mutations at once, while tests for it could ... believe. , The research was carried out by an ...
Breaking Medicine News(10 mins):Health News:TGen honors Catherine Ivy and Craig Jackson with Leadership; Collaborative Spirit awards 2Health News:Pre-diabetes and diabetes nearly double over the past 2 decades 2Health News:Nano shake-up 2Health News:Study links severe sleep apnea to increased risk of stroke, cancer and death 2Health News:'MicroRNA' could be key target for bowel cancer treatment 2
... thousands San,Diegans flee the flames, they,re trying to make sense ... These wildfires have created a,tremendous amount of stress and anxiety ... to come, many may begin to have some of,these common ... -- Fear and anxiety about the future -- Disorientation; ...
... Compound Problems With Governor,s Mandatory Health Insurance Plan, ... released today by the Schwarzenegger Administration fail to,protect ... insurers,to decide which policies to cancel without prior ... and Consumer Rights (FTCR).,FTCR said that the weak ...
... Reports Day or Night, CLEVELAND, Oct. 23 ... it has expanded its subspecialty,teleradiology business model to ... its acquisition of Apex Radiology, Coral Springs, FL. ... largest teleradiology,provider of final reports, as well as ...
... YDNT ) today announced results for the quarter ... the third quarter were $24.7 million, increasing 3.5% over,the ... Income from,operations decreased 16.8% to $5.2 million from $6.2 ... decreased 22.1% from $3.9 million in the,prior year. Diluted ...
... are the most dependent on,others and the ones the ... trauma expert. "Why do children exhibit psychological trauma? ... security of their parents and the predictability,of their physical ... Angeles psychologist Robert R. Butterworth, Ph.D. Dr. Butterworth ...
... How to Help Children Cope, WESTPORT, Conn., Oct. ... to disasters and works to improve the,lives of children ... experts,to assist children and families affected by the devastating ... posted to San Diego, will provide assistance to,children and ...
Cached Medicine News:Health News:Coping with the Stress of Natural Disasters 2Health News:Draft Rules Won't Stop Insurers' Illegal Cancellations of Health Policies 2Health News:Draft Rules Won't Stop Insurers' Illegal Cancellations of Health Policies 3Health News:Franklin & Seidelmann Enters Full-Service Teleradiology Market with Acquisition of Apex Radiology 2Health News:Franklin & Seidelmann Enters Full-Service Teleradiology Market with Acquisition of Apex Radiology 3Health News:Young Innovations, Inc. Announces Results for the Third Quarter Ended September 30, 2007 and Declares Quarterly Dividend 2Health News:Young Innovations, Inc. Announces Results for the Third Quarter Ended September 30, 2007 and Declares Quarterly Dividend 3Health News:Young Innovations, Inc. Announces Results for the Third Quarter Ended September 30, 2007 and Declares Quarterly Dividend 4Health News:Young Innovations, Inc. Announces Results for the Third Quarter Ended September 30, 2007 and Declares Quarterly Dividend 5Health News:Young Innovations, Inc. Announces Results for the Third Quarter Ended September 30, 2007 and Declares Quarterly Dividend 6Health News:California Wildfires - Psychological Effects; Children ... Psychologist Is Available to Discuss Trauma 2Health News:Save the Children to Help Youngsters Impacted by California Wildfires 2Health News:Save the Children to Help Youngsters Impacted by California Wildfires 3Health News:Save the Children to Help Youngsters Impacted by California Wildfires 4Health News:Save the Children to Help Youngsters Impacted by California Wildfires 5
(Date:1/15/2014)... the leading health care supply chain expertise, analytics and ... national contracts that expand its portfolio to provide hospital ... These include manufacturer product and service agreements, as well ... IT consulting support. New Novation agreements ...
(Date:1/15/2014)... BreedIT Corp (OTC: BRDT), through its Israeli ... sophisticated agro-breeding solutions for plant breeders and researchers, today ... of directors appointed chemistry and pharmaceutical industry expert Dr. ... the board. From 1975 to 2012, Dr. ...
(Date:1/15/2014)... , Jan. 15, 2014  Echo Therapeutics, Inc. (Nasdaq: ... its Symphony® CGM System as a non-invasive, wireless continuous ... Doman , Executive Chairman and Interim CEO of Echo ... Tenth Annual Equity Conference. Mr. Doman ...
Breaking Medicine Technology:New Novation Information Technology VAR Contracts Offer Significant Savings to Hospitals 2BreedIT (OTC: BRDT) Appoints Chemistry and Pharmaceutical Industry Expert Dr. Ben-Zion Weiner to Its Board of Directors 2BreedIT (OTC: BRDT) Appoints Chemistry and Pharmaceutical Industry Expert Dr. Ben-Zion Weiner to Its Board of Directors 3Echo Therapeutics to Present at the Noble Financial Capital Markets' Tenth Annual Equity Conference 2Echo Therapeutics to Present at the Noble Financial Capital Markets' Tenth Annual Equity Conference 3
... Champions Biotechnology, Inc. (OTC ... with a predictive preclinical platform aimed at accelerating ... drugs, has established an exclusive licensing agreement with ... University,s wholly owned technology transfer company. The licensing ...
... Bellicum Pharmaceuticals, Inc. today announced $4.5 million in Series ... used to complete the company,s ongoing Phase I/IIa trial of ... to prepare for Phase IIb trials. The company anticipates reporting ... , The new funding brings the total raised to date ...
Cached Medicine Technology:Champions Biotechnology, Inc. Signs Exclusive Licensing Agreement with Ramot for TAR-1, a Novel Therapeutic for the Treatment of Cancer 2Champions Biotechnology, Inc. Signs Exclusive Licensing Agreement with Ramot for TAR-1, a Novel Therapeutic for the Treatment of Cancer 3Champions Biotechnology, Inc. Signs Exclusive Licensing Agreement with Ramot for TAR-1, a Novel Therapeutic for the Treatment of Cancer 4Bellicum Pharmaceuticals Announces $4.5 Million in New Funding 2
Use the Mo Bio Vortex adapter to process multiple samples at the same time. The adapter holds tubes horizontally to increase cell lysis and mixing efficiency. Ideal for bead beating procedures....
... Mo Bio Vortex Adapter in conjunction with the ... Using the Mo Bio Vortex Adapter is ... Fast Prep machines which offer the same technology. ... centrifuge tubes at one time and will fit ...
... Combines BchiVac V-500 with Vacuum Controller ... controls vacuum levels from Compact Housing ... membrane vacuum pump designed to handle most vacuum ... use with up to two rotary evaporators ...
... V-500 with Vacuum Controller V-800 and water-cooled secondary ... Model V-500 is a powerful ... vacuum applications. Applications Ideally suited ... Laboratory vacuum source for instruments including ...
Medicine Products: