3 ms·

Interesting lecture by DARPA. It also refers to their secure UAV project, which is as anexample to embedded system: http://ssrg.nicta.com.au/projects/TS/SMACCM

by petra 11y ago

Interesting lecture by DARPA. It also refers to their secure UAV project, which is as anexample to embedded system: http://ssrg.nicta.com.au/projects/TS/SMACCM/ http://ssrg.nicta.com.au/projects/TS/SMACCM/ They also released a formally proven real-time OS.