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

Problems dogging new high-tech air traffic system

A high-tech overhaul to the nation's air traffic control system is mostly on track to completion, but has yet to produce the benefits that airlines and passengers were told to expect, federal investigators said.

Sep 12, 2012
not rated yet 0

'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

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

Flame virus a new age cyber spy tool

The Flame computer virus that smoldered undetected for years in Middle Eastern energy facilities confirmed fears that the world has entered a new age of cyber espionage and sabotage.

May 31, 2012
5 / 5 (1) 1

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