OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

End-to-end latency and temporal consistency analysis in networked real-time systems

Lauer, Michaël and Boniol, Frédéric and Pagetti, Claire and Ermont, Jérôme End-to-end latency and temporal consistency analysis in networked real-time systems. (2014) International Journal of Critical Computer-Based Systems, vol. 5 (n° 3/4). pp. 172-196. ISSN 1757-8779

[img]
Preview
(Document in English)

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

Official URL: http://dx.doi.org/10.1504/IJCCBS.2014.064667

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 strict timing properties. To help the designers to prove the correctness of their system, the real-time systems community has developed numerous approaches for analysing the worst case scenarios either on the processors (e.g., worst case response time of a task) or on the networks (e.g., worst case traversal time of a message). These approaches provide results only for local components behaviours. However, there is a growing need for having a global view of the system, in order to determine end-to-end properties. Such a property applies to functional chains which describe the behaviour of sequences of tasks. We propose an approach to analyse worst case behaviour along functional chains in critical embedded systems. It is based on mixed integer linear programming (MILP) and is general in the sense that it can be applied to a variety of end-to-end properties. This paper focuses on two essential properties: end-to-end latency and temporal consistency. This work was supported by the French National Research Agency within the SATRIMMAP project.

Item Type:Article
Additional Information:Thanks to Inderscience Publishers editor. The definitive version is available at http://www.inderscience.com The original PDF of the article can be found at International Journal of Critical Computer-Based Systems website: http://www.inderscience.com/offer.php?id=64667
HAL Id:hal-01154189
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Université de Toulouse > Université Paul Sabatier-Toulouse III - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université de Toulouse I-Sciences Sociales - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:26 Feb 2015 09:35

Repository Staff Only: item control page