Skip to main content Accessibility help
×
Home
  • Print publication year: 2017
  • Online publication date: August 2017

16 - Hierarchical Models

from Part V - Multi-Level Models
[1] G., Bolch, S., Greiner, H. de, Meer, and K. S., Trivedi, Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications, 2nd edn. Wiley-Interscience, Apr. 2006.
[2] R., Sahner, K., Trivedi and A., Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, 1996.
[3] M. Ajmone, Marsan, G., Balbo, and G., Conte, “A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,ACM Transactions on Computer Systems, vol. 2, pp. 93–122, 1984.
[4] G., Ciardo, A., Blakemore, P. F., Chimento, J. K., Muppala, and K., Trivedi, “Automated generation and analysis of Markov reward models using stochastic reward nets,” in Linear Algebra, Markov Chains, and Queueing Models, eds. C. D., Meyer and R. J. Plemmons. Springer, 1993, vol. 48, pp. 145–191.
[5] B., Plateau and K., Atif, “Stochastic automata network for modeling parallel systems,IEEE Transactions on Software Engineering, vol. 17, pp. 1093–1108, 1991.
[6] W., Sanders and J., Meyer, “Reduced base model construction methods for stochastic activity networks,IEEE Journal on Selected Areas in Communications, vol. 9, no. 1, pp. 25–36, Jan. 1991.
[7] J., Hillston, A Compositional Approach to Performance Modelling. Cambridge University Press, 2005, vol. 12.
[8] A., Bobbio and K. S., Trivedi, “An aggregation technique for the transient analysis of stiff Markov chains,IEEE Transactions on Computers, vol. C-35, pp. 803–814, 1986.
[9] P. J., Courtois, Decomposability: Queueing and Computer System Applications, ACM monograph series. Academic Press, 1977.
[10] P., Buchholz and P., Kemper, “Kronecker based matrix representations for large Markov models,” in Validation of Stochastic Systems: A Guide to Current Research, 2004, pp. 256–295.
[11] A., Benoit, B., Plateau, and W. J., Stewart, “Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems,Future Generation Computer Systems, vol. 22, no. 7, pp. 838–847, 2006.
[12] Y., Bao, I., Bozkurt, T., Dayarl, X., Sun, and K., Trivedi, “Decompositional analysis of Kronecker structured Markov chains.Electronic Transactions on Numerical Analysis, vol. 31, pp. 271–294, 2008 [electronic only].
[13] K. M., Chandy, U., Herzog, and L., Woo, “Parametric analysis of queuing networks,IBM Journal of Research and Development, vol. 19, no. 1, pp. 36–42, Jan. 1975.
[14] S. J., Bavuso, J. Bechta, Dugan, K., Trivedi, E. M., Rothmann, and W. E., Smith, “Analysis of typical fault-tolerant architectures using HARP,IEEE Transactions on Reliability, vol. R-36, no. 2, pp. 176–185, Jun. 1987.
[15] G., Balbo, S., Bruell, and S., Ghanta, “Combining queueing network and generalized stochastic Petri nets for the solution of complex models of system behavior,IEEE Transactions on Computers, vol. 37, pp. 1251–1268, 1988.
[16] R., Ghosh, F., Longo, V. K., Naik, and K. S., Trivedi, “Modeling and performance analysis of large-scale IaaS clouds,Future Generation Computer Systems, vol. 29, no. 5, pp. 1216–1234, 2013.
[17] L., Lei, Y., Zhang, X. S., Shen, C., Lin, and Z., Zhong, “Performance analysis of device-to-device communications with dynamic interference using stochastic Petri nets,IEEE Transactions on Wireless Communications, vol. 12, no. 12, pp. 6121–6141, Dec. 2013.
[18] X., Yin, X., Ma, and K., Trivedi, “An interacting stochastic models approach for the performance evaluation of DSRC vehicular safety communication,IEEE Transactions on Computers, vol. 62, no. 5, pp. 873–885, May 2013.
[19] J. F., Meyer, “On evaluating the performability of degradable computing systems,IEEE Transactions on Computers, vol. 29, no. 8, pp. 720–731, Aug. 1980.
[20] K., Trivedi, J., Muppala, S., Woolet, and B. R., Haverkort, “Composite performance and dependability analysis,” Performance Evaluation, vol. 14, no. 3-4, pp. 197–216, Feb. 1992.
[21] Y., Ma, J., Han, and K., Trivedi, “Composite performance and availability analysis of wireless communication networks,IEEE Transactions on Vehicular Technology, vol. 50, no. 5, pp. 1216–1223, Sep. 2001.
[22] J., Blake and K., Trivedi, “Multistage interconnection network reliability,IEEE Transactions on Computers, vol. C-38, pp. 1600–1604, 1989.
[23] K., Trivedi, R., Vasireddy, D., Trindade, S., Nathan, and R., Castro, “Modeling high availability systems,” in Proc. IEEE Pacific Rim Int. Symp. on Dependable Computing (PRDC), 2006.
[24] K. S., Trivedi, D., Wang, J., Hunt, A., Rindos, W. E., Smith, and B., Vashaw, “Availability modeling of SIP protocol on IBM_c WebSphere_c,” in Proc. Pacific Rim Int. Symp. on Dependable Computing (PRDC), 2008, pp. 323–330.
[25] W. E., Smith, K. S., Trivedi, L., Tomek, and J., Ackaret, “Availability analysis of blade server systems,IBM Systems Journal, vol. 47, no. 4, pp. 621–640, 2008.
[26] M., Malhotra and K., Trivedi, “A methodology for formal expression of hierarchy in model solution,” in Proc. 5th Int. Workshop on Petri Nets and Performance Models, Oct 1993, pp. 258–267.
[27] G., Ciardo and K., Trivedi, “A decomposition approach for stochastic reward net models,Performance Evaluation, vol. 18, pp. 37–59, 1993.
[28] T. H., Cormen, C. E., Leiserson, R. L., Rivest, and C., Stein, Introduction to Algorithms, 3rd edn. The MIT Press, 2009.
[29] S., Garg, A., Puliafito, M., Telek, and T., Trivedi, “Analysis of preventive maintenance in transactions based software systems,IEEE Transactions on Computers,, vol. 47, no. 1, pp. 96–107, Jan. 1998.
[30] Y., Bao, X., Sun, and K. S., Trivedi, “A workload-based analysis of software aging, and rejuvenation,IEEE Transactions on Reliability, vol. 54, no. 3, pp. 541–548, 2005.
[31] K., Vaidyanathan and K., Trivedi, “A comprehensive model for software rejuvenation,IEEE Transactions on Dependable and Secure Computing, vol. 2, no. 2, pp. 124–137, Apr. 2005.
[32] L., Tomek and K., Trivedi, “Fixed point iteration in availability modeling,” in Proc. 5th Int. GI/ITG/GMA Conference on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment. Springer-Verlag, 1991, pp. 229–240.
[33] H., Sukhwani, A., Bobbio, and K., Trivedi, “Largeness avoidance in availability modeling using hierarchical and fixed-point iterative techniques,International Journal of Performability Engineering, vol. 11, no. 4, pp. 305–319, 2015.
[34] R., Matos, J., Araujo, D., Oliveira, P., Maciel, and K., Trivedi, “Sensitivity analysis of a hierarchical model of mobile cloud computing,Simulation Modelling Practice and Theory, vol. 50, pp. 151–164, 2015.
[35] M., Malhotra and K. S., Trivedi, “Reliability analysis of redundant arrays of inexpensive disks,Journal of Parallel and Distributed Computing, vol. 17, pp. 146–151, 1993.
[36] K., Trivedi and R., Geist, “Decomposition in reliability analysis of fault-tolerant systems,IEEE Transactions on Reliability, vol. R-32, no. 5, pp. 463–468, Dec. 1983.
[37] F., Machida, R., Xia, and K. S., Trivedi, “Performability modeling for raid storage systems by Markov regenerative process,” IEEE Transactions on Dependable and Secure Computing, vol. 67, 2016.
[38] J. G., Elerath and J., Schindler, “Beyond MTTDL: A closed-form RAID-6 reliability equation,” ACM Transactions on Storage (TOS), vol. 10, no. 2, p. 7, 2014.
[39] I., Iliadis and V., Venkatesan, “Rebuttal to ‘Beyond MTTDL: A closed-form RAID-6 reliability equation,”’ ACM Transactions on Storage (TOS), vol. 11, no. 2, pp. 9:1–9:10, Mar. 2015.
[40] A., Thomasian and Y., Tang, “Performance, reliability, and performability of a hybrid RAID array and a comparison with traditional RAID1 arrays,Cluster Computing, vol. 15, no. 3, pp. 239–253, 2012.
[41] K., Hjelmgren, S., Svensson, and O., Hannius, “Reliability analysis of a single-engine aircraft FADEC,” in Proc. Ann. Reliability and Maintainability Symposium, 1998, pp. 401–407.
[42] L., Xing, “Reliability evaluation of phased-mission systems with imperfect fault coverage and common-cause failures,IEEE Transactions on Reliability, vol. 56, no. 1, pp. 58–68, 2007.
[43] Y., Ma and K., Trivedi, “An algorithm for reliability analysis of phased-mission systems,Reliability Engineering and System Safety, vol. 66, pp. 157–170, 1999.
[44] X., Zang, H., Sun, and K., Trivedi, “A BDD-based algorithm for reliability analysis of phased-mission systems,IEEE Transactions on Reliability, vol. 48, pp. 50–60, 1999.
[45] J., McGough, A., Reibman, and K., Trivedi, “Markov reliability models for digital flight control systems,AIAA Journal of Guidance, Control, and Dynamics, vol. 12, no. 2, pp. 209–219, 1989.
[46] B., Çekyay and S., Özekici, “Performance measures for systems with Markovian missions and aging,IEEE Transactions on Reliability, vol. 61, no. 3, pp. 769–778, 2012.
[47] M., Smotherman and K., Zemoudeh, “A non-homogeneous Markov model for phased-mission reliability analysis,IEEE Transactions on Reliability, vol. 38, no. 5, pp. 585–590, 1989.
[48] I., Mura, A., Bondavalli, X., Zang, and K. S., Trivedi, “Dependability modeling and evaluation of phased mission systems: A DSPN approach,” in IEEE DCCA-7, IFIP Int. Conf. on Dependable Computing for Critical Applications, San Jose, CA, USA, Jan. 6–8 1999, pp. 319–337.
[49] J. Bechta, Dugan, and K., Trivedi, “Coverage modeling for dependability analysis of fault-tolerant systems,IEEE Transactions on Computers, vol. 38, no. 6, pp. 775–787, Jun. 1989.
[50] J., McGough, M., Smotherman, and K., Trivedi, “The conservativeness of reliability estimates based on instantaneous coverage,IEEE Transactions on Computers, vol. C-34, pp. 602–609, 1985.
[51] W., Lee, D., Grosh, F., Tillman, and C., Lie, “Fault tree analysis, methods and applications: A review,IEEE Transactions on Reliability, vol. R-34, pp. 194–203, 1985.
[52] M., Stamatelatos and W., Vesely, Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance, 2002, vol. 1.1.
[53] J. B., Dugan, S., Bavuso, and M., Boyd, “Dynamic fault-tree models for fault-tolerant computer systems,IEEE Transactions on Reliability, vol. 41, pp. 363–377, 1992.
[54] S., Junges, D., Guck, J., Katoen, and M., Stoelinga, “Uncovering dynamic fault trees,” in Proc. Int. Conf. on Dependable Systems and Networks, Jun. 2016.
[55] G., Merle, J., Roussel, J., Lesage, and A., Bobbio, “Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events,IEEE Transactions on Reliability, vol. 59, no. 1, pp. 250–261, 2010.
[56] Y., Dutuit and A., Rauzy, “A linear-time algorithm to find modules of fault tree,IEEE Transactions on Reliability, vol. 45, pp. 422–425, 1996.
[57] R., Gulati and J., Dugan, “A modular approach for analyzing static and dynamic fault-trees,” in Proc/ IEEE Ann. Reliability and Maintainability Symposium, 1997, pp. 57–63.
[58] J. B., Dugan, K., Sullivan, and D., Coppit, “Developing a low-cost high-quality software tool for dynamic fault-tree analysis,IEEE Transactions on Reliability, vol. 49, no. 1, pp. 49–59, 2000.
[59] A., Bobbio and D., Codetta-Raiteri, “Parametric fault-trees with dynamic gates and repair boxes,” in Proc. Ann. Reliability and Maintainability Symp.. IEEE, Jan. 2004, pp. 459–465.
[60] D., Codetta-Raiteri, “The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation,Electronic Notes on Theoretical Computer Science, vol. 127, pp. 45–60, 2005.
[61] D., Codetta-Raiteri, “Integrating several formalisms in order to increase fault trees' modeling power,Reliability Engineering and System Safety, vol. 96, no. 5, pp. 534–544, 2011.
[62] L., Xing, O., Tannous, and J. B., Dugan, “Reliability analysis of nonrepairable cold-standby systems using sequential binary decision diagrams,IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, vol. 42, no. 3, pp. 715–726, May 2012.
[63] D., Ge, D., Li, Q., Chou, R., Zhang, and Y., Yang, “Quantification of highly coupled dynamic fault tree using IRVPM and SBDD,” Quality and Reliability Engineering International, 2014.
[64] H., Boudali and J. B., Dugan, “A new Bayesian network approach to solve dynamic fault trees,” in Proc. Ann. Reliability and Maintainability Symposium, Jan. 2005, pp. 451–456.
[65] S., Montani, L., Portinale, A., Bobbio, and D., Codetta-Raiteri, “Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks,Reliability Engineering and System Safety, vol. 93, pp. 922–932, 2008.
[66] L., Portinale and D., Codetta-Raiteri, Modeling and Analysis of Dependable Systems: A Probabilistic Graphical Model Perspective. World Scientific, 2015.
[67] K., Murphy, “Dynamic Bayesian networks: Representation, inference and learning,” Ph.d. Thesis, University of California, Berkeley, 2002.
[68] S., Montani, L., Portinale, and A., Bobbio, “Dynamic Bayesian networks for modeling advanced fault tree features in dependability analysis,” in Proc. 16th European Conf. on Safety and Reliability, Leiden, The Netherlands, AA Balkema, 2005, pp. 1415–1422.
[69] A., Bobbio, D., Codetta-Raiteri, L., Portinale, A., Guiotto, and Y., Yushtein, “A unified modelling and operational framework for fault detection, identification, and recovery in autonomous spacecrafts,” in Theory and Application of Multi-Formalism Modeling, eds. M., Gribaudo and M., Iacono. IGI-Global, 2014, ch. 11, pp. 239–258.
[70] M., Aleksy, M., Schader, and A., Schnell, “Design and implementation of a bridge between CORBA's notification service and the Java message service,” in Proc. 36th Ann. Int. Conf. on System Sciences, 2003.
[71] S., Ramani, K., Trivedi, and B., Dasarathy, “Performance analysis of the CORBA notification service,” in Proc. 20th Symp. on Reliable Distributed Systems, 2001, pp. 227–236.
[72] R., Wolff, “Poisson arrivals see time averages,Operations Research, vol. 30, no. 2, pp. 223–231, 1982.
[73] K., Trivedi, Probability and with Reliability, Queueing and Computer Science Applications, 2nd edn. John Wiley & Sons, 2001.
[74] K., Trivedi, J., Muppala, S., Woolet, and B., Haverkort, “Composite performance and dependability analysis,Performance Evaluation, vol. 14, pp. 197–215, 1992.
[75] S., Woolet, “Performance analysis of computer networks,” Ph.d. Thesis, Department of Computer Science, Duke University, 1993.
[76] B., Iyer, L., Donatiello, and P., Heidelberger, “Analysis of performability for stochastic models of fault-tolerant systems,IEEE Transactions on Computers, vol. C-35, pp. 902–907, 1986.
[77] P., Chimento and K., Trivedi, “The completion time of programs on processors subject to failure and repair,IEEE Transactions on Computers, vol. 42, pp. 1184–1194, 1993.
[78] V., Kulkarni, V., Nicola, and K., Trivedi, “The completion time of a job on a multi-mode system,Advances in Applied Probability, vol. 19, pp. 932–954, 1987.
[79] S., Ramani, K., Goseva-Popstojanova, and K. S., Trivedi, “A framework for performability modeling of messaging services in distributed systems,” in Proc. 8th IEEE Int. Conf. on Engineering of Complex Computer Systems, Dec. 2002, pp. 25–34.
[80] S., Ramani, K. S., Trivedi, and B., Dasarathy, “Reliable messaging using the CORBA notification service,” in 3rd Int. Symp. on Distributed Objects and Applications, 2001, pp. 229–238.
[81] R., Pinciroli, K., Trivedi, and A., Bobbio, “Parametric sensitivity and uncertainty propagation in dependability models,” in Proc. 10th Int. Conf. on Performance Evaluation Methodologies and Tools (Valuetools 2016), 2016.
[82] M., Beaudry, “Performance-related reliability measures for computing systems,IEEE Transactions on Computers, vol. C-27, pp. 540–547, 1978.
[83] G., Ciardo, R., Marie, B., Sericola, and K., Trivedi, “Performability analysis using semi-Markov reward processes,IEEE Transactions on Computers, vol. 39, no. 10, pp. 1252–1264, 1990.
[84] T1A1.2 Working Group on Network Survivability Performance, Technical Report on Enhanced Network Survivability Performance. Standards Committee T1 Telecommunications, Feb. 2001.
[85] J., Laprie, “From dependability to resilience,” in Proc. Dependable Systems and Networks, 2008.
[86] L., Simoncini, “Resilient computing: An engineering discipline,” in Proc. IEEE Int. Symp. on Parallel Distributed Processing, May 2009.
[87] R., Ghosh, D., Kim, and K., Trivedi, “System resiliency quantification using non-state-space and state-space analytic models,Reliability Engineering and System Safety, vol. 116, pp. 109–125, 2013.
[88] Y., Liu and K. S., Trivedi, “A general framework for network survivability quantification,Proc. 12th GI/ITG Conf. on Measuring, Modelling and Evaluation of Computer and Communication Systems, 2004, pp. 369–378.
[89] Y., Liu, V., Mendiratta, and K., Trivedi, “Survivability analysis of telephone access network,” in Proc. 15th Int. Symp. on Software Reliability Engineering, 2004, pp. 367–378.
[90] Y., Liu and K., Trivedi, “Survivability quantification: The analytical modeling approach,” International Journal of Performability Engineering, vol. 2, no. 1, p. 29, 2006.
[91] P., Heegaard and K., Trivedi, “Survivability quantification of communication services,” in Proc. 38th Ann. IEEE/IFIP Int. Conf. on Dependable Systems and Networks, 2008, pp. 462–471.
[92] D., Chen, S., Garg, and K., Trivedi, “Network survivability performance evaluation: A quantitative approach with applications in wireless ad-hoc networks,” in Proc. 5th ACMInt. Workshop on Modeling Analysis and Simulation of Wireless and Mobile Systems, ACM, 2002, pp. 61–68.
[93] O. C., Ibe, R. C., Howe, and K. S., Trivedi, “Approximate availability analysis of VAXcluster systems,IEEE Transactions on Reliability, vol. 38, no. 1, pp. 146–152, 1989.
[94] M., Lanus, Y., Liang, and K., Trivedi, “Hierarchical composition and aggregation of state-based availability and performability models,IEEE Transactions on Reliability, vol. 52, pp. 44–52, 2003.
[95] F., Lee and M., Marathe, Beyond Redundancy: A Guide to Designing High-Availability Networks. Cisco, 1999.
[96] R., de S., Matos, J., Araujo, D., Oliveira, P. R. M., Maciel, and K. S., Trivedi, “Sensitivity analysis of a hierarchical model of mobile cloud computing,Simulation Modelling Practice and Theory, vol. 50, pp. 151–164, 2015.
[97] D., Tang and K., Trivedi, “Hierarchical computation of interval availability and related metrics,” in Proc. 2004 Int. Conf. on Dependable Systems and Networks, 2004, p. 693.
[98] J., Blake and K., Trivedi, “Reliability analysis of interconnection networks using hierarchical composition,IEEE Transactions on Reliability, vol. 38, no. 1, pp. 111–120, 1989.
[99] J. K., Muppala, K. S., Trivedi, V., Mainkar, and V. G., Kulkarni, “Numerical computation of response time distributions using stochastic reward nets,Annals of Operational Research, vol. 48, pp. 155–184, 1994.
[100] H., Qian, D., Medhi, and K. S., Trivedi, “A hierarchical model to evaluate quality of experience of online services hosted by cloud computing,” in Proc. 12th IFIP/IEEE Int. Symp. on Integrated Network Management, 2011, pp. 105–112.
[101] J. T., Blake, A. L., Reibman, and K. S., Trivedi, “Sensitivity analysis of reliability and performability measures for multiprocessor systems,SIGMETRICS Performance Evaluation Review, vol. 16, no. 1, pp. 177–186, May 1988.
[102] S., Garg, Y., Huang, C., Kintala, S., Yajnik, and K., Trivedi, “Performance and reliability evaluation of passive replication schemes in application level fault tolerance,” in Proc. 29th Ann. Int. Symp. on Fault-Tolerant Computing, 1999, pp. 322–329.
[103] R., Ghosh, K. S., Trivedi, V., Naik, and D. S., Kim, “End-to-end performability analysis for infrastructure-as-a-service cloud: An interacting stochastic models approach,” in Proc. IEEE Pacific Rim Int. Symp. on Dependable Computing, Dec. 2010, pp. 125–132.
[104] B. R., Haverkort, R., Marie, G., Rubino, and K. S., Trivedi, eds., Performability Modelling: Techniques and Tools. John Wiley & Sons, 2001.
[105] W., Sanders and J., Meyer, “A unified approach for specifying measures of performance, dependability and performability,” in Dependable Computing for Critical Applications, eds. A., Avižienis and J.-C., Laprie. Springer, 1991, vol. 4, pp. 215–237.
[106] K. S., Trivedi, S., Ramani, and R. M., Fricks, “Recent advances in modeling response-time distributions in real-time systems,Proceedings of the IEEE, vol. 91, no. 7, pp. 1023–1037, 2003.
[107] A., Avritzer, S., Suresh, D. S., Menasché, R. M. M., Leão, E. de Souza e, Silva, M. C., Diniz, K. S., Trivedi, L., Happe, and A., Koziolek, “Survivability models for the assessment of smart grid distribution automation network designs,” in Proc. 4th ACM/SPEC Int. Conf. on Performance Engineering. ACM, 2013, pp. 241–252.
[108] A., Koziolek, A., Avritzer, S., Suresh, D. S., Menasché, M. C., Diniz, E. de Souza e, Silva, R. M. M., Leão, K. S., Trivedi, and L., Happe, “Assessing survivability to support power grid investment decisions,Reliability Engineering and System Safety, vol. 155, pp. 30–43, 2016.
[109] A., Koziolek, A., Avritzer, S., Suresh, D. Sadoc, Menasche, K., Trivedi, and L., Happe, “Design of distribution automation networks using survivability modeling and power flow equations,” in Proc. IEEE 24th Int. Symp. on Software Reliability Engineering, Nov. 2013, pp. 41–50.
[110] M., Beccuti, S., Chiaradonna, F. D., Giandomenico, S., Donatelli, G., Dondossola, and G., Franceschinis, “Quantification of dependencies between electrical and information infrastructures,International Journal of Critical Infrastructure Protection, vol. 5, no. 1, pp. 14–27, 2012.