Assas Recherche | Conception d’architecture de système-de-systèmes à logiciel prépondérant dirigée par les missions

Conception d’architecture de système-de-systèmes à logiciel prépondérant dirigée par les missions (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 : Ferreira silva Eduardo

Ferreira silva, Eduardo

Nom

Ferreira silva

Prénom

Eduardo

Nationalité

Français

Date de soutenance : 17-12-2018

Directeur(s) de thèse : Oquendo Flavio

Oquendo, Flavio

Nom

Oquendo

Prénom

Flavio

- Vasconcelos Batista Thaïs

Vasconcelos Batista, Thaïs

Nom

Vasconcelos Batista

Prénom

Thaïs

Etablissement de soutenance : Lorient

Lorient

Nom

Lorient

- Universidade federal do Rio Grande do Norte (Natal, Brésil)

Universidade federal do Rio Grande do Norte (Natal, Brésil)

Nom

Universidade federal do Rio Grande do Norte (Natal, Brésil)

Laboratoire : Institut de Recherche en Informatique et Systèmes Aléatoires / IRISA

Institut de Recherche en Informatique et Systèmes Aléatoires / IRISA

Nom

Institut de Recherche en Informatique et Systèmes Aléatoires / IRISA

Ecole doctorale : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)

École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)

Nom

École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)

Informations générales

Discipline : Informatique
Classification : Informatique

Mots-clés libres : Conception architecturale semi-automatisée, Modélisation de missions, Systèmes-de-systèmes à logiciel prépondérant
Mots-clés :

Architecture logicielle
Ingénierie dirigée par les modèles
Conception de systèmes informatiques

Résumé : La formulation des missions est le point de départ du développement de systèmes-de- systèmes, étant utilisée comme base pour la spécification, la vérification et la validation d’architectures de systèmes-de-systèmes. Élaborer des modèles d’architecture pour systèmes-de-systèmes est une activité complexe, cette complexité reposant spécialement sur les comportements émergents, c'est-à-dire, des comportements issus des interactions entre les parties constituantes d’un système-de-systèmes qui ne peuvent pas être prédits même si on connaît tous les comportements de tous les systèmes constituants. Cette thèse adresse le lien synergique entre mission et architecture dans le cadre des systèmes-de-systèmes à logiciel prépondérant, en accordant une attention particulière aux comportements émergents créés pour réaliser les missions formulées. Nous proposons ainsi une approche pour la conception d’architecture de systèmes-de-systèmes dirigée par le modèle de mission. Dans notre approche, le modèle de mission sert à dériver et à valider les architectures de systèmes-de-systèmes. Dans un premier temps, nous générons la structure de l’architecture à l’aide de transformations de modèles. Ensuite, lors que l’architecte spécifie les aspects comportementaux, la description de l’architecture résultante est validée à l’aide d’une démarche conjointe qui comprend à la fois la vérification des propriétés spécifiées et la validation par simulation des comportements émergents. La formalisation en termes de logique temporelle et la vérification statistique de modèles sont les fondements formels de l’approche. Un outil mettant en œuvre l’ensemble de l’approche a été également développé et expérimenté.

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 : 2018LORIS509
Type de ressource : Thèse

Fiche descriptive