End-to-end latency computation in a multi-periodic design - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

End-to-end latency computation in a multi-periodic design

Résumé

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.
Fichier non déposé

Dates et versions

hal-00863174 , version 1 (18-09-2013)

Identifiants

  • HAL Id : hal-00863174 , version 1

Citer

Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget. End-to-end latency computation in a multi-periodic design. 28th Symposium On Applied Computing (SAC'13), Apr 2013, Coimbra, Portugal. pp.1682--1687. ⟨hal-00863174⟩
242 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More