Lookup NU author(s): Paulius Stankaitis,
Dr Alexei Iliasov,
Professor Alexander Romanovsky
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.
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
Library holdings: Search Newcastle University Library for this item