Cyber security for unmanned air systems (UAS)

This post is also available in: עברית (Hebrew)

To read this article in Hebrew


8419496394_32d97323dc_mCyber security for unmanned air systems (UAS) has become an integral part of the Cyber security aspect of homeland security. Israeli companies are developing the needed solutions , but details are classified.

The u.s is also aware of the threat and last year Rockwell Collins has been selected as the prime contractor for the unmanned air vehicle portion of the High-Assurance Cyber Military Systems (HACMS) program sponsored by the Defense Advanced Research Projects Agency (DARPA). The four-and-half-year contract calls for Rockwell Collins to develop cyber security solutions for unmanned air vehicles, with applicability to other network-enabled military vehicles.

The goal of the HACMS program 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.

Illustration Pictures with courtesy of IDF’s spokesman unit