Rockwell to use maths-based techniques to secure military platforms from cyberattack


Rockwell Collins has been selected by the US Defense Advanced Research Projects Agency (DARPA) to use mathematics-based techniques to secure land, air and sea platforms from cyberattacks.

The mathematics-based methods were developed by Rockwell Collins and its partners in DARPA’s high assurance cyber military systems (HACMS) programme, which seeks to create technology for the construction of high-assurance cyber-physical systems.

These techniques are designed to ensure cyber resilience by eliminating important classes of system vulnerabilities.

Rockwell Collins Advanced Technology Center vice-president John Borghese said: “In today’s highly connected world, land, air and sea platforms can fall victim to cyberattack.

“HACMS provides peace of mind and high assurance that these systems are resistant to a cyberattack.”

“In today’s highly connected world, land, air and sea platforms can fall victim to cyberattack."

Rockwell Collins' HACMS team, including Galois, Data 61, HRL, and the University of Minnesota, have developed technologies that will help achieve a high level of cyber-resilience.

Each of these technologies, which include architectural modelling and analysis, a secure microkernel and automatic generation of the application code, use mathematical reasoning to ensure the absence of vulnerabilities that can be exploited in a cyberattack.

Rockwell said that the technologies were successfully demonstrated on an unmanned helicopter, a small unmanned air vehicle, and an enhanced soldier vision helmet at a HACMS demonstration earlier this month in Sterling, Virginia, US.

The HACMS technologies will be initially applied to support the US Navy programmes, under the newly-awarded DARPA contract.


Image: DARPA selects Rockwell Collins to apply cyber-security technology to new platforms. Photo: courtesy of Rockwell Collins.