Using the Event B formal method for disciplined agile delivery of safety critical systems
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 EventB could be improved and suggest that a different view of agile practices may be needed for an agile project involving formal development. Keywords Agile; Formal Methods; Event B; Critical Systems