End-to-end latency computation in a ...
Type de document :
Communication dans un congrès avec actes
Titre :
End-to-end latency computation in a multi-periodic design
Auteur(s) :
Wyss, Rémy [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Boniol, Frédéric [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications [ENSEEIHT]
Pagetti, Claire [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications [ENSEEIHT]
Forget, Julien [Auteur]
Contributions of the Data parallelism to real time [DART]
LIFL - DART/Émeraude
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
ONERA - The French Aerospace Lab [Toulouse]
Boniol, Frédéric [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications [ENSEEIHT]
Pagetti, Claire [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications [ENSEEIHT]
Forget, Julien [Auteur]
Contributions of the Data parallelism to real time [DART]
LIFL - DART/Émeraude
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Titre de la manifestation scientifique :
28th Symposium On Applied Computing (SAC'13)
Ville :
Coimbra
Pays :
Portugal
Date de début de la manifestation scientifique :
2013-04-18
Titre de l’ouvrage :
Proceedings of the 28th Symposium On Applied Computing (SAC'13)
Date de publication :
2013-03
Discipline(s) HAL :
Informatique [cs]/Systèmes embarqués
Résumé en anglais : [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 ...
Lire la suite >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.Lire moins >
Lire la suite >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.Lire moins >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :