Synthesizing Distributed Scheduling Implementation for Probabilistic Component-based Systems

Abstract : Developing concurrent systems typically involves a lengthy debugging period, due to the huge number of possible intricate behaviors. Using a high level description formalism at the intermediate level between the specification and the code can vastly help reduce the cost of this process, and the existence of remaining bugs in the deployed code. Verification is much more affordable at this level. An automatic translation of component based systems into running code, which preserves the temporal properties of the design, helps synthesizing reliable code. We provide here a transformation from a high level description formalism of component based system with probabilistic choices into running code. This transformation involves synchronization using shared variables. This synchronization is component-based rather than interaction-based, because of the need to guarantee a stable view for a component that performs probabilistic choice. We provide the synchronization algorithm and report on the implementation.
Type de document :
Communication dans un congrès
MEMOCODE, Oct 2013, Portland, United States. 2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01087664
Contributeur : Uli Fahrenberg <>
Soumis le : mercredi 26 novembre 2014 - 14:41:58
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : vendredi 27 février 2015 - 12:20:37

Fichier

memocode13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01087664, version 1

Citation

Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron Peled. Synthesizing Distributed Scheduling Implementation for Probabilistic Component-based Systems. MEMOCODE, Oct 2013, Portland, United States. 2013. 〈hal-01087664〉

Partager

Métriques

Consultations de la notice

667

Téléchargements de fichiers

98