Title :

Genetic Algorithm for DWCET Evaluation on Complex Platform

Author(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]

Conference title :

9th IEEE International Symposium on Industrial Embedded Systems

City :

Pisa

Country :

Italie

Start date of the conference :

2014-06-18

Publication date :

2014-06

English keyword(s) :

WCET Estimation
Genetic Algorithm

HAL domain(s) :

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

English abstract : [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 ...
Show more >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.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

ANR Project :

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