Hello
We are dealing with an issue related to the DO178C. We are using the arm TMS570LC4357 as simple hardware and we would like to enable the cache to improve timing performances.
Our question are:
1) Does application development based on DO178 allow to use cache enable in order to estimate wcet?
2) Does the use of cache generate a deterministic value of the WCET?
Thanks in advance
Carmine Ricca
