BASIL - Traceability as Code for Safety-Critical Software Development

Explore a conference talk that introduces BASIL's innovative "Traceability as Code" approach for managing traceability in safety-critical software development, particularly within the Linux kernel ecosystem. Learn how traditional traceability becomes challenging in large, rapidly evolving codebases like the Linux kernel, where related work products such as specifications, test suites, and documentation are maintained across separate repositories including the Linux Test Project and Man-Pages project. Discover how community-driven test infrastructures like CKI and KernelCI continuously validate the kernel in CI/CD pipelines, creating test-result data that must be integrated into traceability processes. Understand BASIL's solution that enables automated generation of traceability matrices through a single configuration file that defines source repositories for work item extraction, extraction rules for each work item type, and relationships between various work-item types. Gain insights into how this approach streamlines the creation and maintenance of traceability matrices in large-scale open-source projects, making compliance with international safety standards more accessible and sustainable for complex software ecosystems.