Carnegie Mellon methods keep bugs out of software for self-driving cars
Analysis verifies safety of distributed car control system
2011-06-22
(Press-News.org) PITTSBURGH—Driver assistance technologies, such as adaptive cruise control and automatic braking, promise to someday ease traffic on crowded routes and prevent accidents. Proving that these automated systems will work as intended is a daunting task, but computer scientists at Carnegie Mellon University have now demonstrated it is possible to verify the safety of these highly complex systems.
To do so, the researchers first developed a model of a distributed car control system in which computers and sensors in each car combine to control acceleration, braking and lane changes, as well as entering and exiting the highway. They then used mathematical methods to formally verify that the system design would keep cars from crashing into each other.
"The system we created is in many ways one of the most complicated cyber-physical systems that has ever been fully verified formally," said Andre Platzer, an assistant professor of computer science. He and his collaborators, Ph.D. students Sarah M. Loos and Ligia Nistor, will present their findings at the International Symposium on Formal Methods, June 22 at the University of Limerick, Ireland.
"Auto accidents cost society billions of dollars and too many lives, so automated systems that could increase both the safety and efficiency of our roads only make sense," Platzer said. "It would be foolish to move to such a system, however, unless we can be certain that it won't create problems of its own. The dynamics of these systems have been beyond the scope of previous formal verification techniques, but we've had success with a modular approach to detecting design errors in them."
Formal verification methods are routinely used to find bugs in computer circuitry and software; Platzer is a leader in developing new techniques to verify complex computer-controlled devices such as aircraft collision avoidance systems and robotic surgery devices, known collectively as cyber-physical systems, or hybrid systems. He also is a member of the Computational Modeling and Analysis of Complex Systems (CMACS) center, a CMU-based initiative sponsored by the National Science Foundation to apply verification techniques to a variety of complex biological or physical systems.
Using these formal methods to either find errors in automated vehicle control or prove they are safe is particularly challenging, Platzer said. Like other cyber-physical systems, they must take into account both physical laws and the capabilities of the system's hardware and software. But vehicle control systems add another layer of complexity because they are distributed systems — that is, no single computer is ultimately in control, but rather each vehicle makes decisions in concert with other vehicles sharing the same road.
Platzer, Loos and Nistor showed that they could verify the safety of their adaptive cruise control system by breaking the problem into modular pieces and organizing the pieces in a hierarchy. The smallest piece consists of just two cars in a single lane. Building on that, they were able to prove that the system is safe for a single lane with an arbitrary number of cars, and ultimately for a highway with an arbitrary number of lanes. Likewise, they were able to show that cars could safely merge in and out of a single lane and then extended it to prove that cars could safely merge across a multi-lane highway.
Platzer cautioned that this proof has a major limitation — it only applies to straight highway. Addressing the problem of curved lanes, sensory inaccuracy and time synchronization are among the issues that will be a focus of future work. The methods the Carnegie Mellon researchers developed can, however, be generalized to other system designs or to variations in car dynamics.
"Any implementation of a distributed car control system would be more complicated than the model we developed," Platzer said. "But now at least we know that these future systems aren't so complex that we can't verify their safety."
###
This research was supported by the National Science Foundation and the Office of Naval Research.
Follow the Carnegie Mellon School of Computer Science on Twitter @SCSatCMU.
About Carnegie Mellon University: Carnegie Mellon (www.cmu.edu) is a private, internationally ranked research university with programs in areas ranging from science, technology and business, to public policy, the humanities and the arts. More than 11,000 students in the university's seven schools and colleges benefit from a small student-to-faculty ratio and an education characterized by its focus on creating and implementing solutions for real problems, interdisciplinary collaboration and innovation. A global university, Carnegie Mellon's main campus in the United States is in Pittsburgh, Pa. It has campuses in California's Silicon Valley and Qatar, and programs in Asia, Australia, Europe and Mexico. The university is in the midst of a $1 billion fundraising campaign, titled "Inspire Innovation: The Campaign for Carnegie Mellon University," which aims to build its endowment, support faculty, students and innovative research, and enhance the physical campus with equipment and facility improvements.
ELSE PRESS RELEASES FROM THIS DATE:
Breakthrough in the search for new treatments for MS
2011-06-22
Scientists at The University of Nottingham have discovered a molecular mechanism which could bring about the development of new treatments for Multiple Sclerosis (MS) — a chronic inflammatory disease of the central nervous system.
Dr Bruno Gran, a Clinical Associate Professor in the Division of Clinical Neurology in the School of Clinical Sciences, working in collaboration with Professor Paul Moynagh from the National University of Ireland, Maynooth, has discovered a synthetic chemical compound which inhibits the pro-inflammatory signals produced by the immune system ...
Astronomers discover that galaxies are either asleep or awake
2011-06-22
New Haven, Conn.—Astronomers have probed into the distant universe and discovered that galaxies display one of two distinct behaviors: they are either awake or asleep, actively forming stars or are not forming any new stars at all.
Scientists have known for several years that galaxies in the nearby universe seem to fall into one of these two states. But a new survey of the distant universe shows that even very young galaxies as far away as 12 billion light years are either awake or asleep as well, meaning galaxies have behaved this way for more than 85 percent of the ...
Jumeirah Restaurants Announces Opening of The Ivy
2011-06-22
Jumeirah Restaurants has announced that the highly anticipated Ivy restaurant is set to open its doors in Dubai, taking forward the long-standing tradition of the international brasserie in London.
The Ivy in Dubai will share the same standards of food, ambience and service as The Ivy in London, but will also take on board the best that Dubai has to offer. Located on the ground floor of The Boulevard, Jumeirah Emirates Towers, which is one of Jumeirah's Dubai hotels, The Ivy has been welcoming diners since 9 June, 2011.
Designed by Martin Brudnizki, the restaurant ...
Cooling system may build eggs' natural defenses against salmonella
2011-06-22
WEST LAFAYETTE, Ind. - Once eggs are laid, their natural resistance to pathogens begins to wear down, but a Purdue University scientist believes he knows how to rearm those defenses.
Kevin Keener, an associate professor of food science, created a process for rapidly cooling eggs that is designed to inhibit the growth of bacteria such as salmonella. The same cooling process would saturate the inside of an egg with carbon dioxide and alter pH levels, which he has found are connected to the activity of an enzyme called lysozyme, which defends egg whites from bacteria.
"This ...
Boots Treat Street Joins with Cottages4You
2011-06-22
Boots has that Cottages4you, provider of cottage and holiday lettings will be joining Treat Street.
This will be a new offering for the 'travel' area of the Boots Treat Street website, which will allow customers to collect more Boots Advantage Card points through the Treat Street site.
This is a great addition to the site and arrives just in time for the summer holidays. It is hoped it will appeal to UK customers who are looking for accommodation.
The Cottages4you website has the widest selection of cottages from coast to country, with over 13,000 hand-selected ...
Greater R&D funding needed to fight diseases affecting world's poor
2011-06-22
Despite significant advancements in increasing distribution and development of vaccines against childhood killer diseases – including pneumococcal disease, rotavirus, and Haemophilus influenzae Type B – global efforts to reduce the burden of infection from neglected tropical diseases (NTDs) has greatly lagged, argues Sabin Vaccine Institute (Sabin) President Dr. Peter Hotez in an article for the June edition of Health Affairs.
NTDs, a group of 17 parasitic infections, represent a significant contributor to global poverty, and have well documented chronic and disabling ...
Flexible schedule is key to keeping working moms on the job
2011-06-22
Waco, Texas (June 21, 2011) - Women who return to work after giving birth are more likely to stay on the job if they have greater control over their work schedules, according to a Baylor University study. Researchers also found that job security and the ability to make use of a variety of their job skills leads to greater retention of working moms, while the impact of work-related stress on their physical and mental health causes greater turnover.
The study is published online in the Journal of Applied Psychology.
"Having a flexible schedule is an important element ...
Hays and The Times Name Louisa James as PA of the Year 2011
2011-06-22
Hays and The Times have announced that Louisa James, of Wandsworth, London, has triumphed in the Hays and The Times PA of the Year Award 2011, being named the country's top PA. Her energy and enthusiasm have seen her expand her role, embracing significant project management and organisational leadership such as being actively involved in the 'Jamie's 30-minute meals' award-winning app, helping her secure the top spot.
PA to the managing director at Jamie Oliver Ltd, Louisa was announced as the winner at an awards ceremony held by Hays, the leading recruiting expert, ...
Quantum leap: Magnetic properties of a single proton directly observed for the first time
2011-06-22
Researchers at Johannes Gutenberg University Mainz (JGU) and the Helmholtz Institute Mainz (HIM), together with their colleagues from the Max Planck Institute for Nuclear Physics in Heidelberg and the GSI Helmholtz Center for Heavy Ion Research in Darmstadt, have observed spin quantum-jumps with a single trapped proton for the first time. The fact that they have managed to procure this elusive data means that they have overtaken their research competitors at the elite Harvard University and are now the global leaders in this field. The result is a pioneering step forward ...
Blueberries help lab rats build strong bones
2011-06-22
This release is available in Spanish.
Compounds in blueberries might turn out to have a powerful effect on formation of strong, healthy bones, if results from studies with laboratory rats turn out to hold true for humans.
Jin-Ran Chen and his colleagues are exploring this idea in research funded by the U.S. Department of Agriculture (USDA) at the Arkansas Children's Nutrition Center (ACNC) in Little Rock. Chen is a principal investigator and lead scientist at the center's Skeletal Development Laboratory, and an assistant professor in the department of pediatrics at ...
LAST 30 PRESS RELEASES:
Less intensive works best for agricultural soil
Arctic rivers project receives “national champion” designation from frontiers foundation
Computational biology paves the way for new ALS tests
Study offers new hope for babies born with opioid withdrawal syndrome
UT, Volkswagen Group of America celebrate research partnership
New Medicare program could dramatically improve affordability for cancer drugs – if patients enroll
Are ‘zombie’ skin cells harmful or helpful? The answer may be in their shapes
University of Cincinnati Cancer Center presents research at AACR 2025
Head and neck, breast, lung and survivorship studies headline Dana-Farber research at AACR Annual Meeting 2025
AACR: Researchers share promising results from MD Anderson clinical trials
New research explains why our waistlines expand in middle age
Advancements in muon detection: Taishan Antineutrino Observatory's innovative top veto tracker
Chips off the old block
Microvascular decompression combined with nerve combing for atypical trigeminal neuralgia
Cutting the complexity from digital carpentry
Lung immune cell type “quietly” controls inflammation in COVID-19
Fiscal impact of expanded Medicare coverage for GLP-1 receptor agonists to treat obesity
State and sociodemographic trends in US cigarette smoking with future projections
Young adults drive historic decline in smoking
NFCR congratulates Dr. Robert C. Bast, Jr. on receiving the AACR-Daniel D. Von Hoff Award for Outstanding Contributions to Education and Training in Cancer Research
Chimpanzee stem cells offer new insights into early embryonic development
This injected protein-like polymer helps tissues heal after a heart attack
FlexTech inaugural issue launches, pioneering interdisciplinary innovation in flexible technology
In Down syndrome mice, 40Hz light and sound improve cognition, neurogenesis, connectivity
Methyl eugenol: potential to inhibit oxidative stress, address related diseases, and its toxicological effects
A vascularized multilayer chip reveals shear stress-induced angiogenesis in diverse fluid conditions
AI helps unravel a cause of Alzheimer's disease and identify a therapeutic candidate
Coalition of Autism Scientists critiques US Department of Health and Human Services Autism Research Initiative
Structure dictates effectiveness, safety in nanomedicine
Mission accomplished for the “T2T” Hong Kong Bauhinia Genome Project
[Press-News.org] Carnegie Mellon methods keep bugs out of software for self-driving carsAnalysis verifies safety of distributed car control system