• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

End-to-end latency computation in a ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Communication dans un congrès avec actes
Title :
End-to-end latency computation in a multi-periodic design
Author(s) :
Wyss, Rémy [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Boniol, Frédéric [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Pagetti, Claire [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Forget, Julien [Auteur] refId
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
LIFL - DART/Émeraude
Contributions of the Data parallelism to real time [DART]
Conference title :
28th Symposium On Applied Computing (SAC'13)
City :
Coimbra
Country :
Portugal
Start date of the conference :
2013-04-18
Book title :
Proceedings of the 28th Symposium On Applied Computing (SAC'13)
Publication date :
2013-03
HAL domain(s) :
Informatique [cs]/Systèmes embarqués
English abstract : [en]
The specification of a critical real-time application often includes quantitative temporal properties, imposed by the designer, that need to be respected by the implementation. In this paper we focus on end-to-end latency ...
Show more >
The specification of a critical real-time application often includes quantitative temporal properties, imposed by the designer, that need to be respected by the implementation. In this paper we focus on end-to-end latency constraints, i.e. the amount of time required before an input is taken into account by the corresponding output. Such applications usually consist of a set of periodic communicating tasks. In this paper, we describe an application using the language Prelude, dedicated to the specification of multi-periodic systems, and show that end-to-end latencies can be computed automatically based on the formal semantics of the language.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Université de Lille

Mentions légales
Université de Lille © 2017