Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems

Abstract : Critical embedded systems are often designed as a set of real-time tasks, running on shared computing modules, and communicating through networks. Because of their critical nature, such systems have to meet timing properties. To help the designers to prove the correctness of their system, the real-time systems community has developed numerous approaches for analyzing the worst case times either on the processors (e.g. worst case execution time of a task) or on the networks (e.g. worst case traversal time of a message). However, there is a growing need to consider the complete system and to be able to determine end-to-end properties. Such properties apply to a functional chain which describes the behavior of a sequence of functions, not necessarily hosted on a shared module, from an input until the production of an output. This paper explores two end-to-end properties: freshness and reactivity, and presents an analysis method based on Mixed Integer Linear Programming (MILP). This work is supported by the French National Research Agency within the Satrimmap project.
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Friday, November 13, 2015 - 4:01:08 PM
Last modification on : Monday, July 4, 2022 - 9:15:36 AM
Long-term archiving on: : Sunday, February 14, 2016 - 1:56:13 PM


Files produced by the author(s)


  • HAL Id : hal-01228710, version 1
  • OATAO : 12638


Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont. Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. 5th International Symposium on NASA Formal Methods (NFM 2013), May 2013, Moffett Field, CA, United States. pp. 93-107. ⟨hal-01228710⟩



Record views


Files downloads