Towards Agile Engineering of High-Integrity Systems

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

Research output: Chapter in Book/Report/Conference proceedingChapter


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 languageEnglish
Title of host publicationComputer Safety, Reliability, and Security
EditorsMichael D. Harrison, Mark-Alexander Sujan
PublisherSpringer Berlin Heidelberg
ISBN (Electronic)978-3-540-87698-4
ISBN (Print)978-3-540-87697-7
Publication statusPublished - Sep 2008
Event27th international conference, safecomp - Newcastle Upon Tyne, United Kingdom
Duration: 22 Sep 200825 Sep 2008
Conference number: 27


Conference27th international conference, safecomp
Country/TerritoryUnited Kingdom
CityNewcastle Upon Tyne


Dive into the research topics of 'Towards Agile Engineering of High-Integrity Systems'. Together they form a unique fingerprint.

Cite this