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
Systèmes embarqués
Origine : Fichiers produits par l'(les) auteur(s)
Loading...