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
-
![Israel’s MALE UAVs ‘must adapt’ to Iranian-made air defences]()
Israel’s MALE UAVs ‘must adapt’ to Iranian-made air defences
Advancements in air defence technologies have begun to reshape aerial combat dynamics in the Middle East, as illustrated by recent events involving the Israeli Air Force and Hezbollah.
-
![Hundreds more UAS sent to Ukraine forces with thousands more on the way]()
Hundreds more UAS sent to Ukraine forces with thousands more on the way
Both sides of the Russia-Ukraine war have been using UAS for effective low-cost attacks, as well as impactful web and social media footage. Thousands more have now been committed to Ukrainian forces.
-
![AI and software companies selected for US Army Robotic Combat Vehicle subsystems]()
AI and software companies selected for US Army Robotic Combat Vehicle subsystems
The US Army has intentions to develop light, medium and heavy variants of the Robotic Combat Vehicle (RCV) as part of the branche’s Next Generation Combat Vehicle family.
-
![DroneShield to improve software of DroneSentry-X C-UAS system under new contract]()
DroneShield to improve software of DroneSentry-X C-UAS system under new contract
DroneSentry-X, a cross-vehicle compatible, automated 360° C-UAS detect and defeat device, can offer 360° awareness and protection using integrated sensors. According to its manufacturer, it is suitable for mobile operations, on-site surveillance and on-the-move missions.
-
![Ukraine takes delivery of new indigenous C-UAS systems]()
Ukraine takes delivery of new indigenous C-UAS systems
Funded by the country’s former president, the new C-UAS systems will be sent to the frontline where they have already been tested against Russian invading forces.
