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

dateMar 19, 2013 in Computer Sciences
shares0 comments 8

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

dateJun 13, 2012 in Software
shares0 comments 2

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