News tagged with control software

Guarding against 'Carmageddon' cyberattacks

The potential value of turning the nation's freeways into "smart transportation systems" is enormous. Equipping the nation's concrete arteries with a nervous system of computers and sensors that directly control on-ramp signals ...

dateJun 11, 2014 in Security
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 that can't ...

dateMar 19, 2013 in Computer Sciences
shares0 comments 8