| Home : June 22 2011 Computer News : Keeping bugs out of software for self-driving cars: Analysis verifies safety of distributed car control system |
|
Keeping bugs out of software for self-driving cars: Analysis verifies safety of distributed car control system |
June 22, 2011
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 have now demonstrated it is possible to verify the safety of these highly complex systems.
Link: http://www.sciencedaily.com/releases/2011/06/110621093313.htm
|
|
|
|
|
