Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting

Marta Olszewska, Sergii Ostroumov, Marina Walden

Research output: Book/Journal/ReportCommissioned reportProfessional


This paper explores the opportunities and challenges of the synergy between formal and agile methods, in particular Event-B and Scrum. We fine tune Scrum process in order to fit the specificity of formal development. We then perform formal modelling of a part of the landing gear system within scrum development process. The development serves as hands-on investigation for the quantitative and qualitative analysis of the applicability of such merge.

Our findings show that there is a great potential in this synergy, especially in terms of improving comprehension of requirements and understandability of the system domain, and thus positively impacting the quality and correctness of the system being built. Furthermore, the communication within the team is enhanced, which leads to fine-tuning the development approach and smoothening the modelling process. Finally, the rules and ideas behind formal modelling can be closely associated with agile philosophy, as the latter is flexible enough to handle the rigour necessary to create a correct system.
Original languageEnglish
PublisherTurku Centre for Computer Science (TUCS)
ISBN (Print)978-952-12-3342-5
Publication statusPublished - 2016
MoE publication typeD4 Published development or research report or study

Publication series

NameTUCS Technical Report


  • Event-B
  • Scrum
  • formal methods
  • Agile Development Process
  • adaptable development framework
  • FormAgi


Dive into the research topics of 'Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting'. Together they form a unique fingerprint.

Cite this