Towards Agile Engineering of High-Integrity Systems

  • Richard F. Paige
  • Ramon Charalambous
  • Xiaocheng Ge
  • Phillip J. Brooke
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5219)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Richard F. Paige
    • 1
  • Ramon Charalambous
    • 1
  • Xiaocheng Ge
    • 1
  • Phillip J. Brooke
    • 2
  1. 1.Department of Computer ScienceUniversity of York, HeslingtonYork 
  2. 2.School of ComputingUniversity of TeessideMiddlesbroughUK

Personalised recommendations