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é.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [7 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00830675
Contributor : Julien Forget <>
Submitted on : Wednesday, June 5, 2013 - 3:34:48 PM
Last modification on : Friday, April 12, 2019 - 4:23:11 PM
Document(s) archivé(s) le : Friday, September 6, 2013 - 4:12:43 AM

File

main-paper9-AFADL13.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00830675, version 1

Citation

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⟩

Share

Metrics

Record views

438

Files downloads

273