Stepwise Development of Distributed Algorithms (Research Abstract)

Manamiary Bruno Andriamiarina 1, 2
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Abstract. We study distributed algorithms using the "correct-by-construction process", which involves the Event B method and the refinement process. These algorithms integrate non-functional requirements like probabilistic aspects. Therefore, it appears that the correct-by-construction process should integrate probabilistic arguments to be considered as a development and verification framework for distributed algorithms. We present here preliminary elements of a global approach on how to take into account probabilistic arguments during the development of distributed algorithms, and we illustrate this approach with the study of distributed coloring algorithms.
Type de document :
Pré-publication, Document de travail
2011
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00606204
Contributeur : Manamiary Bruno Andriamiarina <>
Soumis le : mardi 5 juillet 2011 - 16:30:27
Dernière modification le : jeudi 11 janvier 2018 - 06:23:25
Document(s) archivé(s) le : lundi 12 novembre 2012 - 10:11:03

Fichier

_ANDRIAMIARINA_Abstract_FME_Sy...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00606204, version 1

Collections

Citation

Manamiary Bruno Andriamiarina. Stepwise Development of Distributed Algorithms (Research Abstract). 2011. 〈inria-00606204〉

Partager

Métriques

Consultations de la notice

253

Téléchargements de fichiers

293