Skip to Main content Skip to Navigation
Theses

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 , Laboratoire I3S - 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.
Complete list of metadatas

Cited literature [155 references]  Display  Hide  Download

https://hal.inria.fr/tel-01419298
Contributor : Oleksandra Kulankhina <>
Submitted on : Monday, December 19, 2016 - 4:31:38 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:57 PM
Document(s) archivé(s) le : Tuesday, March 21, 2017 - 5:16:29 AM

Identifiers

  • 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-01419298v1⟩

Share

Metrics

Record views

186

Files downloads

265