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
Contributeur : Uli Fahrenberg <>
Soumis le : mercredi 26 novembre 2014 - 14:48:03
Dernière modification le : vendredi 16 novembre 2018 - 01:39:23
Document(s) archivé(s) le : vendredi 27 février 2015 - 12:20:56


Fichiers produits par l'(les) auteur(s)




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〉



Consultations de la notice


Téléchargements de fichiers