Author(s):	Gernot Heiser
Location	D2.193 Percy Baxter
Date	feb Thu 04	Days Raw Files
Start	13:20	First Raw Start	13:21
Duration	0:45:00	Offset	0:01:28
End	14:05	Last Raw End	14:12
Chapters	00:00
Total cuts_time	43 min.

https://linux.conf.au/schedule/30057/view_talk
raw-playlist raw-mp4-playlist encoded-files-playlist host archive tweet mp4 svg png

assets release.pdf OpenSource_Software_Stack_for_HighAssurance_Autonomous_Vehicles.json
logs
Admin: episode episode list cut list raw files day marks day marks day image_files

State:	--------- borked edit encode push to queue post richard review 1 email review 2 make public tweet to-miror conf done
Locked:	clear this to unlock
Locked by:	user/process that locked.
Start:	initially scheduled time from master, adjusted to match reality
Duration:	length in hh:mm:ss
Name:	Video Title (shows in video search results)
Emails:	email(s) of the presenter(s)
Released:	Unknown Yes No has someone authorised pubication
Normalise:
Channelcopy:	m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:	filename.png
Description:	The DARPA HACMS Program aims at developing open-source systems and tools for protecting autonomous vehicles from cyber attacks. Specifically, a team comprising NICTA (Australia) and Rockwell Collins and Galois (US) is developing SMACCMcopter, a complete open-source software stack for flying a quadcopter. We are developing new code-synthesis and verification tools, also open-source, which allow us to architect the system for maximum resilience, and produce a large amount of high-assurance software at affordable cost. The software stack is based on NICTA's formally-verified seL4 microkernel and the NICTA and Breakaway eChronos RTOS, also being verified. Flight-control software is generated from high-level specs by Galois' Ivory/Tower tools. The technology developed for SMACCMcopter is being transferred to an optionally-piloted helicopter developed by Boeing, as well as an open reference platform for military ground vehicles. markdown
Comment:	production notes