Genetic Algorithm for DWCET Evaluation on Complex Platform - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Genetic Algorithm for DWCET Evaluation on Complex Platform

Résumé

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 and replays hardware and software contexts, hence constructing a library of valid contexts which are used during execution of GA to find interesting solution candidates.
Fichier non déposé

Dates et versions

hal-01131239 , version 1 (13-03-2015)

Identifiants

  • HAL Id : hal-01131239 , version 1

Citer

Julien Iguchi-Cartigny, Pierrick Buret, Gilles Grimaud. Genetic Algorithm for DWCET Evaluation on Complex Platform. 9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, Pisa, Italy. ⟨hal-01131239⟩
155 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More