MISRA Compliance of Open Source Software for Functional Safety Qualification - Challenges

This conference talk explores the challenges of bringing existing codebases into MISRA compliance for functional safety certifications. Learn about the complex tradeoffs involved in this time-consuming but necessary process, which requires deep expertise in both the codebase and MISRA guidelines. Discover strategies for making difficult decisions between deviating from guidelines versus changing code, and understand how these choices can have far-reaching consequences. The presentation shares practical experience and lessons learned from implementing MISRA compliance for the Xen hypervisor, covering effective deviation strategies and approaches to handling the MISRA C essential type model—which typically generates numerous violations in existing codebases. Also addressed is the challenge of integrating MISRA requirements with open-source development processes and communities, providing valuable insights for teams facing similar functional safety qualification challenges.