April 25 (UPI) -- Rockwell Collins has been contracted by the U.S. military to use mathematics-based development methods to secure platforms against cyber attack.
The Mathematics-based techniques were developed by Rockwell Collins and its partners in the High Assurance Cyber Military Systems, or HACMS, program of the U.S. Defense Advanced Research Projects Agency, or DARPA.
The DARPA program's goal is to ensure cyber resilience by eliminating important classes of system vulnerabilities.
"In today's highly connected world, land, air and sea platforms can fall victim to cyber attack," John Borghese, vice president of the Advanced Technology Center for Rockwell Collins, said in a press release. "HACMS provides peace of mind and high assurance that these systems are resistant to a cyber attack."
Technologies developed by Rockwell and its HACMS team -- including Galois, Data 61, HRL and the University of Minnesota -- aim for a higher level of cyber security. Among the new technologies are architectural modeling and analysis, a secure microkernel, and automatic generation of the application code.
Rickwell Collins said mathematical reasoning is used with each for an absence of vulnerabilities that can be exploited in a cyber attacks.
The technologies and methods will be initially applied to support U.S. Navy programs, the company said.
