#51 Traceable Documentation with Doxygen & Spexygen

This lesson explains how to create traceable formal specifications, such as requirements, architecture, design, and many others, mandated by functional safety standards. The lesson starts with explaining the critical requirement for traceability, as mandated in the IEC 61508 standard. You learn how to use the Doxygen source code documentation system. Finally, you see the Doxygen extension, called Spexygen, which allows you to automate the creation of bidirectionally traceable documentation.

End Notes:
———-
Companion web page to this video course

Modern Embedded Systems Programming Video Course

Project download for this lesson:
https://www.state-machine.com/course/lesson-51.zip

GitHub repository for projects for this video course:
https://github.com/QuantumLeaps/modern-embedded-programming-course

Transcript of this lesson:
https://www.state-machine.com/course/lesson-51.txt

Referenced software:
——————–
Doxygen – Code Documentation. Automated.
https://doxygen.nl

Spexygen – Traceable specifications based on Doxygen
https://github.com/QuantumLeaps/spexygen

Music credits:
————–
The background music comes from:
https://www.bensound.com/royalty-free-music/track/straight