Performability Analysis of Distributed Real-Time Systems

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. >

[1]  J. Emory Reed.  The AN/FPS-85 radar system , 1968 .

[2]  M. D. Beaudry,et al.  Performance-Related Reliability Measures for Computing Systems , 1978, IEEE Transactions on Computers.

[3]  Krishna R. Pattipati,et al.  On the Computational Aspects of Performability Models of Fault-Tolerant Computer Systems , 1990, IEEE Trans. Computers.

[4]  William T. Weeks,et al.  Numerical Inversion of Laplace Transforms Using Laguerre Functions , 1966, JACM.

[5]  Lorenzo Donatiello,et al.  Analysis of a composite performance reliability measure for fault-tolerant systems , 1987, JACM.

[6]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[7]  Krishna R. Pattipati,et al.  On the instantaneous availability and performability evaluation of fault-tolerant computer systems , 1989, Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics.

[8]  Kang G. Shin,et al.  Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control , 1987, IEEE Transactions on Computers.

[9]  John F. Meyer,et al.  A Performability Solution Method for Degradable Nonrepairable Systems , 1984, IEEE Transactions on Computers.

[10]  Hany H. Ammar,et al.  Analytical Models for Parallel Processing Systems , 1986 .

[11]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[12]  Kishor S. Trivedi,et al.  Markov and Markov reward model transient analysis: An overview of numerical approaches , 1989 .

[13]  Ragnar Huslende,et al.  A combined evaluation of performance and reliability for degradable systems , 1981, SIGMETRICS '81.

[14]  John F. Meyer,et al.  Closed-Form Solutions of Performability , 1982, IEEE Transactions on Computers.

[15]  Vidyadhar G. Kulkarni,et al.  A New Class of Multivariate Phase Type Distributions , 1989, Oper. Res..

[16]  Philip Heidelberger,et al.  Analysis of Performability for Stochastic Models of Fault-Tolerant Systems , 1986, IEEE Transactions on Computers.

[17]  Hany H. Ammar,et al.  Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models , 1989, IEEE Trans. Software Eng..

[18]  Giuseppe Iazeolla,et al.  Performability evaluation of multicomponent fault-tolerant systems , 1988 .

[19]  Hany H. Ammar,et al.  Performability of the hypercube (reliability) , 1989 .

[20]  Asser N. Tantawi,et al.  Evaluation of Performability for Degradable Computer Systems , 1987, IEEE Transactions on Computers.

[21]  C. A. Petri.  Communication with automata , 1966 .

[22]  John F. Meyer,et al.  Performability Modeling of Distributed Real-Time Systems , 1983, Computer Performance and Reliability.

[23]  Ushio Sumita,et al.  Evaluation of minimum and maximum of a correlated pair of random variables via the bivariate laguerre transform , 1986 .

[24]  Prem S. Puri,et al.  A method for studying the integral functionals of stochastic processes with applications: I. Markov chain case , 1971, Journal of Applied Probability.

[25]  John F. Meyer,et al.  On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.

[26]  L. T. Wu,et al.  Operational models for the evaluation of degradable computing systems , 1982, SIGMETRICS '82.

[27]  Kishor S. Trivedi,et al.  Performability Analysis: Measures, an Algorithm, and a Case Study , 1988, IEEE Trans. Computers.

[28]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[29]  Kishor S. Trivedi,et al.  NUMERICAL EVALUATION OF PERFORMABILITY AND JOB COMPLETION TIME IN REPAIRABLE FAULT-TOLERANT SYSTEMS. , 1990 .

[30]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .

[31]  Walter L. Smith.  Renewal Theory and its Ramifications , 1958 .

[32]  Vincenzo Grassi,et al.  Performability Evaluation of Fault-Tolerant Satellite Systems , 1987, IEEE Trans. Commun..

[33]  Edmundo de Souza e Silva,et al.  Calculating availability and performability measures of repairable computer systems using randomization , 1989, JACM.