{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T03:10:17Z","timestamp":1654139417339},"reference-count":25,"publisher":"IGI Global","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,1,1]]},"abstract":"<p>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.<\/p>","DOI":"10.4018\/jaras.2013010101","type":"journal-article","created":{"date-parts":[[2013,3,6]],"date-time":"2013-03-06T18:21:33Z","timestamp":1362594093000},"page":"1-25","source":"Crossref","is-referenced-by-count":0,"title":["An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems"],"prefix":"10.4018","volume":"4","author":[{"given":"Felicita","family":"Di Giandomenico","sequence":"first","affiliation":[{"name":"Istituto di Scienza e Tecnologie dell\u2019Informazione \u201cAlessandro Faedo\u201d, Consiglio Nazionale delle Ricerche, Pisa, Italy"}]},{"given":"Antonia","family":"Bertolino","sequence":"additional","affiliation":[{"name":"Istituto di Scienza e Tecnologie dell\u2019Informazione \u201cAlessandro Faedo\u201d, Consiglio Nazionale delle Ricerche, Pisa, Italy"}]},{"given":"Antonello","family":"Calabr\u00f2","sequence":"additional","affiliation":[{"name":"Istituto di Scienza e Tecnologie dell\u2019Informazione \u201cAlessandro Faedo\u201d, Consiglio Nazionale delle Ricerche, Pisa, Italy"}]},{"given":"Nicola","family":"Nostro","sequence":"additional","affiliation":[{"name":"Istituto di Scienza e Tecnologie dell\u2019Informazione \u201cAlessandro Faedo\u201d, Consiglio Nazionale delle Ricerche, Pisa, Italy"}]}],"member":"2432","reference":[{"key":"jaras.2013010101-0","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.362"},{"issue":"1","key":"jaras.2013010101-1","first-page":"95","article-title":"Probability plotting methods and order statistics.","volume":"24","author":"V.Barnett","year":"1975","journal-title":"Journal of the Royal Statistical Society. Series C, Applied Statistics"},{"key":"jaras.2013010101-2","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Calabr\u00f2, 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).","DOI":"10.1007\/978-3-642-21455-4_11"},{"key":"jaras.2013010101-3","first-page":"57","article-title":"Model-based evaluation as a support to the design of dependable systems","author":"A.Bondavalli","year":"2005","journal-title":"Dependable computing systems: Paradigms, performance issues, and applications"},{"key":"jaras.2013010101-4","doi-asserted-by":"crossref","unstructured":"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).","DOI":"10.1109\/ACSD.2009.6"},{"key":"jaras.2013010101-5","doi-asserted-by":"publisher","DOI":"10.1016\/0169-023X(94)90006-X"},{"key":"jaras.2013010101-6","doi-asserted-by":"crossref","unstructured":"Csertan, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., & Varro, D. (2002). VIATRA - Visual automated transformations for formal verification and validation of UML models. In Proceedings of the 17th IEEE International Conference on Automated Software Engineering (pp. 267-270).","DOI":"10.1109\/ASE.2002.1115027"},{"key":"jaras.2013010101-7","doi-asserted-by":"crossref","unstructured":"Cugola, G., & Margara, A. (2010). TESLA: A formally defined event specification language. In Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems (pp. 50-61).","DOI":"10.1145\/1827418.1827427"},{"key":"jaras.2013010101-8","doi-asserted-by":"crossref","unstructured":"Di Marco, A., Pompilio, C., Bertolino, A., Calabr\u00f2, A., Lonetti, F., & Sabetta, A. (2011). Yet another meta-model to specify non-functional properties. In Proceedings of the International Workshop on Quality Assurance for Service-based Applications, Lugano, Switzerland (pp. 9-16).","DOI":"10.1145\/2031746.2031751"},{"key":"jaras.2013010101-9","doi-asserted-by":"crossref","unstructured":"Ehab Al-Shaer, H., Abdel-wahab, H., & Maly, K. (1999). HiFi: A new monitoring architecture for distributed systems management. In Proceedings of the 19th IEEE International Conference on Distributed Computing Systems (pp. 171-178).","DOI":"10.1109\/ICDCS.1999.776518"},{"key":"jaras.2013010101-10","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264611"},{"key":"jaras.2013010101-11","unstructured":"EsperTech Inc. (2008). Esper: Event Stream and Complex Event Processing for Java (kein Datum). Retrieved from http:\/\/www.espertech.com\/products\/esper.php"},{"key":"jaras.2013010101-12","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90020-0"},{"key":"jaras.2013010101-13","doi-asserted-by":"publisher","DOI":"10.1088\/0967-1846\/4\/2\/004"},{"key":"jaras.2013010101-14","doi-asserted-by":"crossref","unstructured":"Masci, P., Nostro, N., & Di Giandomenico, F. (2011). On enabling dependability assurance in heterogeneous networks through automated model-based analysis. In E. A. Troubitsyna (Ed.), Proceedings of the Third International Workshop on Software Engineering for Resilient Systems (LCNS 6968, pp. 78-92).","DOI":"10.1007\/978-3-642-24124-6_7"},{"key":"jaras.2013010101-15","doi-asserted-by":"crossref","unstructured":"Masci, P., Martinucci, M., & Di Giandomenico, F. (2011). Towards automated dependability analysis of dynamically connected systems. In Proceedings of the IEEE International Symposium on Autonomous Decentralized Systems, Kobe, Japan (pp. 139-146).","DOI":"10.1109\/ISADS.2011.23"},{"key":"jaras.2013010101-16","doi-asserted-by":"crossref","unstructured":"Mishra, K., & Trivedi, K. S. (2006). Model based approach for autonomic availability management. In D. Penkler, M. Reitenspiess, & F. Tam (Eds.), Proceedings of the Third International Service Availability Symposium (LNCS 4328, pp. 1-16).","DOI":"10.1007\/11955498_1"},{"key":"jaras.2013010101-17","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.11"},{"key":"jaras.2013010101-18","unstructured":"Paolucci, M., Souville, B., Saadi, R., Blair, G. S., Grace, P., Huynh, T., & Chatel, P. (2011). Deliverable 6.1 \u2013 Experiment scenarios, prototypes and report Iteration 1. Retrieved from http:\/\/hal.archives-ouvertes.fr\/docs\/00\/58\/49\/23\/PDF\/connect_WP6_D62.pdf"},{"key":"jaras.2013010101-19","doi-asserted-by":"crossref","unstructured":"Pietrantuono, R., Russo, S., & Trivedi, K. S. (2010). Online monitoring of software system reliability. In Proceedings of the European Dependable Computing Conference (pp. 209-218).","DOI":"10.1109\/EDCC.2010.33"},{"key":"jaras.2013010101-20","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2004.1265833"},{"key":"jaras.2013010101-21","unstructured":"Proctor, M., Verlaenen, K., Tirelli, E., De Smet, G., Rikkola, T., & Liu, J. \u2026Anstis, M. (n.d.). Drools fusion: Complex event processor (kein Datum). Retrieved from http:\/\/www.jboss.org\/drools\/drools-fusion.html"},{"key":"jaras.2013010101-22","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(92)90006-9"},{"key":"jaras.2013010101-23","unstructured":"Simoncini, L., Baldoni, R., Bernardeschi, C., Bloomfield, R., Bondavalli, A., & Cachin, C. \u2026Winckler, M. (2007). EU project ReSIST: Resilience for survivability in IST. Deliverable D13: From Resilience-Building to Resilience-Scaling Technologies: Directions. Retrieved from http:\/\/www.resist-noe.org\/Publications\/Deliverables\/D38-Courseware.pdf"},{"key":"jaras.2013010101-24","author":"K. S.Trivedi","year":"2002","journal-title":"Probability and statistics with reliability, queuing and computer"}],"container-title":["International Journal of Adaptive, Resilient and Autonomic Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=75547","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T02:46:04Z","timestamp":1654137964000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jaras.2013010101"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2013,1,1]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,1]]}},"URL":"https:\/\/doi.org\/10.4018\/jaras.2013010101","relation":{},"ISSN":["1947-9220","1947-9239"],"issn-type":[{"value":"1947-9220","type":"print"},{"value":"1947-9239","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,1]]}}}