DARPA Taps Rockwell Collins to Help Secure Military Platforms with Math-Based Methods

Rockwell Collins has received a contract to apply mathematics-based development methods in efforts to help the Defense Advanced Research Projects Agency defend various military platforms against cyber threats and address system vulnerabilities.

The company said Monday it will initially incorporate technologies developed under DARPA’s High Assurance Cyber Military Systems into U.S. Navy programs under the contract.

The HACMS project aims to build cyber-physical systems that works to address safety and security requirements with the use of a formal methods-based approach for semi-automated code synthesis capacity.

Rockwell Collins collaborated with Data 61, Galois, HRL Laboratories and the University of Minnesota on the development of cyber resilience tools that include an automatic application code generator, a microkernel and architectural modeling and analysis systems.

The technologies were demonstrated on a small unmanned air vehicle, an unmanned helicopter and a soldier vision helmet at a recent HACMS program demonstration held in Sterling, Virginia.

You may also be interested in...

NEXT-C Johns Hopkins APL photo

Johns Hopkins APL Helps Equip DART Spacecraft With NASA-Made Propulsion Tech

Johns Hopkins University Applied Physics Laboratory has incorporated a propulsion technology built by NASA into a spacecraft designed to support the agency's demonstration of its first planetary defense capability.

CompTIA

CompTIA Receives DoD OK for Penetration Testing Certification

The Department of Defense has approved a CompTIA certification exam designed to measure cybersecurity skills necessary to conduct penetration testing and manage vulnerabilities in an information technology system.

50W Ka-band BUC

Gilat Subsidiary to Deliver Ka-Band Block Upconverter for Military Comms Program

Gilat Satellite Networks' Wavestream subsidiary has secured a delivery order of an undisclosed sum to provide a high-power 50-watt Ka-band block upconverter in support of a U.S. military communications program.