News tagged with computer control systems

Related topics:

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, ...

dateNov 17, 2010 in Internet
shares0 comments 7

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, ...

dateApr 21, 2010 in Other
shares0 comments 0

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 ...

dateMar 19, 2013 in Computer Sciences
shares0 comments 8