Abstract System safety, reliability and risk analysis are important tasks that are performed
throughout the system life-cycle to ensure the dependability of safety-critical systems …

Safety and reliability are rigorously assessed during the design of dependable systems.
Probabilistic risk assessment (PRA) processes are comprehensive, structured and logical …

Dynamic systems exhibit time-dependent behaviours and complex functional dependencies
amongst their components. Therefore, to capture the full system failure behaviour, it is not …

Fire accidents in storage tanks are of great importance due to the difficulty in extinguishing
and ease of spread to nearby products. This study aimed to introduce a framework based on …

This paper provides a technique for testing proper failure mitigation in safety-critical systems.
Unlike other approaches which integrate behavioral and failure models, and then generate …

In the aerospace domain, defects in mitigating failures can have very high costs. This makes
it imperative to have systematic testing approaches for making sure that failure mitigations …

This paper presents a selective regression testing approach for testing proper failure
mitigation in safety-critical systems. Based on changes to the models used for test …

The use of a model for the analysis of the software quality attributes during the design phase
has been gaining more attention in recent years. These models, which are peripheral in …

The need for high-level autonomy and robustness of autonomous systems for missions in
dynamic and remote environment has pushed developers to come up with new software …

To evaluate and optimize the space tracking, telemetry and command system design, it is
important to perform mission reliability analysis of tracking, telemetry and command system …