Rockwell Collins has been selected by the Defense Advanced Research Projects Agency (DARPA) to use new techniques to secure platforms against cyber attacks, the company announced on 24 April.
The mathematics-based development methods were developed by Rockwell Collins and its partners for DARPA's High Assurance Cyber Military Systems (HACMS) programme. The techniques are designed to ensure cyber resilience by eliminating important classes of system vulnerabilities.
The contract will see HACMS technologies applied in support of US Navy programmes.
The resilience technologies developed the Rockwell Collins HACMS team include architectural modelling and analysis, a secure microkernel and automatic generation of the application code. Each uses mathematical reasoning to ensure the absence of vulnerabilities that can be exploited in a cyber attack, improving the safety and security of critical electronic systems in military and commercial platforms.
The technologies, which can be applied to land, air and sea platforms, have been demonstrated on UAS and an enhanced soldier vision helmet.