DARPA deal for Rockwell Collins

Sept. 19, 2012 at 10:53 AM

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.

Like Us on Facebook for more stories from UPI.com  
Related UPI Stories
Latest Headlines
Top Stories
Norway: New reserves found in North Sea
E-2D aerial refueling capability passes CDR
Shell to tap new Gulf of Mexico oil
Google apologizes for photo app that tagged black couple as 'gorillas'
Canada awards license for LNG exports to Asia