The Defense Advanced Research Projects Agency (DARPA) awarded Rockwell Collins [COL] with a contract to provide cyber resilience in military systems, the company said April 24.

Rockwell Collins and partners GaloisData 61HRL, and the University of Minnesota developed mathematics-based development methods to secure platforms against cyber attacks under DARPA’s High Assurance Cyber Military Systems (HACMS) program. HACMS seeks to build technology for the construction of high-assurance cyber-physical systems, DARPA explains on its web page.

The newly developed technologies include architectural modeling and analysis, a secure microkernel, and automatic generation of the application code. Each of these technologies uses mathematical reasoning to build resilience and eliminate entire classes of vulnerabilities, adding safety to critical electronic systems in military and commercial platforms, Rockwell Collins said.

“In today’s highly connected world, land, air and sea platforms can fall victim to cyber attack. HACMS provides peace of mind and high assurance that these systems are resistant to a cyber attack,” John Borghese, vice president of the advanced technology center for Rockwell Collins, said in a statement.

The HACMS technologies were successfully demonstrated in April in Sterling, Va., on an unmanned helicopter, a small unmanned air vehicle, and an enhanced soldier vision helmet.

An initial application under the new DARPA contract will apply these HACMS technologies in support of U.S. Navy programs, Rockwell Collins said. The contract runs through March 2018. The contract value was not disclosed.