A Refinement Based Method for Developing Distributed Protocols - Université Toulouse 1 Capitole Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

A Refinement Based Method for Developing Distributed Protocols

Résumé

This paper presents a methodology for modelling and verification of high-assurance distributed protocols. In the paper we describe two main technical contributions needed for the development method: communication modelling patterns and a refinement strategy. The applicability of the proposed method is demonstrated by developing a new distributed resource allocation protocol. We also discuss the necessity of integrating other tools such as stochastic model checkers for enabling verification of wider range of protocol properties.
Fichier principal
Vignette du fichier
stankaitis_24886.pdf (256.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02453122 , version 1 (23-01-2020)

Identifiants

  • HAL Id : hal-02453122 , version 1
  • OATAO : 24886

Citer

Paulius Stankaitis, Alexei Iliasov, Yamine Aït-Ameur, Tsutomou Kobayashi, Fuyuki Ishikawa, et al.. A Refinement Based Method for Developing Distributed Protocols. 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), Jan 2019, Hangzhou, China. pp.90-97. ⟨hal-02453122⟩
87 Consultations
61 Téléchargements

Partager

Gmail Facebook X LinkedIn More