This Article 
 Bibliographic References 
 Add to: 
Performability Analysis of Distributed Real-Time Systems
November 1991 (vol. 40 no. 11)
pp. 1239-1251

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. F. Meyer, "On evaluating the performability of degradable computing systems,"IEEE Trans. Comput., vol. C-29, no. 8, Aug. 1980.
[2] J. F. Meyer, "Closed-form solution of performability,"IEEE Trans. Comput., vol. C-31, July 1982.
[3] D. G. Furchtgott and J. F. Meyer, "A performability solution method for degradable nonrepairable systems,"IEEE Trans. Comput., vol. C-33, June 1984.
[4] M. D. Beaudry, "Performance-related reliability measures for computing systems,"IEEE Trans. Comput., vol. C-27, pp. 540-547, June 1978.
[5] R. Huslende, "A combined evaluation of performance and reliability for degradable systems,"Perf. Eval. Rev., vol. 10, pp. 157-164, 1981.
[6] L. T. Wu, "Operational models for the evaluation of degradable computing systems,"Perf. Eval. Rev., vol. 11, pp. 179-185, 1982.
[7] L. Donatiello and B. R. Iyer, "Analysis of composite performance reliability measure for fault-tolerant systems,"J. ACM, vol. 34, no. 1, 1987.
[8] B. Ciciani and V. Grassi, "Performability evaluation of fault-tolerant satellite systems,"IEEE Trans. Commun., vol. COM-35, no. 4, Apr. 1987.
[9] V. Grassi, L. Donatiello, and G. Iazeolla, "Performability Evaluation of Multicomponent Fault-Tolerant Systems,"IEEE Trans. Reliability, Vol. 37, June 1988, pp. 216-222.
[10] V. G. Kulkarni, V. F. Nicola, R. Smith, and K. S. Trivedi, "Numerical evaluation of performability and job completion time in repairable fault-tolerant systems," inProc. FTCS, vol. 1-6, 1986.
[11] A. Goyal and A. N. Tantawi, "Evaluation of performability for degradable computer systems,"IEEE Trans. Comput., vol. C-36, no. 6, June 1987.
[12] B. R. Iyer, L. Donatiello and P. Heidelberger, "Analysis of performability for stochastic models of fault-tolerant systems,"IEEE Trans. Comput., vol. C-35, no. 10, Oct. 1986.
[13] R. Smith, K. S. Trivedi, and A. V. Ramesh, "Performability analysis: Measures, an algorithm, and a case study,"IEEE Trans. Comput., vol. C-37, no. 4, Apr. 1988.
[14] K. R. Pattipati, Y. Li, and H. A. P. Blom, "On the instantaneous availability and performability evaluation of fault-tolerant computer systems," inProc. IEEE Int. Conf. Syst., Man, Cybern., Cambridge, MA, Nov. 1989.
[15] K. R. Pattipati and S. A. Shah, "On the computational aspects of performability models of fault-tolerant computer systems,"IEEE Trans. Comput., vol. C-39, no. 6, June 1990.
[16] S. M. R. Islam and H. H. Ammar, "Performability of the hypercube,"IEEE Trans. Rel., vol. 38, no. 5, Dec. 1989.
[17] V. G. Kulkarni, "A new class of multivariate phase type distributions," Tech. Rep. UNC/ORSA/TR-86/12, Univ. of North Carolina, Chapel Hill, NC, May 1986.
[18] E. de Souza e Silva and H. R. Gail, "Calculating availability and performability measures of repairable computer systems using randomization,"J. ACM, vol. 36, no. 1, Jan. 1989.
[19] A. Reibman, R. M. Smith, and K. S. Trivedi, "Markov and Markov reward model transient analysis: An overview of numerical approaches,"Euro. J. Oper. Res., vol. 40, pp. 257-267, 1989.
[20] W. K. Grassmann, "Finding transient solutions in Markovian event systems through randomization," inProc. 1st Workshop Numer. Solution Markov Chains, Raleigh, NC, Jan. 8-10, 1990.
[21] W. T. Weeks, "Numerical inversion of Laplace transforms using Laguerre functions,"J. ACM, vol. 13, no. 3, July 1966.
[22] U. Sumita and M. Kijima, "Evaluation of minimum and maximum of a correlated pair of random variables via the bivariate Laguerre transform,"Commun. Statist.-Stochastic Models, vol. 2, no. 1, 1986.
[23] P. S. Puri, "A method for studying the integral functionals of stochastic with applications, I: Markov chain case,"J. Appl. Prob., vol. 8, pp. 331-343, 1971.
[24] H. H. Ammar and S. M. R. Islam, "Time scale decomposition of a class of generalized stochastic Petri nets,"IEEE Trans. Software Eng., vol. SE-15, no. 6, pp. 809-820, June 1989.
[25] D. Peng and K. G. Shin, "Modeling of concurrent task execution in a distributed system for real-time control,"IEEE Trans. Comput., vol. C-36, no. 4, Apr. 1987.
[26] M. I. Skolnik, Ed.,Radar Applications. New York: IEEE Press, 1988.
[27] J. E. Reed, "The AN/FPS-85 radar system,"Proc. IEEE, vol. 57, pp. 324-335, Mar. 1969.
[28] J. F. Meyer, "Performability modeling of distributed real-time systems,"Mathematical Computer Performance and Reliability, G. Iazeolla, P. J. Courtois, and A. Hordijk Eds. Amsterdam: North-Holland, 1983.
[29] W. L. Smith, "Renewal theory and its ramifications,"J. Roy. Statist. Soc., ser. B, vol. 20, pp. 243-302, 1958.
[30] M. Ajmone Marsan, G. Balbo, and G. Conte, "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,"ACM Trans. Comput. Syst., vol. 2, pp. 93-122, May 1984.
[31] C. Petri, "Communication with automata," Tech. Rep., RADC-Tr-65- 377, vol. 1, RADC, Griffis Air Force Base, NY, Jan. 1966.
[32] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[33] J. L. Peterson, "Petri nets,"ACM Comput. Surveys, vol. 9, no. 3, pp. 223-252, Sept. 1977.
[34] M. K. Molloy, "On the integration of delay and throughput measures in distributed processing models," Ph.D. dissertation, Dep. Comput. Sci., Univ. of California, Los Angles, 1981.
[35] M. K. Molloy, "Performance analysis using stochastic Petri nets,"IEEE Trans. Comput., vol. C-31, Sept. 1982.
[36] H. Ammar, "Analytical models for parallel processing systems," Ph.D. dissertation, Dep. Elec. Comput. Eng., Univ. of Notre Dame, 1985.

Index Terms:
repairable systems; distributed real-time systems; algorithm; methodology; performability analysis; planning cycle; convolutions; Laguerre coefficients; radar system; distributed processing; performance evaluation; radar systems; real-time systems; telecommunications computing.
S.M.R. Islam, H.H. Ammar, "Performability Analysis of Distributed Real-Time Systems," IEEE Transactions on Computers, vol. 40, no. 11, pp. 1239-1251, Nov. 1991, doi:10.1109/12.102827
Usage of this product signifies your acceptance of the Terms of Use.