Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a formal methodology for documenting Linux kernel architecture and design through testable requirements in this 53-minute conference talk from the Linux Foundation. Learn how Chuck Wolber from The Boeing Company, Kate Stewart from The Linux Foundation, and Gabriele Paoloni from Red Hat propose to describe low-level developer intent using testable expectations that serve as requirements. Discover how this approach provides a fact-based foundation for pass/fail test development, enables test validation through code coverage tools, supports optional traceability to higher-level design, and facilitates tool development for process automation. Examine the current state of the requirement template design and see practical examples of Linux kernel source code instrumented with low-level requirements. Understand the technical rationale behind template design decisions as the speakers build upon their proposal that originated at the 2024 Linux Plumbers Safe Systems with Linux Mini-conference and was further refined at the December 2024 ELISA Workshop at Goddard Space Center. Gain insights into this ongoing effort to create comprehensive documentation for the Linux kernel's architecture and participate in the discussion about this innovative approach to kernel documentation.
