Assas Recherche | Applications variables sur plateformes configurables : Analyse anticipée de faisabilité et d'optimalité

Applications variables sur plateformes configurables : Analyse anticipée de faisabilité et d'optimalité (Document en Anglais)

Accès au(x) document(s)

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

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 : Lazreg Sami

Lazreg, Sami

Nom

Lazreg

Prénom

Sami

Nationalité

Français

Date de soutenance : 04-12-2020

Directeur(s) de thèse : Collet Philippe

Collet, Philippe

Nom

Collet

Prénom

Philippe

Etablissement de soutenance : Université Côte d'Azur

Université Côte d'Azur

Nom

Université Côte d'Azur

Laboratoire : Laboratoire Informatique, signaux et systèmes (Sophia Antipolis, Alpes-Maritimes)

Laboratoire Informatique, signaux et systèmes (Sophia Antipolis, Alpes-Maritimes)

Nom

Laboratoire Informatique, signaux et systèmes (Sophia Antipolis, Alpes-Maritimes)

- Scalable and Pervasive softwARe and Knowledge Systems

Scalable and Pervasive softwARe and Knowledge Systems

Nom

Scalable and Pervasive softwARe and Knowledge Systems

Ecole doctorale : École doctorale Sciences et technologies de l'information et de la communication (Nice ; 1992-....)

École doctorale Sciences et technologies de l'information et de la communication (Nice ; 1992-....)

Nom

École doctorale Sciences et technologies de l'information et de la communication (Nice ; 1992-....)

Informations générales

Discipline : Informatique
Classification : Informatique

Mots-clés libres : Conception de système embarqué, Analyse de faisabilité, Optimisation, Modèle de calculabilité, Ligne de produits comportementale, Propriétés quantitatives, Vérification de modèle variable
Mots-clés :

Systèmes embarqués (informatique)
Conception de systèmes informatiques
Études de faisabilité

Résumé : Les systèmes embarqués sont implémentés à partir d'applications hautement variables ciblant des plateformes matérielles configurables. Outre cela, une application peut être implémentée de plusieurs façons sur une plateforme. Cette triple variabilité engendre un nombre astronomique de conceptions système alternatives. Le problème crucial est alors d'établir au plus tôt et précisément quelles sont les conceptions système qui satisfont et optimisent les exigences fonctionnelles et non-fonctionnelles. Généralement, les approches de conception de systèmes capturent les exigences et spécifications pour automatiquement dériver et évaluer toutes les alternatives. Cependant, ces approches ne gèrent pas cette variabilité et sont donc itératives. Par conséquent, chaque conception de systèmes issus des implémentations possibles des variantes d’application et des configurations de plateforme doivent être modélisées et évaluées séparément. Cet inconvénient majeur peut rendre ces approches inapplicables à grande échelle. D'un autre côté, les approches de modélisation de la variabilité exploitent les points communs entre les différents produits pour évaluer efficacement toute la ligne de produits. Pourtant, elles ne vérifient que certaines parties du problème et ne fournissent aucun moyen de dériver l'espace de conception automatiquement. Nous proposons une approche qui combine et étend ces deux méthodes. Après avoir capturé les exigences et spécifications sous la forme d'un flot de donnés variables, d'une plateforme matérielle configurable, d'une fonction de cout et de contraintes non- fonctionnelles, nous dérivons un espace de conception encodé par une ligne de produit comportementale. Finalement, un algorithme de vérification permet de vérifier toutes les facettes du problème pour identifier efficacement les conceptions de système les plus adaptées. Les avantages de notre approche sont évalués à travers un cas d'étude industriel automobile.

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 : 2020COAZ4070
Type de ressource : Thèse

Fiche descriptive