Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique
Résumé
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
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Loading...