Affiliation:
1. Istituto di Scienza e Tecnologie dell’Informazione “Alessandro Faedo”, Consiglio Nazionale delle Ricerche, Pisa, Italy
Abstract
Complexity, heterogeneity, interdependency and, especially, evolution of system/services specifications, related operating environments and user needs, are more and more highly relevant characteristics of modern and future software applications. Taking advantage of the experience gained in the context of the European project Connect, which addresses the challenging and ambitious topic of eternally functioning distributed and heterogeneous systems, this paper presents a framework to analyse and assess dependability and performance properties in dynamic and evolving contexts. The goal is to develop an adaptive approach by coupling stochastic model-based analysis, performed at design time to support the definition and implementation of software products complying with their stated dependability and performance requirements, with run-time monitoring to re-calibrate and enhance the dependability and performance prediction along evolution. The proposed framework for adaptive assessment is described and illustrated through a case study. To simplify the description while making more concrete the approach under study, the authors adopted the setting and terminology of the Connect project.
Reference25 articles.
1. Toward open-world software: Issues and challenges
2. Probability plotting methods and order statistics.;V.Barnett;Journal of the Royal Statistical Society. Series C, Applied Statistics,1975
3. Bertolino, A., Calabrò, A., Di Giandomenico, F., & Nostro, N. (2011). Dependability and performance assessment of dynamic CONNECTed systems. In M. Bernardo & V. Issarny (Eds.), Proceedings of the 11th International School on Formal Methods for the Design of Computer Communications and Software Systems (LNCS 6659, pp. 350-392).
4. Model-based evaluation as a support to the design of dependable systems;A.Bondavalli;Dependable computing systems: Paradigms, performance issues, and applications,2005
5. Carmona, J., Cortadella, J., & Kishinevsky, M. (2009). Genet: A tool for the synthesis and mining of petri Nets. In Proceedings of the 9th International Conference on Application of Concurrency to System Design (pp. 181-185).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献