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 contribution

20 Citations (Scopus)

Abstract

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
Pages30-43
Number of pages14
VolumeLNCS 5219
Edition1
ISBN (Electronic)9783540876984
ISBN (Print)3540876979, 9783540876977
DOIs
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
https://www.springer.com/gp/book/9783540876977

Publication series

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

Conference

Conference27th International Conference on Computer Safety, Reliability, and Security
Abbreviated titleSAFECOMP 2008
CountryUnited Kingdom
CityNewcastle upon Tyne
Period22/09/0825/09/08
Internet address

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

  • Cite this

    Paige, R. F., Charalambous, R., Ge, X., & Brooke, P. J. (2008). Towards Agile Engineering of High-Integrity Systems. In M. D. Harrison, & M-A. Sujan (Eds.), Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings (1 ed., Vol. LNCS 5219, pp. 30-43). (Lecture Notes in Computer Science (Programming and Software Engineering); Vol. 5219). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-540-87698-4_6