Rockwell Collins selected for cybersecurity work
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.
More from Digital Battlespace
The US Air Force's Fight Tonight effort supported by a team lead by Raytheon BBN will enable military leaders to rapidly determine the most effective way to achieve objectives during complex air attack scenarios.
Poland has contracted Saab for the design, production and support of two new Signals Intelligence (SIGINT) ships.
British Army troops have concluded testing with Rafael's FOOTPRINT navigation system for ground forces.