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.