Hi
user
Admin Login:
Username:
Password:
Name:
Open-Source Software Stack for High-Assurance Autonomous Vehicles
--client
lca
--show
lca2016
--room r2mix 10657 --force
Next: 12 Open Source Tools for Distributed Systems Administration
show more...
Marks
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:
has someone authorised pubication
Unknown
Yes
No
Normalise:
Channelcopy:
m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:
filename.png
Description:
markdown
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.
Comment:
production notes
2016-02-04/13_21_28.dv
Apply:
13:21:28 - 13:21:28 ( 00:00:00 )
S:
13:21:28 -
E:
13:21:28
D:
00:00:00
show more...
vlc ~/Videos/veyepar/lca/lca2016/dv/r2mix/2016-02-04/13_21_28.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
13:21:28
seconds: 0.0
Wall: 13:21:28
Duration
00:00:00
13:21:28
seconds: 0.0
Wall: 13:21:28
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2016-02-04/13_21_29.dv
Apply:
13:21:29 - 14:04:41 ( 00:43:12 )
S:
13:21:29 -
E:
14:04:41
D:
00:43:12
show more...
vlc ~/Videos/veyepar/lca/lca2016/dv/r2mix/2016-02-04/13_21_29.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
13:21:29
seconds: 0.0
Wall: 13:21:29
Duration
00:43:12
14:04:41
seconds: 0.0
Wall: 13:21:29
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2016-02-04/14_04_39.dv
Apply:
14:04:39 - 14:12:25 ( 00:07:46 )
S:
14:04:39 -
E:
14:12:25
D:
00:07:46
show more...
vlc ~/Videos/veyepar/lca/lca2016/dv/r2mix/2016-02-04/14_04_39.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
14:04:39
seconds: 0.0
Wall: 14:04:39
Duration
00:07:46
14:12:25
seconds: 0.0
Wall: 14:04:39
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
Rf filename:
root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:
check and save to add this
2016-02-04/13_21_28.dv
2016-02-04/13_21_29.dv
2016-02-04/14_04_39.dv
Veyepar
Video Eyeball Processor and Review
