Toggle Main Menu Toggle Search

Open Access padlockePrints

Analysis of the Safety Properties of a System from the Viewpoint of the Interactions of its Components

Lookup NU author(s): Dr Rogerio De Lemos



In safety-critical systems, software safety analysis aims to provide confidence that the risk associated with the software is acceptable. Accidents in safety-critical systems ae usually associated with the occurrence of multiple failures in the system components, or with the lack of adequate error containment mechanisms. The process of safety analysis can be enhanced if the appropriate abstractions are provided for the modelling and analysis of the system components and their interations. this paper shows how a co-operative object-oriented approach can be used in the analysis of the safety properties of a system by focusing on the interactions between its components. The feasibility of the approach is demonstrated in terms of a case study which deals with the safety procedures associated with the launching and flight of a sounding rocket.

Publication metadata

Author(s): de Lemos R

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1999

Pages: 14

Print publication date: 01/07/1999

Source Publication Date: July 1999

Report Number: 676

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne