Skip to main content Accessibility help
×
Hostname: page-component-586b7cd67f-t7fkt Total loading time: 0 Render date: 2024-11-29T16:04:36.032Z Has data issue: false hasContentIssue false

18 - Modeling Real-Life Systems

from Part VI - Case Studies

Published online by Cambridge University Press:  30 August 2017

Kishor S. Trivedi
Affiliation:
Duke University, North Carolina
Andrea Bobbio
Affiliation:
Università degli Studi del Piemonte Orientale, Italy
Get access

Summary

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Chapter
Information
Reliability and Availability Engineering
Modeling, Analysis, and Applications
, pp. 645 - 694
Publisher: Cambridge University Press
Print publication year: 2017

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] K. S., Trivedi, “Availability analysis of Cisco GSR12000 and Juniper M20/M40,” Duke University, Tech. Rep., 2000.
[2] F., Lee and M., Marathe, Beyond Redundancy: A Guide to Designing High-Availability Networks. Cisco, 1999.
[3] F., Lee, Cisco High-Availability Initiatives and Related Design Parameters. Cisco, 2000.
[4] 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.
[5] 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.Google Scholar
[6] 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.Google Scholar
[7] Internet Engineering Task Force. [Online]. Available: www.ietf.org/
[8] M., Grottke and K. S., Trivedi, “Fighting bugs: Remove, retry, replicate, and rejuvenate,IEEE Computer, vol. 40, no. 2, pp. 107–109, 2007.Google Scholar
[9] R., Matias, K. S., Trivedi, and P. R.M., Maciel, “Using accelerated life tests to estimate time to software aging failure,” in Proc. IEEE 21st Int. Symp. on Software Reliability Engineering, 2010, pp. 211–219.Google Scholar
[10] J., Zhao, Y., Jin, K. S., Trivedi, R. M., Jr., and Y., Wang, “Software rejuvenation scheduling using accelerated life testing,” JETC, vol. 10, no. 1, pp. 9:1–9:23, 2014.Google Scholar
[11] M., Hsueh, T., Tsai, and R., Iyer, “Fault injection techniques and tools,IEEE Computer, vol. 30, no. 4, pp. 75–82, Apr. 1997.Google Scholar
[12] R. K., Iyer, N., Nakka, W., Gu, and Z., Kalbarczyk, “Fault injection,” in Encyclopedia of Software Engineering, Nov 2010, ch. 29, pp. 287–299.
[13] K., Mishra, K. S., Trivedi, and R. Some, “Uncertainty analysis of the remote exploration and experimentation system,Journal of Spacecraft and Rockets, vol. 49, pp. 1032–1042, 2012.Google Scholar
[14] J. H., Lala and J. T., Sims, “A dependability architecture framework for remote exploration and experimentation computers,” Fast Abstract, FTCS-29, 1999.
[15] Myrinet. [Online]. Available: https://www.hpcresearch.nl/euroben/Overview/web11/ myrinet.php
[16] J., Rohr, “Software-implemented fault tolerance for supercomputing in space,” in Proc. 28th Int. Symp. Fault-Tolerant Computing. IEEE Computer Society, 1998.
[17] D., Chen, S., Dharmaraja, D., Chen, L., Li, K. S., Trivedi, R. R., Some, and A. P., Nikora, “Reliability and availability analysis for the JPL remote exploration and experimentation system,” in Proc. 2002 Int. Conf. on Dependable Systems and Networks, 2002, pp. 337–344.Google Scholar
[18] A., Avizienis, “The methodology of n-version programming,” in Software Fault Tolerance, ed. M. R., Lyu. John Wiley & Sons, 1994, ch. 2, pp. 23–46.
[19] B., Randell and J., Xu, “The evolution of the recovery block concept,” in Software Fault Tolerance, ed. M. R., Lyu. John Wiley & Sons, 1994, ch. 1, pp. 1–22.
[20] Y., Huang, C. M. R., Kintala, N., Kolettis, and N. D., Fulton, “Software rejuvenation: Analysis, module and applications,” in Proc. Int. Symp. on Fault-Tolerant Computing (FTCS), 1995, pp. 381–390.Google Scholar
[21] D., Rasch, “Sample size determination for estimating the parameter of an exponential distribution,Akademie der Landwirtacheftswissenschaften der DDR Forschungszentrurn für Tierproduktion, vol. 19, pp. 521–528, 1977.Google Scholar
[22] K., Trivedi, Probability and Statistics with Reliability, Queueing and Computer Science Applications, 2nd edn. John Wiley & Sons, 2001.
[23] J., Helton and F., Davis, “Latin hypercube sampling and the propagation of uncertainty in analyses of complex systems,Reliability Engineering and System Safety, vol. 81, no. 1, pp. 23–69, 2003.Google Scholar
[24] M. D., McKay, R. J., Beckman, and W. J., Conover, “A comparison of three methods for selecting values of input variables in the analysis of output from a computer code,Technometrics, vol. 42, no. 1, pp. 55–61, Feb. 2000.Google Scholar
[25] M. E., Johnson, Multivariate Statistical Simulation. John Wiley & Sons, 1987.
[26] N., Sato and K. S., Trivedi, “Stochastic modeling of composite web services for closed-form analysis of their performance and reliability bottlenecks,” in Proc. 5th Int. Conf. on Service-Oriented Computing, eds. B. J., Krämer, K.-J., Lin, and P., Narasimhan. Springer, 2007, pp. 107–118.
[27] Z., Zheng, K., Trivedi, K., Qiu, and R., Xia, “Semi-Markov models of composite web services for their performance, reliability and bottlenecks,” IEEE Transactions on Services Computing, vol. 6, no. 1, 2016.Google Scholar
[28] K. S., Trivedi, D., Wang, and J., Hunt, “Computing the number of calls dropped due to failures,” in Proc. 21st IEEE Int. Symp. on Software Reliability Engineering, IEEE, 2010, pp. 11–20.
[29] M., Calzarossa, R. A., Marie, and K. S., Trivedi, “System performance with user behavior graphs,Performance Evaluation, vol. 11, no. 3, pp. 155–164, 1990.Google Scholar
[30] D., Wang and K. S., Trivedi, “Modeling user-perceived reliability based on user behavior graphs,International Journal of Reliability, Quality and Safety Engineering, vol. 16, no. 4, pp. 303–329, 2009.Google Scholar
[31] 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.
[32] 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.
[33] S., Mondal, X., Yin, J., Muppala, J. Alonso, Lopez, and K. S., Trivedi, “Defects per million computation in service-oriented environments,IEEE Transactions on Services Computing, vol. 8, no. 1, pp. 32–46, Jan. 2015.Google Scholar
[34] 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.Google Scholar
[35] J., Blake and K., Trivedi, “Multistage interconnection network reliability,IEEE Transactions on Computers, vol. C-38, pp. 1600–1604, 1989.Google Scholar
[36] 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.Google Scholar
[37] 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.Google Scholar
[38] K., Hjelmgren, S., Svensson, and O., Hannius, “Reliability analysis of a single-engine aircraft FADEC,” in Proc. Ann. Reliability and Maintainability Symp., 1998, pp. 401–407.Google Scholar
[39] H., Kantz and K., Trivedi, “Reliability modeling of the MARS system: A case study in the use of different tools and techniques,” in Proc. 4th Int. Workshop on Petri Nets and Performance Models, 1991, pp. 268–277.Google Scholar
[40] D., Logothetis and K. S., Trivedi, “Reliability analysis of the double counter-rotating ring with concentrator attachments,IEEE/ACM Transactions on Networking, vol. 2, no. 5, pp. 520–532, Oct. 1994.Google Scholar
[41] D. N. P., Murthy and W., Blishke, Reliability: Modeling, Prediction, and Optimization. John Wiley & Sons, 2000.
[42] A., Ramesh, D., Twigg, U., Sandadi, and T., Sharma, “Reliability analysis of systems with operation-time management,IEEE Transactions on Reliability, vol. 51, no. 1, pp. 39–48, 2002.Google Scholar
[43] A. V., Ramesh, D. W., Twigg, U. R., Sandadi, T. C., Sharma, K. S., Trivedi, and A. K., Somani, “An integrated reliability modeling environment,Reliability Engineering and System Safety, vol. 65, no. 1, pp. 65–75, 1999.Google Scholar
[44] W. E., Smith and K. S., Trivedi, “Dependability evaluation of a class of multi-loop topologies for local area networks,IBM Journal of Research and Development, vol. 33, no. 5, pp. 511–423, 1989.Google Scholar
[45] D., Codetta-Raiteri and L., Portinale, “Dynamic Bayesian networks for fault detection, identification, and recovery in autonomous spacecraft,IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45, no. 1, pp. 13–24, Jan. 2015.Google Scholar
[46] K., Tiassou, K., Kanoun, M., KaÃcniche, C., Seguin, and C., Papadopoulos, “Aircraft operational reliability: A model-based approach and a case study,Reliability Engineering and System Safety, vol. 120, pp. 163–176, 2013.Google Scholar
[47] 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 (FTCS), 1999, pp. 322–329.Google Scholar
[48] R., Ghosh, F., Longo, F., Frattini, S., Russo, and K. S., Trivedi, “Scalable analytics for IaaS cloud availability,IEEE Transactions on Cloud Computing, vol. 2, no. 1, pp. 57–70, 2014.Google Scholar
[49] 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.Google Scholar
[50] O., Ibe, A., Sathaye, R., Howe, and K., Trivedi, “Stochastic Petri net modeling of VAXcluster system availability,” in Proc. 3rd Int. Workshop on Petri Nets and Performance Models, PNPM, 1989, pp. 112–121.Google Scholar
[51] 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.Google Scholar
[52] J. K., Muppala, A., Sathaye, R., Howe, and K. S., Trivedi, “Dependability modeling of a heterogeneous VAX-cluster system using stochastic reward nets,” in Hardware and Software Fault Tolerance in Parallel Computing Systems, ed. D. R., Avresky. Ellis Horwood, 1992, pp. 33–59.
[53] 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.
[54] 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.Google Scholar
[55] K., Vaidyanathan, R., Harper, S., Hunter, and K., Trivedi, “Analysis and implementation of software rejuvenation in cluster systems,” in Proc. Joint Int. Conf. on Measurements and Modeling of Computer Systems, SIGMETRICS/Performance, 2001, pp. 62–71.Google Scholar
[56] A., Bobbio, G., Bonanni, E., Ciancamerla, R., Clemente, A., Iacomini, M., Minichino, A., Scarlatti, R., Terruggia, and E., Zendri, “Unavailability of critical SCADA communication links interconnecting a power grid and a telco network,Reliability Engineering and System Safety, vol. 95, pp. 1345–1357, 2010.Google Scholar
[57] J., Zhao, Y., Wang, G., Ning, K. S., Trivedi, R., Matias, and K., Cai, “A comprehensive approach to optimal software rejuvenation,Performance Evaluation, vol. 70, no. 11, pp. 917–933, 2013.Google Scholar
[58] A., Avritzer, F. D., Giandomenico, A., Remke, and M., Riedl, Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities. Springer, 2012, pp. 41–63.
[59] Y., Cao, H., Sun, and K. S., Trivedi, “Performance analysis of reservation media-access protocol with access and serving queues under bursty traffic in GPRS/EGPRS,IEEE Transactions on Vehicular Technology, vol. 52, no. 6, pp. 1627–1641, 2003.Google Scholar
[60] 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.Google Scholar
[61] R., Ghosh, F., Longo, R., Xia, V. K., Naik, and K. S., Trivedi, “Stochastic model driven capacity planning for an infrastructure-as-a-service cloud,IEEE Transactions on Services Computing, vol. 7, no. 4, pp. 667–680, 2014.Google Scholar
[62] J. K., Muppala, K. S., Trivedi, V., Mainkar, and V. G., Kulkarni, “Numerical computation of response time distributions using stochastic reward nets,Annals of Operations Research, vol. 48, pp. 155–184, 1994.Google Scholar
[63] 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.Google Scholar
[64] 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.Google Scholar
[65] 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.Google Scholar
[66] 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 (PRDC), Dec 2010, pp. 125–132.
[67] M., Hsueh, R. K., Iyer, and K. S., Trivedi, “Performability modeling based on real data: A case study,IEEE Transactions on Computers, vol. 37, no. 4, pp. 478–484, 1988.Google Scholar
[68] 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.Google Scholar
[69] 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.Google Scholar
[70] R., Smith, K., Trivedi, and A., Ramesh, “Performability analysis: Measures, an algorithm and a case study,IEEE Transactions on Computers, vol. C-37, pp. 406–417, 1988.Google Scholar
[71] L., Gönczy, S., Chiaradonna, F. D., Giandomenico, A., Pataricza, A., Bondavalli, and T., Bartha, Dependability Evaluation of Web Service-Based Processes. Springer, 2006, pp. 166–180.
[72] S., Wang, X., Cui, J., Shi, M., Tomovic, and Z., Jiao, “Modeling of reliability and performance assessment of a dissimilar redundancy actuation system with failure monitoring,Chinese Journal of Aeronautics, vol. 29, no. 3, pp. 799–813, 2016.Google Scholar
[73] P., Heegaard and K., Trivedi, “Survivability quantification of communication services,” in Proc. 38th Ann. IEEE/IFIP Int. Conf. on Dependable Systems and Networks, DSN, 2008, pp. 462–471.Google Scholar
[74] 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.Google Scholar
[75] Y., Liu, V., Mendiratta, and K., Trivedi, “Survivability analysis of telephone access network,” in Proc. 15th Int. Symp. on Software Reliability Engineering (ISSRE), 2004, pp. 367–378.Google Scholar

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×