Following a successful demonstration, the Defense Advanced Research Projects Agency (DARPA) has selected Rockwell Collins’ cybersecurity techniques for the U.S. Navy, Rockwell Collins said. The techniques were developed by Rockwell Collins and its partners in DARPA’s High Assurance Cyber Military Systems (HACMS) program.
Architectural modeling and analysis, a secure microkernel and automatic generation of the application code are some of Rockwell Collins’ techniques based on mathematic reasoning. The demonstration took place in Sterling, Virginia, as part of a HACMS program demonstration, which showcased cyberscecurity platforms on unmanned aircraft systems and an enhanced soldier vision helmet.
The HACMS team includes Galois, Data 61, HRL and the University of Minnesota.