Projekt per år
Sammanfattning
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.
Originalspråk | Engelska |
---|---|
Sidor (från-till) | 1–36 |
Tidskrift | International Journal of Critical Computer-Based Systems |
Volym | 10 |
Nummer | 1 |
DOI | |
Status | Publicerad - 2020 |
MoE-publikationstyp | A1 Tidskriftsartikel-refererad |
Nyckelord
- GUIDELINES
- Event-B
- Practitioners
- Formal modelling
Fingeravtryck
Fördjupa i forskningsämnen för ”Applying guidelines for system modelling in Event-B: A systematic literature review”. Tillsammans bildar de ett unikt fingeravtryck.Projekt
- 1 Slutfört
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Ansvarig forskare), Olszewska, M. (CoI), Edmunds, A. (CoI), Ostroumov, S. (CoI), Petre, L. (CoI), Boström, P. (CoI) & Neovius, M. (CoI)
01/09/13 → 31/08/17
Projekt: Finlands Akademi/Övriga Forskningsråd