Towards Agile Engineering of High-Integrity Systems

Authors:
Richard F. Paige;Ramon Charalambous;Xiaocheng Ge;Phillip J. Brooke
Affiliations:
Department of Computer Science, University of York, Heslington, York, YO10 5DD;Department of Computer Science, University of York, Heslington, York, YO10 5DD;Department of Computer Science, University of York, Heslington, York, YO10 5DD;School of Computing, University of Teesside, Middlesbrough, UK
Venue:
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Year:
2008

Citing 14
Cited 1

Extreme programming explained: embrace change

Extreme programming explained: embrace change
Get Ready for Agile Methods, with Care

Computer
New directions on agile methods: a comparative analysis

Proceedings of the 25th International Conference on Software Engineering
Balancing Agility and Discipline: A Guide for the Perplexed

Balancing Agility and Discipline: A Guide for the Perplexed
Standards and agile software development

SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Static verification and extreme programming

Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
Breaking the Ice for Agile Development of Embedded Software: An Industry Experience Report

Proceedings of the 26th International Conference on Software Engineering
Agile Software Development in the Large: Diving Into the Deep

Agile Software Development in the Large: Diving Into the Deep
Towards agile security assurance

NSPW '04 Proceedings of the 2004 workshop on New security paradigms
High-integrity extreme programming

Proceedings of the 2005 ACM symposium on Applied computing
A new component concept for fault trees

SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Extending XP practices to support security requirements engineering

Proceedings of the 2006 international workshop on Software engineering for secure systems
Process and product certification arguments: getting the balance right

ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Mastering the Requirements Process (2nd Edition)

Mastering the Requirements Process (2nd Edition)

Large-scale complex IT systems

Communications of the ACM

Quantified Score

Hi-index	0.02

Visualization

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.