~/talk

Aspects of Dependable Linux Systems

slides:none on file

Linux already runs in automotive, satellites and robotics but industry standards assume traceable requirements and controlled artifacts that the kernel lacks; companies are importing kernel 361508 and spending six years reworking it instead of upstreaming. The talk cites NVIDIA practical qualification efforts, compares typical standard scopes of 5–10k lines of code to the monolithic kernel, and argues for program verification, better documentation and traceability artifacts and clear ownership for each lifecycle element.

AI-written summary · about

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.