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 ...
New version of Flame virus uncovered: researchers
A new cyberespionage tool linked to the Flame virus has been infecting computers in Lebanon, Iran and elsewhere, security researchers said Monday.
Flame cyber virus linked to more malware: report
The Flame virus believed to be part of a cyberwarfare effort against Iran was developed as early as 2006 and is linked to at least three other malware programs, a new analysis said Monday.
Security experts warn of risky attacks on tech-loaded cars
'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.
Microsoft offering defenses against Duqu virus
Microsoft on Friday was advising companies how to defend against infection by a Stuxnet-like Duqu virus.
Symantec warns of new Stuxnet-like virus
US security firm Symantec has warned of a new computer virus similar to the malicious Stuxnet worm believed to have preyed on Iran's nuclear program.
New methods keep bugs out of software for self-driving cars
Driver assistance technologies, such as adaptive cruise control and automatic braking, promise to someday ease traffic on crowded routes and prevent accidents. Proving that these automated systems will work as intended is ...
Engineers study birds, bees to design unmanned vehicles
(PhysOrg.com) -- University of Arizona aerospace and mechanical engineers are studying bird and bee flight to develop unmanned vehicles that stay aloft longer and cope with sudden and severe changes in airflow.
UA engineers study hybrid systems to design robust unmanned vehicles
The UA College of Engineering's Hybrid Dynamics and Control Laboratory is developing mathematical analysis and design methods that could radically advance the capabilities of unmanned aircraft and ground vehicles, ...
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, ...
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, ...
Google tailoring tablet computer software
As iPad commanded the technology world's attention, Google continued working quietly on tablet computer software that could run rivals to Apple's latest creation.
Faster Than The Speed Of Sound: New Control System Has What It Takes To Guide Experimental Aircraft
(PhysOrg.com) -- When a jet is flying faster than the speed of sound, one small mistake can tear it apart. And when the jet is so experimental that it must fly unmanned, only a computer control system can ...