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.