Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/676.pdf