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

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

Contributor : Julien Forget <>
Submitted on : Wednesday, September 18, 2013 - 1:30:52 PM
Last modification on : Friday, April 12, 2019 - 4:23:12 PM


  • HAL Id : hal-00863174, version 1


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⟩



Record views