Titre :

Genetic Algorithm for DWCET Evaluation on Complex Platform

Auteur(s) :

Cartigny, Julien [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Extra Small Extra Safe [2XS]
Buret, Pierrick [Auteur correspondant]
DMI [XLIM-DMI]
Grimaud, Gilles [Auteur]
Extra Small Extra Safe [2XS]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]

Titre de la manifestation scientifique :

9th IEEE International Symposium on Industrial Embedded Systems

Ville :

Pisa

Pays :

Italie

Date de début de la manifestation scientifique :

2014-06-18

Date de publication :

2014-06

Mot(s)-clé(s) en anglais :

WCET Estimation
Genetic Algorithm

Discipline(s) HAL :

Informatique [cs]/Systèmes embarqués
Computer Science [cs]/Operations Research [math.OC]
Informatique [cs]/Performance et fiabilité [cs.PF]

Résumé en anglais : [en]

Industrial approach to evaluate the WCET of a software test object is to benchmark it several times bare metal until enough confidence. But complexity of modern hardware and use of real-time operating system to execute ...
Lire la suite >Industrial approach to evaluate the WCET of a software test object is to benchmark it several times bare metal until enough confidence. But complexity of modern hardware and use of real-time operating system to execute multiple tasks on the top of the hardware increase the difficulty to obtain strong WCET guarantee. We propose GACC (Genetic Algorithm with Complex Contexts), a framework to evaluate the WCET of a test object using genetic algorithm but extended with the context information outside of the test software object, that is including kernel, other tasks and hardware states. As presented, this approach requires the need of coherent contexts without modeling them. Based on the need for fast evaluation, GACC records andreplays hardware and software contexts, hence constructing a library of valid contexts which are used during execution of GA to find interesting solution candidates.Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Projet ANR :

Sécurité des Systèmes Embarqués de l'Aérospatiale

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL