Using the Event-B formal method for disciplined agile delivery of safety-critical systems
Andrew Edmunds, Marta Olszewska, Marina Waldén · ePrints Soton (University of Southampton) · 2016
In order to improve the development process of highintegrity 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 bestpractice.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.