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.

How well do you really know your competitors?

Access the most comprehensive Company Profiles on the market, powered by GlobalData. Save hours of research. Gain competitive edge.

Company Profile – free sample

Thank you!

Your download email will arrive shortly

Not ready to buy yet? Download a free sample

We are confident about the unique quality of our Company Profiles. However, we want you to make the most beneficial decision for your business, so we offer a free sample that you can download by submitting the below form

By GlobalData
Visit our Privacy Policy for more information about our services, how we may use, process and share your personal data, including information of your rights in respect of your personal data and how you can unsubscribe from future marketing communications. Our services are intended for corporate subscribers and you warrant that the email address submitted is your corporate email address.

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.