Home // SOFTENG 2016, The Second International Conference on Advances and Trends in Software Engineering // View article

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

Authors:
Andrew Edmunds
Marta Olszewska
Marina Walden

Keywords: Agile; Formal Methods; Event-B; Critical Systems

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.

Pages: 1 to 9

Copyright: Copyright (c) IARIA, 2016

Publication date: February 21, 2016

Published in: conference

ISSN: 2519-8394

ISBN: 978-1-61208-458-9

Location: Lisbon, Portugal

Dates: from February 21, 2016 to February 25, 2016