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)


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.


Fault Tree User Story Agile Method Customer Participation Safety Case 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abrahamsson, P., Wasta, J., Siponen, M.T., Ronkainein, J.: New directions on Agile Methods. In: Dillon, L., Tichy, W. (eds.) Proc. ICSE 2003, pp. 244–254. ACM Press, New York (2003)Google Scholar
  2. 2.
    Amey, P., Chapman, R.: Static verification and Extreme Programming. In: Sward, R. (ed.) Proc. SigADA 2004, pp. 4–9 (2004)Google Scholar
  3. 3.
    Beck, K.: Extreme Programming explained. Addison-Wesley, Reading (2000)Google Scholar
  4. 4.
    Beznosov, K., Kruchten, P.: Towards agile security assurance. In: Sekar, R., McHugh, J. (eds.) Proc. 2004 Workshop on New security paradigms, pp. 47–54 (2004)Google Scholar
  5. 5.
    Boehm, B.: Get Ready for Agile Methods, with Care. IEEE Computer 35, 64–69 (2002)Google Scholar
  6. 6.
    Boehm, B., Turner, R.: Balancing agility and discipline. Pearson, London (2003)Google Scholar
  7. 7.
    Boström, G., Wäyrynen, J., Bodén, M., Beznosov, K., Kruchten, P.: Extending XP practices to support security requirements engineering. In: Bruschi, D., De Win, B. (eds.) Proc. Workshop on Software engineering for secure systems, ICSE 2006, pp.11–18. ACM Press, New York (2006)CrossRefGoogle Scholar
  8. 8.
    Eckstein, J.: Agile Software Development in the Large. Dorset House (2004)Google Scholar
  9. 9.
    Galloway, A., Paige, R.F.: On the use of Agile Methods for High-Integrity Real-Time Systems, DARP Technical Report DARP-TR-2006-5 (2006)Google Scholar
  10. 10.
    Grenning, J., Peeters, J., Behring, C.: Agile development for embedded software. In: Zannier, C., Erdogmus, H., Lindstrom, L. (eds.) XP/Agile Universe 2004. LNCS, vol. 3134, pp. 194–195. Springer, Heidelberg (2004)Google Scholar
  11. 11.
    Habli, I., Kelly, T.: Process and product certification arguments. ACM SIGBED Review 3(4), 1–8 (2006)CrossRefGoogle Scholar
  12. 12.
    Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. In: Cant, T. (ed.) Proc. 8th Australian Workshop on Safety critical systems and software, pp. 37–46. Australian Computer Society (2003)Google Scholar
  13. 13.
    Kelly, T.P.: Arguing safety – A systematic approach to managing safety cases (PhD thesis), University of York (1998)Google Scholar
  14. 14.
    Manhart, P., Schneider, K.: Breaking the ice for Agile Development of Embedded software: an industry experience report. In: Estublier, J., Rosenblum, D. (eds.) Proc. ICSE 2004, pp. 378–386. ACM Press, New York (2004)Google Scholar
  15. 15.
    Manifesto for Agile Software Development (2007),
  16. 16.
    Paige, R.F., Chivers, H., McDermid, J.A., Stephenson, Z.R.: High-Integrity Extreme Programming. In: Omicini, A. (ed.) Proc. SAC 2005, pp. 1518–1523. ACM Press, New York (2005)CrossRefGoogle Scholar
  17. 17.
    Pumfrey, D.J.: The principled design of computer system safety analyses (PhD thesis), University of York (1999)Google Scholar
  18. 18.
    Robertson, S., Robertson, J.: Mastering the requirements process, AWL (2006)Google Scholar
  19. 19.
    Theunissen, W.H.M., Kourie, D.G., Watson, B.W.: Standards and agile software development. In: Eloff, J., et al. (eds.) Proc. Enablement through technology, vol. 47, pp. 178–188 (2003)Google Scholar
  20. 20.
    Wikipedia contributors, OODA Loop, Wikipedia, The Free Encyclopedia,
  21. 21.
    Wils, A., Van Baelen, S.: Towards an Agile avionics process (2007),

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