CMU Develops Autonomous Car Software That's Provably Safe

We'll all feel a lot better being driven around by robot cars now that CMU has developed control software that can't possibly cause a crash

2 min read
CMU Develops Autonomous Car Software That's Provably Safe

Autonomous cars behaving themselves during the DARPA Urban Challenge

It's one thing to ramble on (like we do) about how autonomous cars are way safer than human driven cars, but it's another thing to prove it. Like, mathematically. A research group at Carnegie Mellon has created a distributed control system for autonomous highway driving and then verified that it's safe. In other words, the software itself provably cannot cause an accident.

To do this, the CMU group started with a simulation of just two cars (equipped with sensors and short range inter-vehicle communications) in a lane, and then proved that their software kept those cars from having an accident 100 percent of the time. With this as a base, they slowly expanded the simulation, adding more and more layers like multiple cars and lane changes until they had an entire complex autonomous control system, each module of which is definitely safe.

So far, the system is only able to deal with entering, exiting, speed changes, and lane changes on straight line highways, so it's going to be of limited use unless you live in Kansas. It's also dependent on sensor technology that is only just starting to be introduced into vehicles, and I imagine that the "provably" bit starts to break down when dealing with unexpected situations, like a moose jumping off of an overpass onto the hood of your car. But it's a start, and a fundamental technique that can be built upon.

This type of thing also seems like it may have the potential to streamline the introduction of autonomous cars from an insurance and legal standpoint, since it offers some degree of protection for manufacturers: If an accident occurs and the software provably cannot be at fault, that leaves either a sensor hardware failure, or (more likely) a human simply pushed the wrong button.

[ CMACS ] via [ CMU ]

Image credit: KWC

The Conversation (0)

How Robots Can Help Us Act and Feel Younger

Toyota’s Gill Pratt on enhancing independence in old age

10 min read
An illustration of a woman making a salad with robotic arms around her holding vegetables and other salad ingredients.
Dan Page

By 2050, the global population aged 65 or more will be nearly double what it is today. The number of people over the age of 80 will triple, approaching half a billion. Supporting an aging population is a worldwide concern, but this demographic shift is especially pronounced in Japan, where more than a third of Japanese will be 65 or older by midcentury.

Toyota Research Institute (TRI), which was established by Toyota Motor Corp. in 2015 to explore autonomous cars, robotics, and “human amplification technologies,” has also been focusing a significant portion of its research on ways to help older people maintain their health, happiness, and independence as long as possible. While an important goal in itself, improving self-sufficiency for the elderly also reduces the amount of support they need from society more broadly. And without technological help, sustaining this population in an effective and dignified manner will grow increasingly difficult—first in Japan, but globally soon after.

Keep Reading ↓Show less