Skip to main content

Safety Analysis of an Evolving Software Architecture

de Lemos, R. (2000) Safety Analysis of an Evolving Software Architecture. In: Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering. IEEE, pp. 159-167. ISBN 0-7695-0927-4. (doi:10.1109/HASE.2000.895455)


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.

Item Type: Book section
DOI/Identification number: 10.1109/HASE.2000.895455
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 13 Sep 2009 18:56 UTC
Last Modified: 01 Aug 2019 10:33 UTC
Resource URI: (The current URI for this page, for reference purposes)
de Lemos, R.:
  • Depositors only (login required):


Downloads per month over past year