Rockwell Collins has been selected by the Defense Advanced Research Projects Agency (DARPA) to help protect platforms against cyber attacks, using mathematics-based development methods. The techniques are responsible for securing platforms operated on land, in the air and at sea.
The techniques were developed by Rockwell Collins and its partners in DARPA’s High Assurance Cyber Military Systems (HACMS) program. The Rockwell Collins HACMS team includes Galois, Data 61, HRL, and the University of Minnesota.
“In today’s highly connected world, land, air and sea platforms can fall victim to cyber attack,” says vice president of the Advanced Technology Center for Rockwell Collins, John Borghese, through press release
“HACMS provides peace of mind and high assurance that these systems are resistant to a cyber attack.”
To achieve a high level of cyber-resilience, the Rockwell Collins HACMS team developed technologies such as a secure microkernel, an automatic generation of the application code, and architectural modeling and analysis.
To make sure that there is an absence of vulnerabilities that can be taken advantage of during a cyber attack, each of these technologies uses mathematical reasoning, which improves the safety and security of important electronic systems in platforms for the military, as well as those used commercially.
During an April HACMS program demonstration in Sterling, Virginia, platforms equipped with this technology were displayed, including an unmanned helicopter, a small UAS, and an enhanced soldier vision helmet.
The HACMS technologies will have an initial application when they are applied in support of U.S. Navy programs.
<< Back to the News