Performability Evaluation of the SIFT Computer
- 1 June 1980
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-29 (6) , 501-509
- https://doi.org/10.1109/tc.1980.1675609
Abstract
Performability modeling and evaluation methods are applied to the SIFT computer in the computational environment of an air transport mission. User-visible performance of the "total system" (SIFT plus its environment) is modeled as a random variable taking values in a set of "accomplishment levels." These levels are defined in terms of four attributes of total system behavior: safety, no change in mission profile, no operational penalties, and no economic penalties. The "base model" of the total system is a stochastic process whose states describe the internal structure of SIFT as well as relevant conditions of its environment. Base model state trajectories are related to accomplishment levels via a "capability function" which is formulated in terms of a three-level model hierarchy. Solution methods are then applied to determine the performability of the total system for various choices of computer and environment parameter values.Keywords
This publication has 6 references indexed in Scilit:
- On Evaluating the Performability of Degradable Computing SystemsIEEE Transactions on Computers, 1980
- Reliability and Availability Models for Maintained Systems Featuring Hardware Failures and Design FaultsIEEE Transactions on Computers, 1978
- FTMP—A highly reliable fault-tolerant multiprocess for aircraftProceedings of the IEEE, 1978
- SIFT: Design and analysis of a fault-tolerant computer for aircraft controlProceedings of the IEEE, 1978
- Reliability modeling techniques for self-repairing computer systemsPublished by Association for Computing Machinery (ACM) ,1969
- Algebraic Topological Methods for the Synthesis of Switching Systems. ITransactions of the American Mathematical Society, 1958