Assas Recherche | Modélisation conjointe logiciel/matériel de systèmes temps réel

Modélisation conjointe logiciel/matériel de systèmes temps réel (Document en Français)

Accès au(x) document(s)

Accéder au(x) document(s) :

https://pepite-depot.univ-lille.fr/LIBRE/EDSPI/2008/50376-2008-Taha.pdf

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Modalités de diffusion de la thèse :

Thèse consultable sur internet, en texte intégral.

Informations sur les contributeurs

Auteur : Taha (Taha), Safouan

Taha (Taha), Safouan

Nom

Taha

Nom de naissance

Taha

Prénom

Safouan

Nationalité

Français

Date de soutenance : 05-05-2008

Directeur(s) de thèse : Dekeyser Jean-Luc

Dekeyser, Jean-Luc

Nom

Dekeyser

Prénom

Jean-Luc

- Radermacher Ansgar

Radermacher, Ansgar

Nom

Radermacher

Prénom

Ansgar

- Gérard Sébastien

Gérard, Sébastien

Nom

Gérard

Prénom

Sébastien

Etablissement de soutenance : Lille 1

Lille 1

Nom

Lille 1

Ecole doctorale : École doctorale Sciences pour l'Ingénieur (Lille)

École doctorale Sciences pour l'ingénieur (Lille)

Nom

École doctorale Sciences pour l'ingénieur (Lille)

Informations générales

Discipline : Informatique
Classification : Informatique

Mots-clés libres : Co-modélisation logiciel/matériel
Mots-clés :

Systèmes embarqués (informatique)
Temps réel (informatique)
Ingénierie dirigée par les modèles
Langages de description de matériel informatique
Ordinateurs -- Conception et construction - Simulation par ordinateur
Robots mobiles - Construction - Simulation par ordinateur
UML (informatique)

Résumé : Ce travail de thèse porte précisément sur la prise en charge du matériel embarqué dans la modélisation de l'application temps-réel. Afin d'améliorer le développement du matériel et de faciliter la communication des décisions architecturales au flot logiciel, nous avons adopté l'ingénierie dirigée par les modèles dans la conception, simulation et implantation de la plateforme matérielle. En effet, nous avons défini un langage de modélisation HRM (Hardware Resource Model) pour la description de plateformes matérielles sous différentes vues et à différents niveaux de détail. Nous avons ensuite conçu une méthodologie de modélisation du matériel en HRM pour assister tout utilisateur dans la construction de modèles de plateformes. Nous avons également développé un outillage complet et automatisé pour la simulation des plateformes matérielles ainsi modélisées. Enfin, nous décrivons un processus d'unification entre HRM et le standard d'implantation du matériel IP-XACT. Pour mieux prendre en charge le modèle de la plateforme matérielle dans la conception du système temps-réel, nous avons spécifiés des règles et des contraintes d'allocation qui régissent les placements des entités logicielles sur les ressources matérielles. Puis nous avons proposé des mécanismes d'adéquation pour adapter des configurations à priori inadéquates. Pour finir et illustrer l'agencement de toutes ces contributions dans le cadre d'un même processus de développement, nous avons développé une chenille de robots unicycles qui roulent sans glisser sur un plan horizontal. Il s'agit d'un système qui est à la fois temps-réel, embarqué, multi-tâches, distribué, répétitif et paramétrable.

Informations techniques

Type de contenu : Text
Format : PDF

Informations complémentaires

Entrepôt d'origine :

STAR : dépôt national des thèses électroniques françaises

Identifiant : 2008LIL10016
Type de ressource : Thèse

Fiche descriptive