ABSTRACT
For distributed system services implemented on a cloud, system verification assumes added importance because of third-party control of cloud resources and the attendant problems of faults, QoS degradations, and security violations. Our paper focuses on a "model-based assessment" to reason about the non-functional properties of a cloud-based distributed system using observational agents. 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 CDN realized on cloud infrastructures is also described.
- B. Li, K. Nahrstedt. A Control-based Middleware Framework for Quality of Service Adaptations. In IEEE Journal on Selected Areas in Commun., 17(9), 1999. Google ScholarDigital Library
- C. Lu, Y. Lu, T. F. Abdelzaher, J. A. Stankovic, S. H.. Son. Feedback Control Architecture and Design Methodology for Service Delay Guarantees in Web Servers. In IEEE Trans. on Par. and Distr. Sys., 2006. Google ScholarDigital Library
- A. Avizienis, J. C. Laprie, B. Randell, C. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing. In IEEE Transactions on Dependable and Secure Computing, 1(1), Jan. 2004. Google ScholarDigital Library
- P. G. Bridges, M. Hiltunen, and R. D. Schlichting. Cholla: A Framework for Composing and Coordinating Adaptations in Networked Systems. In IEEE Transactions on Computers, 58(11), Nov. 2009. Google ScholarDigital Library
- N. S. Rosa, P. R. F. Cunha, and G. R. R. Justo. ProcessNFL: A Language for Describing Non-Functional Properties. In proc. 35th Hawaii International Conference on System Sciences (HICSS), IEEE, 2002. Google ScholarDigital Library
- D. Lee, A. Lopes, and A. P. Heffter (editors). Formal Techniques for Distributed Systems. In IFIP Intl. Conf FMOODS2009-FORTE2009, Springer-Verlag publ., LNCS5522, 2009. Google ScholarDigital Library
- I. Schaefer and A. P. Heffter. Slicing for Model Reduction in Adaptive Embedded Systems Development. In workshop on Software Engg. for Adaptive Self-managing Systems (SEAMS), May 2008. Google ScholarDigital Library
- J. Yi, H. Woo, J. C. Browne, A. K. Mok, F. Xie, E. Atkins, and C. G. Lee. Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. In IEEE Real-time and Embedded Technology and Applications Symp., pp.137-146, 2008. Google ScholarDigital Library
- M. Cordier, P. Dague, M. Dumas, F. Levy, A. Montmain, M. Staroswiecki, and L. Trave-massuyes. A comparative analysis of AI and control theory approaches to model-based diagnosis. In proc. 14th European Conference on Artificial Intelligence, pp.136-140, 2000.Google ScholarDigital Library
- E. Fabre, A. Aghasaryan, A. Benveniste, R. Boubour, and C. Jard. Fault detection and diagnosis in distributed systems: an approach by partially Stochastic Petri nets. In Journal of Discrete Event Dynamic Systems, vol.8, pp.203-231, 1998. Google ScholarDigital Library
- P. E. Lanigan, P. Narasimhan, and T. E. Fuhrman. Experiences with a CANoe-based Fault Injection Framework for AUTOSTAR. In proc. IEEE/IFIP Conf. on Dependable Systems and Networks (DSN’10), Chicago (IL), June 2010.Google Scholar
- A. Rowe, G. Bhatia, and R. Rajkumar. A Model-Based Design Approach for Wireless Sensor-Actuator Networks. In workshop on Analytic Virtual Integration of Cyber-Physical Systems (AVICPS), San Diego (CA), 2010.Google Scholar
- J. Keeney and V. Cahill. Chisel: A Policy-Driven, Context-Aware, Dynamic Adaptation Framework. In proc. IEEE Intl. Workshop on Policies for Distributed Systems and Networks (POLICY’03), June 2003. Google ScholarDigital Library
- Y. Chen, R. Katz, and J. Kubiatowicz. Dynamic Replica Placement for Scalable Content Delivery. In proc. Intl. Workshop on Peer-to-Peer Systems, LNCS-2429, Springer-Verlag, pp.306-318, 2002. Google ScholarDigital Library
- K. Ravindran. QoS Auditing for Evaluation of SLA in Cloud-based Distributed Services. In proc. Cloud Security Auditing Workshop (CSAW), IEEE Services Conference, Santa Clara (CA), June 2013. Google ScholarDigital Library
- J. Abawajy. Determining Service Trustworthiness in Intercloud Computing Environments. In proc. 10th Intl. Symp. on Pervasive Systems, Algorithms, and Networks, Kaohsiung (Taiwan), Dec. 2009. Google ScholarDigital Library
- K. Ravindran. Model-based Engineering for Certification of Complex Adaptive Network Systems. In proc. IEEE Workshop on Cyber-Physical Networking Systems, ICDCS’12, Macau (China), June 2012. Google ScholarDigital Library
Index Terms
- Verification of non-functional properties of cloud-based distributed system services
Recommendations
Consumer-centric non-functional properties of SOA-based services
PESOS 2014: Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud SystemsAn effective SOA service development approach requires the identification, specification, implementation, aggregation, management and monitoring of service-related Non-Functional Properties (NFPs). However, commonly nowadays, NFPs are often not handled ...
Pattern-based orchestration and automatic verification of composite cloud services
Recent years have seen an increase of complexity in paradigms and languages for development of Cloud Systems. The need to build value added services and resources promoted pattern-based composition and orchestration as new hot research topics. Anyway, ...
An Event-B based approach for cloud composite services verification
AbstractThe verification of the Cloud composite services’ correctness is challenging. In fact, multiple component services, derived from different Cloud providers with different service description languages and communication protocols, are involved in ...
Comments