We are developing software targeting a IEC 61508 SIL2 certification based on the TMS570LS3137. We are planning to leverage the diagnostics offered by the SafeTI Diagnostics Library (SDL).
I requested and installed the Compliance Support Package (CSP) for the SDL. I understand than the SDL is not certified software, but that the CSP provides documentation and unit tests to support certification of the application including the SDL.
Since we are not using the same compiler version as the one used to run the unit tests provided by the CSP. So we would need to acquire a license for LDRA , re-run the unit tests with our compiler version and generate new reports.
But I noticed that the SDL CSP also included pre-compiled binaries for the SDL (see "C:\ti\Hercules\SafeTI Diagnostic Library\2.4.0_LDRA_Less\libs\SafeTILib_TMS570LS31_BE.lib").
Now my question is: if we link the pre-compiled SDL binary into our application, rather than recompiling the SDL source code, can we directly include the unit test reports from the SDL CSP in the safety case for our application?
Thank you for your insights.