Analysis of the Safety Properties of a System from the Viewpoint of the211 Interactions of Its Components

摘要

In safety-critical systems, software safety analysis aims to provide confidence211u001ethat the risk associated with the software is acceptable. Accidents in safety-211u001ecritical systems are usually associated with the occurrence of multiple failures 211u001ein the system components, or with the lack of adequate error containment 211u001emechanisms. The process of safety analysis can be enhanced if the appropriate 211u001eabstractions are provided for the modelling and analysis of the system components 211u001eand their interactions. This paper shows how a co-operative object-oriented 211u001eapproach can be used in the analysis of the safety properties of a system by 211u001efocusing on the interactions between its components. The feasibility of the 211u001eapproach is demonstrated in terms of a case study which deals with the safety 211u001eprocedures associated with the launching and flight of a sounding rocket.