Simulation of dynamically structured systems in a model-based system engineering approach applied to reconfigurable hardware

Min Zhu 1
1 LAAS-ISI - Équipe Ingénierie Système et Intégration
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Résumé : Avec l’évolution des techniques de reconfiguration partielle pour les systèmes embarqués, le besoin d’un modèle de description capable de représenter ces comportements émerge. La plupart des outils disponibles sur le marché, tant académiques qu’industriels, ne prennent pas en compte la modélisation des systèmes à structure dynamique. L’émergence de la modélisation à évènements discrets, notamment Discrete Event System Specification (DEVS), propose des outils formels pour représenter et simuler des modèles. DEVS propose déjà des extensions capable de prendre en compte la modélisation à structure dynamique. Néanmoins, les possibilités offertes par ces extensions rencontrent certaines limites. En particulier, elles ne proposent pas de moyen de gérer l’aspect contexte des composants. De plus, les formalismes existants n’ont pas intégré l’approche ingénierie système. L’ingénierie système met en place des procédures intéressantes, notamment l’architecture dirigée par les modèles, qui propose de séparer la description du système de sa plateforme d’exécution. Un modèle spécifique à une plateforme est ainsi la résultante d’un modèle de description de la plateforme combiné avec un modèle d’application indépendant de toute plateforme. Pour répondre à ces besoins, nous proposons un formalisme de description de modèles prenant en compte ces deux aspects : la modélisation à structure dynamique, et l’ingénierie système. Ce formalisme est basé sur DEVS, et nommé Partially Reconfigurable Discrete Event System Specification (PRDEVS). PRDEVS permet de représenter les modèles à structure dynamique indépendamment de la plateforme de simulation. L’approche présentée peut être appliquée à différents types de cibles, tels le logiciel et le matériel reconfigurable. Cette thèse présente des mises en oeuvre du formalisme abstrait sur ces deux types de plateformes, démontrant ainsi sa capacité à être déployé sur des plateformes réelles.
Type de document :
Thèse
Computer science. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2018. English
Liste complète des métadonnées

https://hal.laas.fr/tel-01938154
Contributeur : Christine Fourcade <>
Soumis le : mercredi 28 novembre 2018 - 14:48:55
Dernière modification le : vendredi 7 décembre 2018 - 01:22:46

Fichier

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

Identifiants

  • HAL Id : tel-01938154, version 1

Citation

Min Zhu. Simulation of dynamically structured systems in a model-based system engineering approach applied to reconfigurable hardware. Computer science. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2018. English. 〈tel-01938154〉

Partager

Métriques

Consultations de la notice

2

Téléchargements de fichiers

4