© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Safety Analysis of an Evolving Software Architecture
R. de Lemos
In Proceedings of the 5th IEEE International High-Assurance Systems Engineering Symposium (HASE 2000), pages 182-196. IEEE Computer Society, November 2000.Abstract
The safety analysis of an evolving software system has to consider the impact that changes might have on the software components, and to provide confidence that the risk is acceptable. If the impact of a change is not thoroughly analysed, accidents can occur as a result of faulty interactions between components, for example. However, the process of safety analysis can be enhanced if appropriate abstractions are provided for modelling and analysing software components and their interactions. Instead of considering components as the locus of change, the proposed approach assumes that components remain unchanged while their interactions (i.e. connectors) adapt to the different requirements needs. The safety analysis is the performed using model checking to verify whether safe behaviour is maintained when interactions between components change. The feasibility of the approach is demonstrated in terms of a case study that deals with the safety procedures associated with the launching of a sounding rocket.
Download publication 107 kbytes (PDF)Bibtex Record
@inproceedings{1166,
author = {R. de Lemos},
title = {{S}afety {A}nalysis of an {E}volving {S}oftware {A}rchitecture},
month = {November},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1166},
publication_type = {inproceedings},
submission_id = {16177_981646525},
ISBN = {0-7695-0927-4},
booktitle = {Proceedings of the 5th IEEE International High-Assurance Systems Engineering Symposium (HASE 2000)},
publisher = {IEEE Computer Society},
refereed = {yes},
}