WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model

Abstract : This paper presents the initial step of an aid design method earmarked for operational validation of hard real-time systems. We consider systems that are composed of sequential hard real-time tasks, which are embedded on centralized multiprocessor architectures. We introduce a model based upon untimed finite automata and meant to collect the operational behaviors of the system compatible with its time specifications, and we go on to provide a feasibility decision result for systems composed of tasks presenting CPU loads which are exact values: execution times are not WCET values. This is why we call this approach WCET-free analysis. The results we have achieved likewise involve hardware specifications such as multiprocessors and speeds of processors.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2007, 388 (1-3), pp.26-52. 〈10.1016/j.tcs.2007.03.054〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00346012
Contributeur : Gaëlle Largeteau-Skapin <>
Soumis le : mercredi 10 décembre 2008 - 18:08:47
Dernière modification le : lundi 21 mars 2016 - 17:30:18
Document(s) archivé(s) le : mardi 8 juin 2010 - 16:01:44

Fichier

DG_GL_TCS_2004.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Dominique Geniet, Gaëlle Largeteau-Skapin. WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model. Theoretical Computer Science, Elsevier, 2007, 388 (1-3), pp.26-52. 〈10.1016/j.tcs.2007.03.054〉. 〈hal-00346012〉

Partager

Métriques

Consultations de la notice

151

Téléchargements de fichiers

61