News tagged with computer control systems

Related topics:

Can control theory make software better?

"Formal verification" is a set of methods for mathematically proving that a computer program does what it's supposed to do. It's universal in hardware design and in the development of critical control software ...

Mar 19, 2013
5 / 5 (6) 8 | with audio podcast

Stuxnet virus could target many industries

(AP) -- A malicious computer attack that appears to target Iran's nuclear plants can be modified to wreak havoc on industrial control systems around the world, and represents the most dire cyberthreat known to industry, ...

Nov 17, 2010
4.1 / 5 (7) 7

Obama stepped up cyberattacks on Iran: report

US President Barack Obama accelerated cyberattacks on Iran's nuclear program and expanded the assault even after the Stuxnet virus accidentally escaped in 2010, the New York Times reported Friday.

Jun 01, 2012
5 / 5 (2) 1

Problems plague new air traffic control computers

(AP) -- New computers crucial to modernizing the U.S. air traffic control system have run into serious problems and may not be fully operational by the end of this year when the current system is supposed to be replaced, ...

Apr 21, 2010
3 / 5 (3) 0

Iran says Duqu malware under 'control'

Iran said on Sunday it had found a way to "control" the computer malware Duqu, which is similar to Stuxnet virus which in 2010 attacked its nuclear programme and infected more than 30,000 computers.

Nov 13, 2011
4.5 / 5 (2) 1