Skip to Main content Skip to Navigation
Theses

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.
Document type :
Theses
Complete list of metadatas

Cited literature [213 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01148690
Contributor : Abes Star :  Contact
Submitted on : Tuesday, May 5, 2015 - 10:02:06 AM
Last modification on : Friday, July 17, 2020 - 11:48:06 AM
Document(s) archivé(s) le : Monday, September 14, 2015 - 6:51:41 PM

File

NOURI_2015_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01148690, version 1

Collections

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⟩

Share

Metrics

Record views

979

Files downloads

999