OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

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

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1007/978-3-642-38088-4_7


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 7871 Lecture Notes in Computer Science ISSN : 0302-9743. ISBN: 978-3-642-38087-7. The original PDF is available at : http://link.springer.com/chapter/10.1007%2F978-3-642-38088-4_7
HAL Id:hal-01228710
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > Ecole Polytechnique de Montréal (CANADA)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:19 Oct 2015 10:46

Repository Staff Only: item control page