Aspects of Dependable Linux Systems
summary
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
related talks
41mIs Linux Kernel Development Good Enough to Make Your Life Depend on It?
41mCross Industry Demands and Collaboration Opportunities
42mDecoding Safe(ty) Linux Architectural Approaches for Critical Systems
40mFinding the Best Way to Use Linux Kernel - Status Update
37mFinding the Path from Embedded to Edge using Product Lines
57mPanel Discussion: Super Long Term Kernel Maintenance
33mAdopting Linux on BMW - The Long Road to Integrate Linux as Mainline Platform
40mThe Need to Drive Towards Frequent and Sustained Software Updates
