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

Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Walden

Tutkimustuotos: LehtiartikkeliArtikkeliTieteellinenvertaisarvioitu

1 Sitaatiot (Scopus)
68 Lataukset (Pure)


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

JulkaisuInternational Journal of Critical Computer-Based Systems
DOI - pysyväislinkit
TilaJulkaistu - 2020
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu


  • Event-B
  • Practitioners
  • Formal modelling


Sukella tutkimusaiheisiin 'Applying guidelines for system modelling in Event-B: A systematic literature review'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.