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

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

Conference

Conference27th international conference, safecomp
CountryUnited Kingdom
CityNewcastle Upon Tyne
Period22/09/0825/09/08

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 (pp. 30-43). [Chapter 6] Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-87698-4_6