Exploring Possibilities for Integrating StrictDoc with ELISA's Requirements Template Approach for the Linux Kernel

Explore the potential integration of StrictDoc with ELISA's requirements template approach for enhancing Linux kernel safety compliance in this 14-minute conference talk. Learn how the ELISA project aims to bring the Linux kernel closer to safety standards through enhanced documentation models with requirement templates embedded in source code. Discover how StrictDoc, a FLOSS tool successfully used by projects like Zephyr OS and Linutronix's IEC 62443 4-2 certified IGLOS Secure Beacon system, provides mature tooling for requirements validation and rendering. Compare ELISA's model-focused approach with StrictDoc's comprehensive solution that combines similar modeling capabilities with established tooling infrastructure. Examine how ELISA's SPDX-REQ-* tags can be represented using StrictDoc's source code comment parsing features and understand the remaining technical gaps, particularly in drift detection through hash sum storage for tracking alignment between requirements and code changes. Analyze StrictDoc's advanced features including language construct definitions, cross-project requirement linking capabilities, and extensive input/output format converters. Consider the proposed roadmap for closing integration gaps through hash generation implementation, optimized ELISA template parsing, and conformity testing to maintain compatibility between the two approaches.