Towards Agile Engineering of High-Integrity Systems

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

25 Citations (Scopus)


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
Subtitle of host publication27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
EditorsMichael Douglas Harrison, Mark-Alexander Sujan
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages14
VolumeLNCS 5219
ISBN (Electronic)9783540876984
ISBN (Print)3540876979, 9783540876977
Publication statusPublished - 2008
Externally publishedYes
Event27th International Conference on Computer Safety, Reliability, and Security - Newcastle upon Tyne, United Kingdom
Duration: 22 Sep 200825 Sep 2008
Conference number: 27

Publication series

NameLecture Notes in Computer Science (Programming and Software Engineering)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference27th International Conference on Computer Safety, Reliability, and Security
Abbreviated titleSAFECOMP 2008
Country/TerritoryUnited Kingdom
CityNewcastle upon Tyne
Internet address


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

Cite this