Carnegie Mellon scientists develop method for verifying safety of computer-controlled devices
Monday, April 20, 2009 - 10:43
in Mathematics & Economics
PITTSBURGH--Researchers at Carnegie Mellon University's School of Computer Science have developed a new method for systematically identifying bugs in aircraft collision avoidance systems, high-speed train controls and other complex, computer-controlled devices, collectively known as cyber-physical systems (CPS).