Hello,
we are developing a safety device which employs TDA4VM.
Instead of using a certified compiler we understood we can use the compiler provided inside the SDK (which is not certified), write the code following MISRA-C rules and then qualify the compiled binaries with your safety compiler qualification kit (www.ti.com/.../SAFETI_CQKIT).
Nevertheless, we were wondering whether you have recommendation with respect to compilation flags when compiling for safety application with the compilers provided in the SDKs, e.g.:
- compilation flags that must not be used (e.g. for “unsafe” optimization, nonstandard behavior);
- compilation flags that must be used ( e.g. with stricter, additional checks).
Thanks and regards.