[drone-list] US DoD Directive on Autonomy

[Peter Gutmann]

Eugen Leitl <eugen at leitl.org> forwards:

>Mention is made in this document about the importance of "verification and
>validation" (V&V) of systems.  Earlier this month, DARPA's High-Assurance
>Cyber Military Systems (HACMS) program awarded a 4.5 year $18M contract to an
>international consortium "to develop a complete, formally proven architecture
>to protect the control and communication systems of an aerial vehicle from
>compromise by faults and targeted attacks."

So the goal is the same as Orange book A1, but with a wider and scarier range
of attacks to defend against.  OK then.

When are the deliverables for this due?

Peter.