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

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.