A framework for rigorous development of distributed components: formalisation and tools

Oleksandra Kulankhina 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
Résumé : Dans cette thèse, nous proposons une approche rigoureuse pour la conception et le développement de systèmes à base de composants hiérarchiques distribués. L'idée de base du travail présenté est de combiner les techniques de conception de logiciels dirigées par les modèles, bien connues des programmeurs, avec des méthodes de vérification formelles puissantes, capables d'assurer les propriétés fonctionnelles d'un système distribué et de détecter les erreurs dès le stade de la conception. Tout d'abord, nous introduisons un formalisme graphique basé sur UML pour l'architecture et le comportement des composants hiérarchiques de modélisation. Deuxièmement, nous spécifions formellement un ensemble de contraintes qui assurent la correction de la composition des composants, en mettant l'accent sur la séparation entre les aspects fonctionnels et non-fonctionnels. Troisièmement, nous expliquons comment nos modèles graphiques peuvent être traduits automatiquement dans le formalisme d'entrée d'un model-checker. Nous nous concentrons ensuite sur le codage des fonctionnalités avancées de composants distribués, comme communications de 1 vers N, la reconfiguration et les communications asynchrones basées sur les appel de procédures distants. Enfin, nous mettons en œuvre cette approche dans une plateforme intégrée orienté modèle qui comprend un ensemble d'éditeurs graphiques, un module de validation de la décision correcte de l'architecture statique, un module traduisant le modèle conceptuel dans une entrée pour la plateforme de vérification CADP, et enfin un générateur de code exécutable.
Type de document :
Thèse
Distributed, Parallel, and Cluster Computing [cs.DC]. Universite Nice Sophia Antipolis, 2016. English
Liste complète des métadonnées

https://hal.inria.fr/tel-01419298
Contributeur : Oleksandra Kulankhina <>
Soumis le : lundi 19 décembre 2016 - 16:31:38
Dernière modification le : jeudi 22 décembre 2016 - 10:35:38

Identifiants

  • HAL Id : tel-01419298, version 1

Collections

Citation

Oleksandra Kulankhina. A framework for rigorous development of distributed components: formalisation and tools. Distributed, Parallel, and Cluster Computing [cs.DC]. Universite Nice Sophia Antipolis, 2016. English. <tel-01419298>

Partager

Métriques

Consultations de
la notice

96

Téléchargements du document

32