[drone-list] US DoD Directive on Autonomy

[Eugen Leitl]

On Tue, Nov 27, 2012 at 02:15:35PM +1300, Peter Gutmann wrote:
> 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?

No idea. I'm just the conduit.