STAE TOULOUSE

L'actualité de la formation

Conférence TORRENTS

Le 23 janvier 2014, Conférence.

Le chantier d'animation TORRENTS, soutenu par la FCS STAE, organise une conférence le

lundi 27 janvier 2014 - 10H à 11H30
à l'IRIT (auditorium)
UPS - 118 route de Narbonne - Toulouse

Symbolic Methods for the Timing Analysis of Programs
by Jakob Zwirchmayr(IRIT)

An important property of embedded safety-critical real-time systems is the Worst-Case Execution Time (WCET) of the system: the maximal running time of the program on the specified hardware. Often, due to the employed abstractions, the WCET is actually computed for a spurious trace in the program, giving no hint whether the bound is precise or whether it is an over-estimation of a spurious system execution. In this talk we present a method for proving WCET bounds precise. It guarantees that the WCET bound is actually computed for a feasible trace in the system. Moreover, our method is able to improve the WCET analysis quality by reducing the required manual annotations and the imprecision of WCET estimates, automatically tightening the WCET bound until precise when necessary by means of symbolic execution. In order to overcome the computationally expensive costs of symbolic execution, our challenge is to identify and apply it only on relevant program parts. This way, the precision of symbolic execution is exploited while avoiding the computational costs.

Contact
En savoir plus

Retour