Towards Agile Engineering of High-Integrity Systems
- 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
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.
Unable to display preview. Download preview PDF.