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:5/26/2015)... Beloved local Arizona company, Parker and Sons, ... drain clog guarantee or else its free. , Parker ... found here . What’s more, Parker and Sons offers ... in the company’s rich legacy, and immense success. , ... drain clog imaginable. Whether it be low water flow or ...
(Date:5/26/2015)... May 26, 2015 Last week, ... Mexico patients with MRI, Ultrasound, and CT services—was ... American College of Radiology. The center is now ... , In order to be eligible for ... of qualifications including personnel qualifications, adequacy of facility ...
(Date:5/26/2015)... May 26, 2015 Marching bands ... summer season, and thanks to the efforts of ... more of their musicians are protecting their hearing ... over 400 participating groups, Etymotic’s Adopt-a-Band program continues ... Etymotic are now for sale in drum shops ...
(Date:5/26/2015)... It was an evening befitting the largest, oldest, ... May 13, The Denver Foundation marked 90 years of ... giving with its Annual Celebration, held at the Seawell ... event celebrated the donors, leaders, grantees, and volunteers who ... good. , “If your organization, neighborhood group, or cause ...
(Date:5/26/2015)... Baltimore, MD (PRWEB) May 26, 2015 ... of marijuana. According to an article published by ... 2015 synthetic marijuana (dubbed K2, Spice, and black ... unstable composition of these synthetic substances make it ... and confirm patients’ use of the substance due ...
Breaking Medicine News(10 mins):Health News:Parker and Sons Offers Special, Sixty Minute Drain Clean Guarantee or Else It’s on Them 2Health News:Marching Musicians Getting In Step With Hearing Protection 2Health News:Celebrating "Our Future in the Making" 2Health News:Celebrating "Our Future in the Making" 3Health News:Synthetic Cannabinoids Can Cause Psychotic Episodes; Doctors at a Loss for Treatment 2Health News:Synthetic Cannabinoids Can Cause Psychotic Episodes; Doctors at a Loss for Treatment 3
... strain of laboratory mice that has "superhealing" powers has ... and also to avoid developing arthritis at the injury ... Duke University Medical Center. Their findings illuminate the mechanisms ... this condition, which commonly afflicts younger people who lose ...
... as Part of 2009 Amgen Tour of California Cycling ... The Patient Advocate Foundation (PAF) - a national non-profit ... of patients every year who are unable to obtain ... - is pleased to partner with Breakaway from ...
... Jackman, and Robert Downey, Jr., to be Auctioned at ... Services CharityNEW YORK, Feb. 22 On the morning ... delighted to announce a symbolic charitable donation to mark ... the Oscars(R). The esteemed champagne house is honored to ...
... AT&T*, the only wireless,carrier that lets Philadelphia subway ... has expanded its wireless network coverage,along the Broad ... Operated by the Southeastern Pennsylvania Transportation Authority,(SEPTA), the ... than 150,000 daily,riders accessing stops at City Hall ...
... begun to solve some of the mysteries of the ... genetic codes for all the known strains of the ... of Medicine in Baltimore and colleagues at the University ... viruses and assembled them into a "family tree," which ...
... and pain fell for participants, study finds , , SATURDAY, Feb. ... way to treat the lower leg pain and cramping caused ... Dutch study, published in the February issue of the ... type of leg pain that occurs while walking, known as ...
Cached Medicine News:Health News:New clues to healing arthritis caused by traumatic injury 2Health News:New clues to healing arthritis caused by traumatic injury 3Health News:Patient Advocate Foundation Partners with Breakaway from Cancer, Raising Awareness and Funds for Free Services Available to Cancer Patients 2Health News:Patient Advocate Foundation Partners with Breakaway from Cancer, Raising Awareness and Funds for Free Services Available to Cancer Patients 3Health News:Moet & Chandon Releases Grand Vintage 1929 Magnum Commemorating First-Ever Academy Awards(R) To Benefit Motion Picture & Television Fund 2Health News:Moet & Chandon Releases Grand Vintage 1929 Magnum Commemorating First-Ever Academy Awards(R) To Benefit Motion Picture & Television Fund 3Health News:Moet & Chandon Releases Grand Vintage 1929 Magnum Commemorating First-Ever Academy Awards(R) To Benefit Motion Picture & Television Fund 4Health News:AT&T Expands Wireless Coverage on Broad Street Line of SEPTA 2Health News:AT&T Expands Wireless Coverage on Broad Street Line of SEPTA 3Health News:Researchers crack the code of the common cold 2Health News:Researchers crack the code of the common cold 3Health News:Researchers crack the code of the common cold 4Health News:Walking Program May Relieve Peripheral Artery Pain 2
(Date:5/26/2015)... YORK , May 26, 2015  Delcath ... Jennifer Simpson , Ph.D., M.S.N., C.R.N.P. has ... the Company,s Board of Directors, effective immediately.  Dr. ... Executive Officer of Delcath since September 2014 and ... September 2013 to September 2014.  She joined Delcath ...
(Date:5/26/2015)... 2015 ViiV Healthcare, Aurobindo Pharma, ... today that Aurobindo Pharma has submitted an Abbreviated New ... to the Food and Drug Administration (FDA), for the ... a generic version of dolutegravir, less than two years ... the United States . ...
(Date:5/26/2015)... May 26, 2015 Sanomedics, Inc. (OTC: SIMH) ... has expanded into the fast growing behavioral health sector ... is a developmental stage, Software as a Services (SaaS) ... addiction treatment service and care centers. ... to enter the nascent behavioral health sector where the ...
Breaking Medicine Technology:Delcath Names Dr. Jennifer Simpson President And CEO 2Delcath Names Dr. Jennifer Simpson President And CEO 3Delcath Names Dr. Jennifer Simpson President And CEO 4ViiV Healthcare and CHAI Collaboration Delivers Second Milestone With First Filing With the FDA of Generic Dolutegravir by Aurobindo Pharma for the Treatment of HIV 2ViiV Healthcare and CHAI Collaboration Delivers Second Milestone With First Filing With the FDA of Generic Dolutegravir by Aurobindo Pharma for the Treatment of HIV 3ViiV Healthcare and CHAI Collaboration Delivers Second Milestone With First Filing With the FDA of Generic Dolutegravir by Aurobindo Pharma for the Treatment of HIV 4ViiV Healthcare and CHAI Collaboration Delivers Second Milestone With First Filing With the FDA of Generic Dolutegravir by Aurobindo Pharma for the Treatment of HIV 5ViiV Healthcare and CHAI Collaboration Delivers Second Milestone With First Filing With the FDA of Generic Dolutegravir by Aurobindo Pharma for the Treatment of HIV 6ViiV Healthcare and CHAI Collaboration Delivers Second Milestone With First Filing With the FDA of Generic Dolutegravir by Aurobindo Pharma for the Treatment of HIV 7Sanomedics Targeting Behavioral Health and Electronic Health Records with Strategic Acquisition of Zen Charts 2Sanomedics Targeting Behavioral Health and Electronic Health Records with Strategic Acquisition of Zen Charts 3
... (Nasdaq: BCRX ) today announced preliminary results ... administered via a single,dose injection in the outpatient ... conducted by BioCryst,s partner, Shionogi & Co., Ltd.,in ... the median time to,alleviation of symptoms in subjects ...
... Higher then Expected MCI Prevalence Shows Urgent Need ... Two studies related to,experimental Alzheimer,s therapies reported positive ... on Alzheimer,s,Disease (ICAD 2008) in Chicago., One ... targeted early,abnormal brain changes in a protein called ...
Cached Medicine Technology:BioCryst Reports Positive Preliminary Results of a Shionogi & Co., Ltd. Sponsored Phase II Study of I.V. Peramivir for the Treatment of Influenza in the Outpatient Setting 2BioCryst Reports Positive Preliminary Results of a Shionogi & Co., Ltd. Sponsored Phase II Study of I.V. Peramivir for the Treatment of Influenza in the Outpatient Setting 3BioCryst Reports Positive Preliminary Results of a Shionogi & Co., Ltd. Sponsored Phase II Study of I.V. Peramivir for the Treatment of Influenza in the Outpatient Setting 4BioCryst Reports Positive Preliminary Results of a Shionogi & Co., Ltd. Sponsored Phase II Study of I.V. Peramivir for the Treatment of Influenza in the Outpatient Setting 5Two New Alzheimer's Disease Studies Show Advances Against Different Treatment Targets 2Two New Alzheimer's Disease Studies Show Advances Against Different Treatment Targets 3Two New Alzheimer's Disease Studies Show Advances Against Different Treatment Targets 4Two New Alzheimer's Disease Studies Show Advances Against Different Treatment Targets 5Two New Alzheimer's Disease Studies Show Advances Against Different Treatment Targets 6
Prevents contamination of RNA experiments commonly caused by latex gloves; made of Nitrile; these gloves are also certified free of Dnase...
These handy dispensers save space and organize gloves in labs and next to hand washers. Clear acrylic. Many other sizes and custom configurations available....
... 8000 retracting base sliding microtome offers the ... reliability and, not least, safety. ,Designed to ... laboratory, the 8000 will also meet the ... where its versatility and wide range of ...
... Leica VT1000 S is a vibrating blade ... to meet the highly sophisticated sectioning requirements ... neurophysiology, neuropathology and experimental (brain) research ... and some industrial applications related to structural ...
Medicine Products: