OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Refinement Based Method for Developing Distributed Protocols

Stankaitis, Paulius and Iliasov, Alexei and Aït-Ameur, Yamine and Kobayashi, Tsutomou and Ishikawa, Fuyuki and Romanowski, Alexander A Refinement Based Method for Developing Distributed Protocols. (2019) In: 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), 3 January 2019 - 5 January 2019 (Hangzhou, China).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1109/HASE.2019.00023


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to IEEE editor. The definitive version is available at http://ieeexplore.ieee.org This papers appears in Proceedings of HASE 2019. Electronic ISBN: 978-1-5386-8540-2 Electronic ISSN: 2640-7507 The original PDF of the article can be found at: https://ieeexplore.ieee.org/document/8673042 Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
HAL Id:hal-02453122
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > National Institute of Informatics - NII (JAPAN)
Other partners > Newcastle University (UNITED KINGDOM)
Laboratory name:
British Research Council EPSRC: Engineering and Physical Sciences Research Council (UK) - Siemens Rail Automation
Deposited On:17 Jan 2020 15:35

Repository Staff Only: item control page