Towards Agile Engineering of High-Integrity Systems

Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 all agile process in this domain are outlined, and potential solutions for dealing with issues of communication. scalability, and system complexity are proposed. We report oil 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.

Original languageEnglish
Title of host publicationCOMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS
EditorsMD Harrison, MA Sujan
Place of PublicationBERLIN
PublisherSpringer
Pages30-43
Number of pages14
Volume5219 LNCS
ISBN (Print)978-3-540-87697-7
Publication statusPublished - 2008
Event27th International Conference on Computer Safety, Reliability, and Security - Newcastle upon Tyne
Duration: 22 Sept 200825 Sept 2008

Conference

Conference27th International Conference on Computer Safety, Reliability, and Security
CityNewcastle upon Tyne
Period22/09/0825/09/08

Keywords

  • EMBEDDED SOFTWARE

Cite this