Towards Agile Engineering of High-Integrity Systems

Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke

Research output: Contribution to conferencePaperpeer-review


We describe the results of a pilot study on the application of an agile process to building a high-integrity software system. The challenges in applying an agile process in this domain are outlined, and potential solutions for dealing with issues of communication, scalability, and system complexity are proposed. We report on the safety process, argumentation generated to support the process, and the technology and tools used to strengthen the agile process in terms of support for verification and validation.
Original languageUndefined/Unknown
Number of pages13
Publication statusPublished - 2008

Cite this