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.

Check Also

Manny Fernandez Board of Directors Jacobs

Jacobs Elects Manny Fernandez to Board of Directors; Steve Demetriou Quoted

Jacobs has elected Manny Fernandez, managing partner at KPMG, to the company’s Board of Directors, Jacobs reported on Thursday. Fernandez will retire from KPMG on Sept. 30th and join the Jacobs’ Board of Directors on Oct. 5th. Fernandez will bring nearly four decades of experience, advising both public and private companies. 

Teena Lavu VP Electrosoft

Teena Lavu Joins Electrosoft as Civilian Programs VP

Teena Lavu, formerly a senior director at NTT Data Services, has been named vice president of civilian programs at Reston, Virginia-based information technology services provider Electrosoft.

Andrew Borene Managing Director Cybereason

Cybereason Managing Director Andrew Borene Joins NDIA Special Ops Exec Board

Andrew Borene, managing director for the U.S. public sector at endpoint security company Cybereason, has been named to the executive board of the National Defense Industrial Association’s special operations and low-intensity conflict division. He will also chair NDIA’s industry outreach committee.