TimingProfiler can help predict timing behavior during code development. It allows you to identify the application parts that can lead to unsatisfactory execution times. It can help deliver results quickly as there is compiled the code. Thus making it easy to use during early development process when measurements on the physical hardware are impossible or very expensive. Using TimingProfiler helps you get quick feedback about the timing behavior during early development stages. It uses the executable code as input and helps find the timing potential execution paths of each task on a generic processor. The benefits of using TimingProfiler includes getting detailed information related to execution time and time-critical paths. This analysis is purely static and does not require physical hardware or code instrumentation. It can be seamlessly coupled with StackAnalyzer to get information related to stack behavior.
StackAnalyzer can detect the worst-case stack usage of the tasks in the application. It also allows you to find any stack overflows or conclude the absence of any.
aiT WCET Analyzers
aiT WCET Analyzers can statically compute tight bounds for the worst-case execution time or WCET of tasks in the real-time system. aiT WCET Analyzers can provide a solution to all problems related to WCET. They analyze the task’s intrinsic cache as well as pipeline behavior based on the formal cache and pipeline models. aiT was designed in collaboration with Airbus France. It is over a decade it is being used by the Toulouse plant for validating timing behavior of critical avionics software. This includes flight control software of A380.
Need a software for proving the absence of runtime errors? Astrée is the best static program analyzer that helps in proving the absence of runtime errors and invalid concurrent behavior in safety-critical applications that are written or generated in C. Astrée analysis targets applications embedded in aeronautics, medical instrumentation, earth transplantation, nuclear energy, as well as space flight. It can also be used to analyze any structured C programs that are either handwritten or generated using complex memory, dynamic memory allocation as well as recursion.