Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique

Rémy Wyss (1) , Frédéric Boniol (1, 2) , Julien Forget (3, 4, 5) , Claire Pagetti (1, 2)

1 ONERA - The French Aerospace Lab [Toulouse]
2 ENSEEIHT - Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications
3 DART - Contributions of the Data parallelism to real time
4 LIFL - DART/Émeraude
5 LIFL - Laboratoire d'Informatique Fondamentale de Lille

Nous avons proposé dans précédemment un cadre formel pour l'analyse de propriétés de latence dans un programme synchrone multi- périodique. Ce cadre ne permettait que le calcul d'une sur-approximation de la latence. Le présent article reprend ce cadre pour proposer un calcul exact, et l'étend à deux autres propriétés : la fraîcheur et la réactivité.

Domaines: Systèmes embarqués

Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique. Approches Formelles dans l'Assistance au Développement de Logiciels, Apr 2013, Nancy, France. ⟨hal-00830675⟩