Building Faithful High-level Models and Performance Evaluation of Manycore Embedded Systems

Abstract : Performance and functional correctness are key for successful design of modern embedded systems. Both aspects must be considered early in the design process to enable founded decision making towards final implementation. Nonetheless, building abstract system-level models that faithfully capture performance information along to functional behavior is a challenging task. In contrast to functional aspects, performance details are rarely available during early design phases and no clear method is known to characterize them. Moreover, once such system-level models are built they are inherently complex as they usually mix software models, hardware architecture constraints and environment abstractions. Their analysis by using traditional performance evaluation methods is reaching the limits and the need for more scalable and accurate techniques is becoming urgent. In this paper, we introduce a systematic method for building stochastic abstract performance models using statistical inference and model calibration and we propose statistical model checking as performance evaluation technique upon the obtained models. We experimented our method on a real-life case study. We were able to verify different timing properties.
Type de document :
Communication dans un congrès
MEMOCODE, Oct 2014, Lausanne, Switzerland. 2014, 〈10.1109/MEMCOD.2014.6961864〉
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01087671
Contributeur : Uli Fahrenberg <>
Soumis le : mercredi 26 novembre 2014 - 14:48:03
Dernière modification le : lundi 24 septembre 2018 - 10:56:04
Document(s) archivé(s) le : vendredi 27 février 2015 - 12:20:56

Fichier

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

Identifiants

Collections

Citation

Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem. Building Faithful High-level Models and Performance Evaluation of Manycore Embedded Systems. MEMOCODE, Oct 2014, Lausanne, Switzerland. 2014, 〈10.1109/MEMCOD.2014.6961864〉. 〈hal-01087671〉

Partager

Métriques

Consultations de la notice

873

Téléchargements de fichiers

223