Hi @Marekp,
In the User Manual, the following statement is provided:
"The WCETs below were estimated for set of tests executed on the Master Safety Core, which was running at maximum allowed clock frequency with the instruction and data caches enabled. For the detailed information about the measured test execution times please refer to the profiling reports, which are part of the S32K3 SAF Quality Pack."
What is the configured system clock frequency and cache setup in your current project?
Have you observed similar discrepancies in WCET results when running sCheck on other test targets, aside from XRDC?
Regards,
Daniel