ACM Transactions on Computer Systems (TOCS)
Analysis of a composite performance reliability measure for fault-tolerant systems
Journal of the ACM (JACM)
Analysis of Performability for Stochastic Models of Fault-Tolerant Systems
IEEE Transactions on Computers
Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control
IEEE Transactions on Computers
Evaluation of Performability for Degradable Computer Systems
IEEE Transactions on Computers
Performability Analysis: Measures, an Algorithm, and a Case Study
IEEE Transactions on Computers - Fault-Tolerant Computing
Journal of the ACM (JACM)
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models
IEEE Transactions on Software Engineering
On the Computational Aspects of Performability Models of Fault-Tolerant Computer Systems
IEEE Transactions on Computers
Numerical Inversion of Laplace Transforms Using Laguerre Functions
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Performability Modeling of Distributed Real-Time Systems
Proceedings of the International Workshop on Computer Performance and Reliability
A combined evaluation of performance and reliability for degradable systems
SIGMETRICS '81 Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Operational models for the evaluation of degradable computing systems
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Comments on "Performability Analysis of Distributed Real-Time-Systems"
IEEE Transactions on Computers
Probabilistic Analysis of Real-Time Dependable Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
| Hi-index | 14.98 |
An algorithm and a methodology for the performability analysis of repairable distributed real-time systems are presented. The planning cycle of a real-time distributed system, which normally consists of several task invocations, is first identified. The performability distribution at the end of the planning cycle is determined by repeated convolutions of performability densities between task invocations. These convolution operations are efficiently carried out using the operational properties of Laguerre coefficients. The algorithm numerically determines both moments and distribution of performability in O(N/sub max//sup 3/), where N/sub max/ is the largest size of the state space between any task invocations. To illustrate the overall methodology, a simplified example of a radar system is analyzed, and the various performability measures are obtained using the algorithm.