Discover World-Leading Unmanned and Autonomous Technologies
Discover cutting-edge solutions from leading global suppliers
John Borghese, vice president of the Rockwell Collins Advanced Technology Center, said the company’s expertise in security certification of complex systems and the use of formal methods was a key in acquiring the contract. Formal methods are the application of rigorous mathematical reasoning and advanced analysis tools to prove relevant properties about a system.
“Making sure software is designed correctly from the beginning is paramount to guarantee the security of military computing platforms,” added Borghese.
Rockwell Collins is leading a team that includes Boeing, Galois, National ICT Australia (NICTA), and the University of Minnesota.










