The reliability of life-critical computer systems
- 1 November 1986
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 23 (6), 621-642
- https://doi.org/10.1007/bf00264310
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Provably Conservative Approximations to Complex Reliability ModelsIEEE Transactions on Computers, 1986
- The Conservativeness of Reliability Estimates Based on Instantaneous CoverageIEEE Transactions on Computers, 1985
- Hybrid reliability modeling of fault-tolerant computer systemsComputers and Electrical Engineering, 1984
- Extended Stochastic Petri Nets: Applications and Analysis.Published by Defense Technical Information Center (DTIC) ,1984
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Reliability Evaluation of Fault-Tolerant Systems—Effect of Variability in Failure RatesIEEE Transactions on Computers, 1984
- Ultrahigh Reliability Prediction for Fault-Tolerant Computer SystemsIEEE Transactions on Computers, 1983
- The `no-downtime' computerIEEE Spectrum, 1980
- FTMP—A highly reliable fault-tolerant multiprocess for aircraftProceedings of the IEEE, 1978
- Comments on capabilities, limitations and “correctness” of Petri netsACM SIGARCH Computer Architecture News, 1973