Towards Agile Engineering of High-Integrity Systems

TY - CONF

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

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 - Paper

SP - 30

EP - 43

ER -