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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

25 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 language	English
Title of host publication	Computer Safety, Reliability, and Security
Subtitle of host publication	27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
Editors	Michael Douglas Harrison, Mark-Alexander Sujan
Publisher	Springer-Verlag Berlin Heidelberg
Pages	30-43
Number of pages	14
Volume	LNCS 5219
Edition	1
ISBN (Electronic)	9783540876984
ISBN (Print)	3540876979, 9783540876977
DOIs	https://doi.org/10.1007/978-3-540-87698-4_6
Publication status	Published - 2008
Externally published	Yes
Event	27th International Conference on Computer Safety, Reliability, and Security - Newcastle upon Tyne, United Kingdom Duration: 22 Sep 2008 → 25 Sep 2008 Conference number: 27 https://www.springer.com/gp/book/9783540876977

Publication series

Name	Lecture Notes in Computer Science (Programming and Software Engineering)
Publisher	Springer
Volume	5219
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	27th International Conference on Computer Safety, Reliability, and Security
Abbreviated title	SAFECOMP 2008
Country/Territory	United Kingdom
City	Newcastle upon Tyne
Period	22/09/08 → 25/09/08
Internet address	https://www.springer.com/gp/book/9783540876977

Access to Document

10.1007/978-3-540-87698-4_6Licence: Unspecified

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

Paige, Richard F. ; Charalambous, Ramon ; Ge, Xiaocheng et al. / Towards Agile Engineering of High-Integrity Systems. Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings. editor / Michael Douglas Harrison ; Mark-Alexander Sujan. Vol. LNCS 5219 1. ed. Springer-Verlag Berlin Heidelberg, 2008. pp. 30-43 (Lecture Notes in Computer Science (Programming and Software Engineering)).

@inproceedings{fce4487bfdbc457dab9439601d384063,

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

keywords = "Fault Tree, User Story, Agile Method, Customer Participation, Safety Case",

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

year = "2008",

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

language = "English",

isbn = "3540876979",

volume = "LNCS 5219",

series = "Lecture Notes in Computer Science (Programming and Software Engineering)",

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "30--43",

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

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

address = "Germany",

edition = "1",

note = "27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008 ; Conference date: 22-09-2008 Through 25-09-2008",

url = "https://www.springer.com/gp/book/9783540876977",

}

Paige, RF, Charalambous, R, Ge, X & Brooke, PJ 2008, Towards Agile Engineering of High-Integrity Systems. in MD 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 edn, vol. LNCS 5219, Lecture Notes in Computer Science (Programming and Software Engineering), vol. 5219, Springer-Verlag Berlin Heidelberg, pp. 30-43, 27th International Conference on Computer Safety, Reliability, and Security, Newcastle upon Tyne, United Kingdom, 22/09/08. https://doi.org/10.1007/978-3-540-87698-4_6

Towards Agile Engineering of High-Integrity Systems. / Paige, Richard F.; Charalambous, Ramon; Ge, Xiaocheng et al.

Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings. ed. / Michael Douglas Harrison; Mark-Alexander Sujan. Vol. LNCS 5219 1. ed. Springer-Verlag Berlin Heidelberg, 2008. p. 30-43 (Lecture Notes in Computer Science (Programming and Software Engineering); Vol. 5219).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

Y1 - 2008

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.

KW - Fault Tree

KW - User Story

KW - Agile Method

KW - Customer Participation

KW - Safety Case

UR - http://www.scopus.com/inward/record.url?scp=56449121220&partnerID=8YFLogxK

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

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

M3 - Conference contribution

AN - SCOPUS:56449121220

SN - 3540876979

SN - 9783540876977

VL - LNCS 5219

T3 - Lecture Notes in Computer Science (Programming and Software Engineering)

SP - 30

EP - 43

BT - Computer Safety, Reliability, and Security

A2 - Harrison, Michael Douglas

A2 - Sujan, Mark-Alexander

PB - Springer-Verlag Berlin Heidelberg

T2 - 27th International Conference on Computer Safety, Reliability, and Security

Y2 - 22 September 2008 through 25 September 2008

ER -

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

Towards Agile Engineering of High-Integrity Systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this