in ,

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

DARPA Taps Rockwell Collins to Help Secure Military Platforms with Math-Based Methods - top government contractors - best government contracting event

DARPA Taps Rockwell Collins to Help Secure Military Platforms with Math-Based Methods - top government contractors - best government contracting eventRockwell 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.

Raytheon Opens Missile Tech Warehouse on Navajo Nation - top government contractors - best government contracting event

Raytheon Opens Missile Tech Warehouse on Navajo Nation

Fortinet, Leidos Form Managed Security Service Partnership - top government contractors - best government contracting event

Fortinet, Leidos Form Managed Security Service Partnership