- Ask a related questionWhat is a related question?A related question is a question created from another question. When the related question is created, it will be automatically linked to the original question.
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
Hi Carmine,
aiT from AbsInt can compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. It directly analyzes binary executables and takes the intrinsic cache and pipeline behavior into account.
The TMS570LC4357 appears as a aiT supported device derivative on.
https://www.absint.com/ait/analysis.htm
https://www.absint.com/ait/arm.htm
