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

'No-sleep energy bugs' drain smartphone batteries

(Phys.org) -- Researchers have proposed a method to automatically detect a new class of software glitches in smartphones called "no-sleep energy bugs," which can entirely drain batteries while the phones are not in use.

Jun 13, 2012
5 / 5 (1) 2 | 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

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