Abstract
A system that is highly dependable under hostile conditions but whose dependability cannot be easily evaluated prior to the deployment of applications is less desirable than a system with lower but predictable dependability. This is because a decision-making on the deployment of high assurance systems is often based on a risk analysis of application failures. For system services implemented on a cloud, the problem of system certification assumes added importance because of third-party control of cloud resources and the attendant problems of faults, QoS degradations, and security violations. Our paper treats system dependability as an application-level QoS for management purposes, and advocates a probabilistic evaluation of dependability. Our approach is corroborated by measurements on system-level prototypes and simulation analysis of system models in the face of hostile environment conditions. A case study of content-distribution networks anchored on cloud infrastructures is also described.
This is a preview of subscription content, log in via an institution to check access.
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
Joshi, K.R., Bunker, G., Jahanian, F., Moorsel, A.V., Weinman, J.: (Panel Discussion) Dependability in the Cloud: Challenges and Opportunities. In: IEEE/IFIP Intl. Conf. on Dependable Systems and Networks (June 2009)
Li, B., Nahrstedt, K.: A Control-based Middleware Framework for Quality of Service Adaptations. IEEE JSACÂ 17(9) (September 1999)
Lamb, C.C., Jamkhedkar, P.A., Heileman, G.L., Abdallah, C.T.: Managed Control of Composite Cloud Systems. In: Proc. IEEE Intl. Symp. on Service-Oriented System Engineering, Irvine, CA (December 2011)
Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)
Bridges, P.G., Hiltunen, M., Schlichting, R.D.: Cholla: A Framework for Composing and Coordinating Adaptations in Networked Systems. IEEE Transactions on Computers 58(11), 1456–1469 (2009)
Sun Microsys. Introd. to Cloud Computing architecture. White Paper (June 2009)
Ravindran, K.: Dynamic Protocol-level Adaptations for Performance and Availability of Distributed Network Services. In: Modeling Autonomic Communication Environments. Multicon Lecture Notes (October 2007)
Chen, Y., Katz, R.H., Kubiatowicz, J.D.: Dynamic Replica Placement for Scalable Content Delivery. In: Druschel, P., Kaashoek, M.F., Rowstron, A. (eds.) IPTPS 2002. LNCS, vol. 2429, pp. 306–318. Springer, Heidelberg (2002)
Ravindran, K., Rabby, M., Macker, J.P., Adamson, B.: Group Communication for Event Dissemination in Dynamic Distributed Networks. IEEE Comsnets (2013)
Cordier, M., Dague, P., Dumas, M., Levy, F., Montmain, A., Staroswiecki, M., Trave-massuyes, L.: A comparative analysis of AI and control theory approaches to model-based diagnosis. In: Proc. 14th European Conf. on AI (2000)
Wu, J.: Optimization Algorithms for Proxy Placement in Content Distribution Network. Ph.D. Thesis, Dept. of Computer Science, City University of New York, Advisor:Â K. Ravindran (April 2011)
Lu, C., Lu, Y., Abdelzaher, T.F., Stankovic, J.A., Son, S.H.: Feedback Control Architecture and Design Methodology for Service Delay Guarantees in Web Servers. IEEE Trans. on Parallel and Distributed Systems 17(7) (September 2006)
Schaefer, I., Heffter, A.P.: Slicing for Model Reduction in Adaptive Embedded Systems Development. In: Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008 (May 2008)
Yi, J., Woo, H., Browne, J.C., Mok, A.K., Xie, F., Atkins, E., Lee, C.G.: Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. In: Proc. IEEE RTAS, pp. 137–146 (2008)
Brunner, M., Dudkowski, D., Mingardi, C., Nunzi, G.: Probabilistic Decentralized Network Management. In: Proc. IM 2009 (June 2009)
Keeney, J., Cahill, V.: Chisel: A Policy-Driven, Context-Aware, Dynamic Adaptation Framework. In: Proc. IEEE Intl. Workshop on Policies for Distributed Systems and Networks (POLICY 2003), pp. 3–14 (June 2003)
Ravindran, K.: Managing Robustness of Distributed Applications Under Uncertainties: An Information Assurance Perspective. In: Proc. Annual Cyber Security and Information Intelligence Workshop. ACM, Oak-Ridge (2010)
Chilwan, A.: Dependability Differentiation in Cloud Services. Master’s Thesis, Dept. of Telematics, Norwegian University of Science and Technology. P.E. Heegaard (July 2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ravindran, K. (2013). Dependability Modeling and Certification of Cloud-Based Distributed Systems. In: Pathan, M., Wei, G., Fortino, G. (eds) Internet and Distributed Computing Systems. IDCS 2013. Lecture Notes in Computer Science, vol 8223. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41428-2_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-41428-2_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41427-5
Online ISBN: 978-3-642-41428-2
eBook Packages: Computer ScienceComputer Science (R0)