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

https://hal.archives-ouvertes.fr/hal-00863174
Contributor : Julien Forget <>
Submitted on : Wednesday, September 18, 2013 - 1:30:52 PM
Last modification on : Friday, April 12, 2019 - 4:23:12 PM

Identifiers

  • HAL Id : hal-00863174, version 1

Citation

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⟩

Share

Metrics

Record views

329