Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Using the Event-B Formal Metho...

Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems

Andrew Edmunds, Marta Olszewska, Marina Walden, Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems. In: Hermann Kaindl, Roberto Meli (Eds.), SOFTENG 2016: The Second International Conference on Advances and Trends in Software Engineering, 1–9, IARIA, 2016.

Abstract:

In order to improve the development process of high integrity systems, using formal methods, we consider how agile techniques may influence the Event-B formal method, and how
Event-B may be used in a development that uses an agile approach. To examine the crossover between Event-B and agile methods we review the Disciplined Agile Delivery approach (DAD). The DAD approach is inspired by many state-of-the-art agile techniques, and we use it as a meta-analysis of current best practice.
In this paper, we propose an agile process for using Event-B and examine how agile techniques might influence the use of Event-B. We identify a number of areas in which Event-B could be improved and suggest that a different view of agile practices may be needed for an agile project involving formal development.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpEdOlWa16a,
  title = {Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems},
  booktitle = {SOFTENG 2016: The Second International Conference on Advances and Trends in Software Engineering},
  author = {Edmunds, Andrew and Olszewska, Marta and Walden, Marina},
  editor = {Kaindl, Hermann and Meli, Roberto},
  publisher = {IARIA},
  pages = {1–9},
  year = {2016},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication