Skip to Main content Skip to Navigation
Conference papers

A Refinement Based Method for Developing Distributed Protocols

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) Connect in order to contact the contributor
Submitted on : Thursday, January 23, 2020 - 4:20:49 PM
Last modification on : Wednesday, November 3, 2021 - 6:51:58 AM
Long-term archiving on: : Friday, April 24, 2020 - 2:46:37 PM


Files produced by the author(s)


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


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⟩



Record views


Files downloads