Brief Announcement: : Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset
Résumé
In this paper, we apply a methodology which consistently integrates model- ing, verification, and performance evaluation techniques, based on the BIP (Be- havior, Interaction, Priority) component framework developed at Verimag. We illustrate our methodology using the self-stabilizing distributed reset al- gorithm due to Arora and Gouda [1].
Domaines
Systèmes embarqués
Origine : Fichiers produits par l'(les) auteur(s)
Loading...