Title: Applying guidelines for system modelling in Event-B - a systematic literature review

Authors: Marta Olszewska; Fatima Shokri-Manninen; Andrew Edmunds; Marina Waldén

Addresses: Faculty of Science and Engineering, Åbo Akademi University, Turku, Finland ' Faculty of Science and Engineering, Åbo Akademi University, Turku, Finland ' Faculty of Science and Engineering, Åbo Akademi University, Turku, Finland ' Faculty of Science and Engineering, Åbo Akademi University, Turku, Finland

Abstract: Developing safety-critical systems is an intricate task since it involves the application of well-established and rigorous methods, supported by good practices. The modelling is merely a part of this undertaking. However, it plays a significant role in the description of the system, how it will behave and what properties it will have. Formal methods, for instance Event-B, are utilised in such cases to assure that the system is correct-by-construction and functions as required. In this work we use a literature review method to collect a body of knowledge that would support the Event-B practitioners with modelling guidelines. We first define the domains in which the guidelines fall and divide them into two categories: beginners and advanced. Then we provide a collection of guidelines as reinforcements for domain-specific applications of Event-B.

Keywords: Event-B; formal modelling; guidelines; lessons learned; practitioners; beginners level; advanced level; quality assurance.

DOI: 10.1504/IJCCBS.2020.108668

International Journal of Critical Computer-Based Systems, 2020 Vol.10 No.1, pp.1 - 36

Received: 12 Mar 2019
Accepted: 17 Oct 2019
Published online: 24 Jul 2020 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article