Summary
Keywords
Full Transcript
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 https://www.state-machine.com/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
