With IEC Certification Kit, you can generate a traceability matrix spreadsheet showing requirements-to-model-to-code bidirectional traceability paths and file information.
.... You can also use IEC Certification Kit to generate a list of reported bugs that you can store and archive for key Simulink and Polyspace tools used for Model-Based Design.