Abstract
In this paper we model three aspects of fault-tolerant multiprocessor systems and study their influence on both performance and reliability measures in a combined way. These include concurrency, contention and fault-tolerance. Hierarchical modeling allows complex systems to be analyzed easily by splitting the overall model into layers. SHARPE is a powerful tool which allows the use of eight different model types that can be hierarchically combined to obtain a solution for some measure of the whole system. SHARPE also allows general distributions and hence instead of assuming exponentially distributed random variables, we can model more realistic cases. Examples presented here are small for ease of explanation; however, larger problems have also been solved within this framework. This paper thus lays the ground work for modeling existing systems with real data using these techniques.
This work was supported in part by the Air Force Office of Scientific Research under grant AFOSR-84-0132, by the Army Research Office under contract DAAG29-84-0045 and by the James B. Duke Foundation under a Graduate Fellowship to the first author.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Grnarov, L. Kleinrock and M. Gerla. A new algorithm for network reliability computation. In Proc. of Comp. Network Symposium, December 1979.
J. A. B. Fortes and C. S. Raghavendra. Dynamically reconfigurable fault-tolerant array processors. In Proc. IEEE Int. Symp. on Fault-Tolerant Computing, FTCS-1.(, pages 386–392, 1984.
K. Hwang and F. A. Briggs. Computer Architecture and Parallel Processing. McGraw Hill, 1984.
J.F. Meyer. Performability modeling of distributed real-time systems. In Intl Workshop on Applied Mathematics and Performance Reliability Models of Computer Communication Systems, Univ. of Pisa, 1983.
Sheldon M. Ross. Stochastic Processes. John Wiley & Sons, 1983.
R. Sahner and K. S. Trivedi. Performance and reliability analysis using directed acyclic graphs. IEEE Transactions on Software Engineering, pp. 1105–1114, October 1987.
R. Sahner and K. S. Trivedi. Reliability modeling using SHARPE. IEEE Transactions on Reliability, R-36(2): 186–193, June 1987.
R. A. Sahner and K. S. Trivedi. SHARPE: Symbolic Hierarchical Automated Reliability and Performance Evaluator, Introduction and Guide for Users. Technical Report, Duke University, Durham, NC, September 1986.
Kishor S. Trivedi. Probability & Statistics with Reliability, Queuing & Computer Science Applications. Prentice-Hall, 1982.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Plenum Press, New York
About this chapter
Cite this chapter
Veeraraghavan, M., Trivedi, K. (1988). Hierarchical Modeling for Reliability and Performance Measures. In: Tewksbury, S.K., Dickinson, B.W., Schwartz, S.C. (eds) Concurrent Computations. Springer, Boston, MA. https://doi.org/10.1007/978-1-4684-5511-3_23
Download citation
DOI: https://doi.org/10.1007/978-1-4684-5511-3_23
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4684-5513-7
Online ISBN: 978-1-4684-5511-3
eBook Packages: Springer Book Archive