Rigorous System-level Modeling and Performance Evaluation for Embedded System Design

Résumé : Les systèmes embarqués ont évolué d'une manière spectaculaire et sont devenus partie intégrante de notre quotidien. En réponse aux exigences grandissantes en termes de nombre de fonctionnalités et donc de flexibilité, les parties logicielles de ces systèmes se sont vues attribuer une place importante malgré leur manque d'efficacité, en comparaison aux solutions matérielles. Par ailleurs, vu la prolifération des systèmes nomades et à ressources limités, tenir compte de la performance est devenu indispensable pour bien les concevoir. Dans cette thèse, nous proposons une démarche rigoureuse et intégrée pour la modélisation et l'évaluation de performance tôt dans le processus de conception. Cette méthode permet de construire des modèles, au niveau système, conformes aux spécifications fonctionnelles, et intégrant les contraintes non-fonctionnelles de l'environnement d'exécution. D'autre part, elle permet d'analyser quantitativement la performance de façon rapide et précise. Cette méthode est guidée par les modèles et se base sur le formalisme $mathcal{S}$BIP que nous proposons pour la modélisation stochastique selon une approche formelle et par composants. Pour construire des modèles conformes au niveau système, nous partons de modèles purement fonctionnels utilisés pour générer automatiquement une implémentation distribuée, étant donnée une architecture matérielle cible et un schéma de répartition. Dans le but d'obtenir une description fidèle de la performance, nous avons conçu une technique d'inférence statistique qui produit une caractérisation probabiliste. Cette dernière est utilisée pour calibrer le modèle fonctionnel de départ. Afin d'évaluer la performance de ce modèle, nous nous basons sur du model checking statistique que nous améliorons à l'aide d'une technique d'abstraction. Nous avons développé un flot de conception qui automatise la majorité des phases décrites ci-dessus. Ce flot a été appliqué à différentes études de cas, notamment à une application de reconnaissance d'image déployée sur la plateforme multi-cœurs STHORM.
Type de document :
Thèse
Other [cs.OH]. Université Grenoble Alpes, 2015. English. 〈NNT : 2015GREAM008〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-01148690
Contributeur : Abes Star <>
Soumis le : mardi 5 mai 2015 - 10:02:06
Dernière modification le : mercredi 5 juillet 2017 - 01:11:13
Document(s) archivé(s) le : lundi 14 septembre 2015 - 18:51:41

Fichier

NOURI_2015_archivage.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01148690, version 1

Collections

STAR | IMAG | UGA

Citation

Ayoub Nouri. Rigorous System-level Modeling and Performance Evaluation for Embedded System Design. Other [cs.OH]. Université Grenoble Alpes, 2015. English. 〈NNT : 2015GREAM008〉. 〈tel-01148690〉

Partager

Métriques

Consultations de
la notice

674

Téléchargements du document

361