Towards Agile Engineering of High-Integrity Systems

  • Richard F. Paige
  • Ramon Charalambous
  • Xiaocheng Ge
  • Phillip J. Brooke
Conference paper

DOI: 10.1007/978-3-540-87698-4_6

Volume 5219 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Paige R.F., Charalambous R., Ge X., Brooke P.J. (2008) Towards Agile Engineering of High-Integrity Systems. In: Harrison M.D., Sujan MA. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2008. Lecture Notes in Computer Science, vol 5219. Springer, Berlin, Heidelberg

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