The infeasibility of experimental quantification of life-critical software reliability
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Safeware: system safety and computers
Safeware: system safety and computers
Hi-index | 0.00 |
A variety of hazard analysis techniques have been proposed for software-based systems but individually the techniques are limited in their ability to cope with system complexity, or to derive and prioritise component safety requirements. There is also confusion in practice about whether the techniques are being used to assess risk or to assign targets. This paper proposes a way of integrating hazard analysis techniques to solve these problems. The resulting process enables functional safety requirements to be derived for logically complex components such as software, together with target (maximum acceptable) failure rates.