End-to-end arguments in system design
ACM Transactions on Computer Systems (TOCS)
A Fault Tolerant Replicated Storage System
Proceedings of the Third International Conference on Data Engineering
A reliability model for Markov structured software
Proceedings of the international conference on Reliable software
| Hi-index | 0.00 |
Embedded computer systems are used for critical real-time process-control applications such as nuclear power plant safety control systems. The reliability of these systems must be estimated prior to using them due to the catastrophic consequences of any failures. Over the past two decades several methods have been developed for assessing the reliability of hardware and software systems separately. It has generally been assumed that the system reliability can be computed by treating the software and hardware subsystems as having independent failure processes. However, in this paper we show that there are cases where the reliability objective of the software (other than those determined by residual faults) influences the mission time and, hence, the reliability of the hardware subsystem.