Modelling Fault Dependencies when Execution Time Budgets are Exceeded

David Griffin 1 Benjamin Lesage 1 Iain Bate 1 Frank Soboczenski 1 Robert I. Davis 1, 2
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Given that real-time systems are specified to a degree of confidence, budget overruns should be expected to occur in a system at some point. When a budget overrun occurs, it is necessary to understand how long such a state persists, in order to determine if the fault tolerance of the system is adequate to handle the problem. However, given the rarity of budget overruns in testing, it cannot be assumed that sufficient data will be available to build an accurate model. Hence this paper presents a new application of Markov Chain based modelling techniques combined with forecasting techniques to determine an appropriate fault model, using Lossy Compression to fit the model to the available data. In addition, a new algorithm, DepET, for generating job execution times with dependencies is given for use in task simulators.
Type de document :
Communication dans un congrès
23rd International Conference on Real-Time Networks and Systems (RTNS 2015), Nov 2015, Lille, France. pp.129-138, <10.1145/2834848.2834870>
Liste complète des métadonnées

https://hal.inria.fr/hal-01230443
Contributeur : Robert Davis <>
Soumis le : jeudi 19 novembre 2015 - 10:19:26
Dernière modification le : jeudi 3 mars 2016 - 01:06:47

Identifiants

Collections

Citation

David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski, Robert I. Davis. Modelling Fault Dependencies when Execution Time Budgets are Exceeded. 23rd International Conference on Real-Time Networks and Systems (RTNS 2015), Nov 2015, Lille, France. pp.129-138, <10.1145/2834848.2834870>. <hal-01230443>

Partager

Métriques

Consultations de la notice

71