Toggle Main Menu Toggle Search

Open Access padlockePrints

A refinement based method for developing distributed protocols

Lookup NU author(s): Dr Paulius Stankaitis, Dr Alexei Iliasov, Professor Alexander RomanovskyORCiD



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by IEEE, 2019.

For re-use rights please refer to the publisher's terms and conditions.


This paper presents a methodology for modelling and verification of high-assurance distributed protocols. In thepaper 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.

Publication metadata

Author(s): Stankaitis P, Iliasov A, Ait-Ameur Y, Kobayashi T, Ishikawa F, Romanovsky A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019)

Year of Conference: 2019

Online publication date: 25/03/2019

Acceptance date: 03/09/2018

Date deposited: 20/05/2019

ISSN: 2640-7507

Publisher: IEEE


DOI: 10.1109/HASE.2019.00023

Library holdings: Search Newcastle University Library for this item

ISBN: 9781538685402