Towards Agile Engineering of High-Integrity Systems

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

doi:10.1007/978-3-540-87698-4_6

Towards Agile Engineering of High-Integrity Systems

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

School of Computing, Engineering & Digital Technologies

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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 language	English
Title of host publication	Computer Safety, Reliability, and Security
Editors	Michael D. Harrison, Mark-Alexander Sujan
Publisher	Springer Berlin Heidelberg
Pages	30-43
ISBN (Electronic)	978-3-540-87698-4
ISBN (Print)	978-3-540-87697-7
DOIs	https://doi.org/10.1007/978-3-540-87698-4_6
Publication status	Published - Sept 2008
Event	27th international conference, safecomp - Newcastle Upon Tyne, United Kingdom Duration: 22 Sept 2008 → 25 Sept 2008 Conference number: 27

Conference

Conference	27th international conference, safecomp
Country/Territory	United Kingdom
City	Newcastle Upon Tyne
Period	22/09/08 → 25/09/08

Access to Document

10.1007/978-3-540-87698-4_6

http://link.springer.com/10.1007/978-3-540-87698-4_6

Cite this

@inbook{7218d56a3b594899bb05a1e32aed1f29,

title = "Towards Agile Engineering of High-Integrity Systems",

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.",

author = "Paige, {Richard F.} and Ramon Charalambous and Xiaocheng Ge and Brooke, {Phillip J.}",

year = "2008",

month = sep,

doi = "10.1007/978-3-540-87698-4_6",

language = "English",

isbn = "978-3-540-87697-7",

pages = "30--43",

editor = "Harrison, {Michael D.} and Mark-Alexander Sujan",

booktitle = "Computer Safety, Reliability, and Security",

publisher = "Springer Berlin Heidelberg",

note = "27th international conference, safecomp ; Conference date: 22-09-2008 Through 25-09-2008",

}

TY - CHAP

T1 - Towards Agile Engineering of High-Integrity Systems

AU - Paige, Richard F.

AU - Charalambous, Ramon

AU - Ge, Xiaocheng

AU - Brooke, Phillip J.

N1 - Conference code: 27

PY - 2008/9

Y1 - 2008/9

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-87698-4_6

DO - 10.1007/978-3-540-87698-4_6

M3 - Chapter

SN - 978-3-540-87697-7

SP - 30

EP - 43

BT - Computer Safety, Reliability, and Security

A2 - Harrison, Michael D.

A2 - Sujan, Mark-Alexander

PB - Springer Berlin Heidelberg

T2 - 27th international conference, safecomp

Y2 - 22 September 2008 through 25 September 2008

ER -

Towards Agile Engineering of High-Integrity Systems

Abstract

Conference

Access to Document

Fingerprint

Cite this