DARPA deal for Rockwell Collins

Sept. 19, 2012 at 10:53 AM
Sign up for our Security Newsletter

NATIONAL HARBOR, Md., Sept. 19 (UPI) -- Cybersecurity solutions for U.S. unmanned aerial vehicles and other networked-enabled military vehicles are to be developed by Rockwell Collins.

The work was commissioned for the Unmanned V portion of the High-Assurance Cyber Military Systems program by the U.S. Defense Advanced Research Projects Agency.

The prime contract is for 4 1/2 half years. The monetary value of the award wasn't disclosed.

DARPA's High-Assurance Cyber Military Systems program aims to develop technology for the construction of high-assurance cyber-physical systems. It will require a fundamentally different approach from that used by software developers to enable "semi-automated code synthesis from executable, formal specifications," Rockwell Collins said.

"Making sure software is designed correctly from the beginning is paramount to guarantee the security of military computing platforms," said John Borghese, vice president of the Rockwell Collins Advanced Technology Center.

Rockwell Collins is the team leader for the project. Joining it are Boeing, Galois, National ICT Australia and the University of Minnesota.

Related UPI Stories
Latest Headlines
Trending Stories
United Launch Alliance launches NROL-45 payload
Former military doctors call for end to live tissue training
Russia, Belarus agree on sale of Sukhoi Su-30SM fighters
Airbus selects Thales and Helisim for H160 flight simulator
U.S. Air Force defers 45 F-35s from budget plan