~/talk

Collaborate on Linux for Use in Safety-Critical Systems?

links:none on file
slides:none on file

A collaborative effort called SIL2LinuxMP claims to produce the procedures, evidence and tools needed to qualify Linux on multicore platforms to IEC 61508 SIL2 level; a preliminary compliance roadmap reviewed with a safety authority exists and 16 companies contributed practical kernel investigations, tooling surveys and workshops. The project publishes a knowledgebase soon and shows feasibility with reference system analysis, but it does not build custom certified kernels, cannot engineer each integrator’s product, and does not remove legal responsibility for deployers.

AI-written summary · about

  1. 0:00Introduction
  2. 2:19Software Innovations
  3. 3:07Linux History
  4. 5:03Mechatronic Industry
  5. 5:44Linux
  6. 7:09Seal to Linux MP
  7. 8:44Functional Safety
  8. 11:22Risk Management
  9. 12:05IEC 61508
  10. 12:23Design a safe system
  11. 14:17Concrete example
  12. 20:32Understand your system
  13. 21:47Assessment of safety by process
  14. 23:47Safetycritical vs mainline Linux
  15. 27:14Silver Linux and P retrospective
  16. 29:14Collaboration goals
  17. 30:03Conditions for collaboration
  18. 31:52Outcome of collaboration
  19. 33:55Project structure
  20. 35:25Project limitations
  21. 37:44Different conceptual approaches
  22. 38:54Conclusion
  23. 46:51What is a safetycritical hypervisor
~/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.