Rockwell Collins selected for UAV cyber security programme
Rockwell Collins has revealed that it has been selected as the prime contractor for the unmanned air vehicle (UAV) portion of the High-Assurance Cyber Military Systems (HACMS) programme sponsored by the Defense Advanced Research Projects Agency (DARPA). The company announced the news on 17 September.
The goal of the HACMS programme is to create technology for the construction of high-assurance cyber-physical systems. These systems must be functionally correct and satisfy appropriate safety and security properties. Achieving this goal requires a fundamentally different approach from what the software community has taken to date. Consequently, HACMS will adopt a clean-slate, formal methods-based approach to enable semi-automated code synthesis from executable, formal specifications.
Under the four-and-half-year contract, Rockwell Collins will develop cyber security solutions for UAVs, with applicability to other network-enabled military vehicles. The company will draw on its ‘expertise in security certification of complex systems and the use of formal methods’ for the work. Formal methods are the application of rigorous mathematical reasoning and advanced analysis tools to prove relevant properties about a system.
Rockwell Collins is leading a team that includes Boeing, Galois, National ICT Australia (NICTA), and the University of Minnesota for the programme.
More from Uncrewed Vehicles
Saildrone details ISR-focused 10m USV, Voyager
Saildrone has detailed a new 10m USV, Voyager, designed for ISR missions.
Baykar offers first look at Bayraktar TB3 ahead of UCAV's first flight
Turkish UAV manufacturer Baykar has released images of the in-development Bayraktar TB3 before its imminent first flight.
TAI debuts Anka-3 flying wing combat drone
The UCAV is designed to operate alongside crewed fighter jets such as Turkey’s future TF-X.
Aeronautics inks agreement for producing Orbiter 4 UAVs in Thailand
Aeronautics has expanded its Asia-Pacific operations, signing a collaboration agreement with RV Connex to produce the Orbiter 4 UAV in Thailand.
Royal Navy selects Animal Dynamics parafoil UAV for second phase of Heavy Lift challenge
With a payload capacity of 135kg, the Stork STM can fly up to 400km using a parafoil wing to generate lift.