SysConfig, Code coverage check

Other Parts Discussed in Thread: SYSCONFIG, HALCOGEN

Hello.

I use tool 'SysConfig' for PinMux, to TMS320F2838x.

And I develop it for safety functional.

I wonder that is there a way to coverage check or other validation(IEC61508..) if the code is verified?

(Ex. HalCoGen validates the code through LDRA.)

Thanks.