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:12/22/2014)... Coral Gables, FL (PRWEB) December 22, 2014 ... head lice removal service , Lice Troopers, with its new ... established in southern Florida, takes the hassle out of dealing ... removal services in one of their two salon clinic locations ... home or other location. , The decision to expand developed ...
(Date:12/22/2014)... (PRWEB) December 22, 2014 The holidays are ... of the season. Many may be thinking about how to ... of a few weeks. Health Republic Insurance of New York ... Dietitian, Andrea Chernus, to provide some smart ideas to enjoy ... healthy. , 1)    Avoid arriving at a holiday gathering over-hungry , ...
(Date:12/22/2014)... Physicians in China are most eagerly ... of non-Hodgkin’s lymphoma (NHL), according to a new report ... consulting firm. MabThera is the only biologic available to ... form of NHL. , According to Kantar Health’s report, ... of NHL in China has been growing and is ...
(Date:12/22/2014)... December 22, 2014 Only weeks following ... and mid-western cities to have a battery manufacturer create ... ( http://www.talklocal.com ) is launching in Henderson ... , “A strong manufacturing sector is going to ... Gurpreet Singh explained, “and TalkLocal works with small businesses ...
(Date:12/22/2014)... Pasadena, CA (PRWEB) December 22, 2014 ... is now offering consultations for sleep apnea. Drowsy drivers ... crashes than drivers who are well-rested, and some experts ... on the roads as intoxicated drivers. Unfortunately, millions of ... to the American Academy of Sleep Medicine, about 18 ...
Breaking Medicine News(10 mins):Health News:Professional In-Home All-Natural Lice Removal Service Expands to Coral Gables and surrounding areas. 2Health News:Health Republic Insurance of New York Offers Five Simple Tips to Eat Healthy During the Holidays 2Health News:Physicians in China See Most Significant Demand for MabThera Biosimilar 2Health News:Physicians in China See Most Significant Demand for MabThera Biosimilar 3Health News:TalkLocal Launches in Henderson Weeks Following New Megafactory, New Jobs Announcement 2Health News:Pasadena Dentist, Dr. Marine Martirosyan, Now Offers Consultations for Sleep Apnea 2
... , HOUSTON, Sept. 2 ... new Southeastern U.S. account executive. In her new assignment, ... strategies for clients throughout the region. , , ... for Fortune 500 clients and other corporations through proprietary ...
... , , WASHINGTON, Sept. 2 ... in Detroit to participating in a conspiracy to defraud the Medicare ... U.S. Attorney Terrence Berg of the Eastern District of Michigan and ... Human Services (HHS) announced. , , Vargas-Arias, ...
... , , , ... COLUMBIA, Md., Sept. 2 Martek Biosciences Corporation (Nasdaq: MATK ) ... for the third quarter were $77.8 million, down 12% from $88.4 million in ... per diluted share, for the third quarter of fiscal 2009, a 4% decrease ...
... ATLANTA, Sept. 2 /PRNewswire-FirstCall/ -- Gentiva Health Services, ... home health services, announced today that it has completed its acquisition ... of the Rush Health System, located in central Mississippi and west ... , , "We extend a warm welcome to ...
... , , ABBOTT PARK, ... ABT ) announced today a definitive agreement to acquire Visiogen, Inc. ... accommodating intraocular lens (IOL) technology to address presbyopia for cataract patients. ... company based in Irvine, Calif., with European operations in Karlsruhe, Germany, ...
... , , , ... Center (SRC) held its first benefit, dessert and silent ... SRC Founder, Jennifer Hoffiz, said, "The concert was well attended and ... and the silent auction allow SRC to offer 3 or 4 ...
Cached Medicine News:Health News:Detroit Clinic Manager Pleads Guilty in Medicare Fraud Scheme 2Health News:Detroit Clinic Manager Pleads Guilty in Medicare Fraud Scheme 3Health News:Martek Announces Third Quarter 2009 Financial Results 2Health News:Martek Announces Third Quarter 2009 Financial Results 3Health News:Martek Announces Third Quarter 2009 Financial Results 4Health News:Martek Announces Third Quarter 2009 Financial Results 5Health News:Martek Announces Third Quarter 2009 Financial Results 6Health News:Martek Announces Third Quarter 2009 Financial Results 7Health News:Martek Announces Third Quarter 2009 Financial Results 8Health News:Martek Announces Third Quarter 2009 Financial Results 9Health News:Martek Announces Third Quarter 2009 Financial Results 10Health News:Martek Announces Third Quarter 2009 Financial Results 11Health News:Martek Announces Third Quarter 2009 Financial Results 12Health News:Gentiva(R) Health Services Completes Acquisition of Home Health Agency 2Health News:Gentiva(R) Health Services Completes Acquisition of Home Health Agency 3Health News:Abbott to Acquire Visiogen, Expanding Vision Care Portfolio 2Health News:Abbott to Acquire Visiogen, Expanding Vision Care Portfolio 3Health News:Abbott to Acquire Visiogen, Expanding Vision Care Portfolio 4Health News:Abbott to Acquire Visiogen, Expanding Vision Care Portfolio 5Health News:Sensory Research Center Benefit Concert Yields Scholarships for Autistic Children 2
(Date:12/19/2014)...  Monarch America Inc. (OTCQB: CANK) ("Monarch America" or ... provide this review of the Company,s recent achievements and ... "Over this past year, we achieved many of our ... to say that Monarch America is in a stronger ... been," stated Eric Hagen , CEO of Monarch ...
(Date:12/19/2014)... 18, 2014  Sage Analytics ( www.sageanalytics.com ), ... for the testing of marijuana potency and moisture ... Luminary™ Profiler, the industry,s first product suite capable ... cost-effective, portable unit. Designed from the ... the cannabis industry, the Luminary™ Profiler utilizes specially ...
(Date:12/19/2014)... , Dec. 18, 2014 Since last month,s ... site now known as the leading online black market ... explosive growth in its offering of drugs and other ... show the takedowns did succeed in lowering the numbers ... review of the markets in August. But some new ...
Breaking Medicine Technology:Monarch America Inc. CEO Reviews Recent Achievements and Provides Outlook for 2015 2Monarch America Inc. CEO Reviews Recent Achievements and Provides Outlook for 2015 3Sage Analytics Develops Breakthrough System for Potency Testing of Cannabis Products 2Post Silk Road - Another Online Drug Den Now Dominates the DarkNet 2Post Silk Road - Another Online Drug Den Now Dominates the DarkNet 3
... HUNTINGTON BEACH, California and AMSTERDAM, ... diagnostics, announced today that,the US Food and Drug Administration ... ages. MammaPrint is the only FDA-cleared,breast cancer recurrence test ... the FDA has issued four clearances for MammaPrint, covering,all ...
... , SAN DIEGO, Dec. 17 Suneva Medical, a ... signed a multi-million dollar line of credit facility with Western ... be used to fund commercial support for Artefill®, the only ... well as to expand Suneva,s Aesthetic Market growth objectives. , ...
Cached Medicine Technology:FDA Broadens Clearance for Agendia's MammaPrint(R) 2Suneva Medical Signs Multi-Million Dollar Line of Credit Agreement with Western Technology Investment 2Suneva Medical Signs Multi-Million Dollar Line of Credit Agreement with Western Technology Investment 3
... Medtronic's OctoBase Retractor system ... median sternotomy beating heart CAB ... allows countless Octopus stabilizer mounting ... design allows for multiple blade ...
... lift the heart - Guidant's third generation ... XPOSE 3 is designed to securely lift ... to easily position and access target vessels ... and non-apical placement on the heart, this ...
... The VASOVIEW 5 system is ... (EVH) system designed to minimize the ... with traditional harvesting procedures. Incorporating an ... controls to eliminate operative obstructions, this ...
... PTVA ( Percutaneous Transseptal Ventricular ... for the hemodynamic needs of patients for ... Surgeons. These specialists have historically used ... artery perfusion, but the IABP provides minimal ...
Medicine Products: