Safety Analysis of an Evolving Software Architecture

de Lemos, R. (2000) Safety Analysis of an Evolving Software Architecture. In: Proceedings of the 5th IEEE International High-Assurance Systems Engineering Symposium (HASE 2000), 11/15/2000 - 11/17/2000, Albuquerque, NM, USA. (Full text available)

PDF
Download (110kB)
[img]
Preview

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.

Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 13 Sep 2009 18:56
Last Modified: 06 Sep 2011 04:08
Resource URI: http://kar.kent.ac.uk/id/eprint/21944 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year