Towards Agile Engineering of High-Integrity Systems

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

Towards Agile Engineering of High-Integrity Systems

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

Computer Science

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

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 all agile process in this domain are outlined, and potential solutions for dealing with issues of communication. scalability, and system complexity are proposed. We report oil 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, PROCEEDINGS
Editors	MD Harrison, MA Sujan
Place of Publication	BERLIN
Publisher	Springer
Pages	30-43
Number of pages	14
Volume	5219 LNCS
ISBN (Print)	978-3-540-87697-7
Publication status	Published - 2008
Event	27th International Conference on Computer Safety, Reliability, and Security - Newcastle upon Tyne Duration: 22 Sept 2008 → 25 Sept 2008

Conference

Conference	27th International Conference on Computer Safety, Reliability, and Security
City	Newcastle upon Tyne
Period	22/09/08 → 25/09/08

Keywords

EMBEDDED SOFTWARE

Cite this

@inproceedings{4ee1efe01122407f95688e46fc27bfdb,

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 all agile process in this domain are outlined, and potential solutions for dealing with issues of communication. scalability, and system complexity are proposed. We report oil 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 = "EMBEDDED SOFTWARE",

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

year = "2008",

language = "English",

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

volume = "5219 LNCS",

pages = "30--43",

editor = "MD Harrison and MA Sujan",

booktitle = "COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS",

publisher = "Springer",

address = "Germany",

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

}

TY - GEN

T1 - Towards Agile Engineering of High-Integrity Systems

AU - Paige, Richard F.

AU - Charalambous, Ramon

AU - Ge, Xiaocheng

AU - Brooke, Phillip J.

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 all agile process in this domain are outlined, and potential solutions for dealing with issues of communication. scalability, and system complexity are proposed. We report oil 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 all agile process in this domain are outlined, and potential solutions for dealing with issues of communication. scalability, and system complexity are proposed. We report oil 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 - EMBEDDED SOFTWARE

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

M3 - Conference contribution

SN - 978-3-540-87697-7

VL - 5219 LNCS

SP - 30

EP - 43

BT - COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS

A2 - Harrison, MD

A2 - Sujan, MA

PB - Springer

CY - BERLIN

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

Y2 - 22 September 2008 through 25 September 2008

ER -

Towards Agile Engineering of High-Integrity Systems

Abstract

Conference

Keywords

Other files and links

Cite this