Performability evaluation of a gracefully degrading microcomputer

Constantinescu, 1987, Fault-tolerant microcomputer based industrial programmable controller by redundancy, Vol. 2, 25 Schrodi, 1984, Fault-tolerant and fail safe microcomputer system for modern automatic process control by redundancy, vol. 2, 183 K.H. Kim and A. Damm, “Fault tolerance approaches in two experimental real-time systems: DREAM/LAN and MARS” 7th IEEE Workshop on Real-time Operating Systems and Software Charlottesvile, VA, pp. 94–98. Kopetz, 1989, Distributed fault-tolerant real-time systems: The MARS approach, IEEE Micro, Vol. 9, 25, 10.1109/40.16792 Trilhe, 1987, WSI—The challenge of the future, 531 Hopkins, 1978, FIMP: A highly reliable fault-tolerant multiprocessor for aircraft, Vol. 66, 1221 Kieckhafer, 1988, The MAFT architecture for distributed fault-tolerance, IEEE Trans. Comput., Vol. 37, 398, 10.1109/12.2183 Lala, 1986, A byzantine resilient fault-tolerant computer for nuclear power plant applications, 338 Lala, 1988, Hardware and software fault tolerance: A unified architectural approach, 240 Rennels, 1984, Fault-tolerant computing—Concepts and examples, IEEE Trans. Comput., Vol. C-33, 1116, 10.1109/TC.1984.1676390 Constantinescu, 1989, A fault-tolerant microcomputer for advanced control: Architecture and performability analysis, 222 Sanders, 1989, A unified approach for specifying measures of performance, dependability and performability, 87 Meyer, 1980, On evaluating the performability of degradable computer systems, IEEE Trans. Comput., Vol. C-29, 720, 10.1109/TC.1980.1675654 Meyer, 1980, Performability evaluation of the SIFT computer, IEEE Trans. Comput., Vol. C-29, 501, 10.1109/TC.1980.1675609 Meyer, 1982, Closed form solutions of performability, IEEE Trans. Comput., Vol. C-31, 648, 10.1109/TC.1982.1676062 Kulkarni, 1986, Numerical evaluation of performability and job completion time in repairable fault-tolerant systems, 252 Smith, 1987, A performability analysis of two multiprocessor systems, 224 Beaudry, 1978, Performance-related reliability measures for computing systems, IEEE Trans. Comput., Vol. C-27, 540, 10.1109/TC.1978.1675145 Munarin, 1983, Dynamic workload for performance/reliability analysis of gracefully degrading systems, 290 Shin, 1985, A unified method for evaluating real-time computer controllers and its application, IEEE Trans. Autom. Control, Vol. AC-30, 357, 10.1109/TAC.1985.1103952 Shin, 1986, New performance measures for design and evaluation of real-time multiprocessors, Performance, Vol. 1, 179 Woodbury, 1988, Performance modeling and measurement of real-time multiprocessors with time-shared buses, IEEE Trans. Comput., Vol. 37, 214, 10.1109/12.2151 Constantinescu, 1989, Effect of transient faults on gracefully degrading processor arrays, Microprocess. Microprogramm., Vol. 26, 23, 10.1016/0165-6074(89)90278-0 Meyer, 1989, Performability of token bus network under transient fault conditions, 175 Smith, 1988, Performability analysis: measures, an algorithm and a case study, IEEE Trans. Comput., Vol. 37, 406, 10.1109/12.2184 Dugan, 1985, HARP: The Hybrid Automated Reliability Predictor, Duke University, Dept. Comput. Sci., Tech. Rep. CS-1985-15 Dugan, 1984, Extended stochastic Petri nets: application and analysis Dugan, 1989, Coverage modeling for dependability analysis of fault-tolerant systems, IEEE Trans. Comput., Vol. 38, 775, 10.1109/12.24286 Geist, 1983, Ultrahigh reliability prediction for fault tolerant computer systems, IEEE Trans. Comput., Vol. C-32, 1118, 10.1109/TC.1983.1676172 Geist, 1985, The reliability of life critical computer systems, Duke University Dept. Comput. Sci., Tech. Rep. CS-1985-5 Trivedi, 1984, Modeling imperfect coverage in fault-tolerant systems, 77 Trivedi, 1983, Decomposition in reliability analysis of fault-tolerant systems, IEEE Trans. Reliab., Vol. R-32, 463, 10.1109/TR.1983.5221731 Crump, 1976, Numerical inversion of Laplace transforms using a Fourier series approximation, J. ACM, Vol. 23, 89, 10.1145/321921.321931 Wallach, 1981, Alternating sequential/parallel processing fundamentals and examples, IEEE Trans. Power Appar. Syst., Vol PAS-100, 4397, 10.1109/TPAS.1981.316851 Wensley, 1978, SIFT: Design and analysis of a fault-tolerant computer for aircraft control, Vol. 66, 1240