{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T21:15:43Z","timestamp":1770498943575,"version":"3.49.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031345593","type":"print"},{"value":"9783031345609","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-34560-9_6","type":"book-chapter","created":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T01:05:06Z","timestamp":1686099906000},"page":"88-104","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Modular Quality-of-Service Analysis of\u00a0Software Design Models for\u00a0Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3375-7256","authenticated-orcid":false,"given":"Riccardo","family":"Pinciroli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3154-2438","authenticated-orcid":false,"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7675-6942","authenticated-orcid":false,"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,6,8]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Ali, A., et al.: It\u2019s not a sprint, it\u2019s a marathon: stretching multi-resource burstable performance in public clouds. In: International Middleware Conference, pp. 36\u201342 (2019)","DOI":"10.1145\/3366626.3368130"},{"key":"6_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/b97236","volume-title":"Applied Probability and Queues","author":"S Asmussen","year":"2003","unstructured":"Asmussen, S.: Applied Probability and Queues, vol. 51, 2nd edn. Springer, New York (2003). https:\/\/doi.org\/10.1007\/b97236","edition":"2"},{"issue":"4","key":"6_CR3","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1530873.1530877","volume":"36","author":"M Bertoli","year":"2009","unstructured":"Bertoli, M., et al.: JMT: performance engineering tools for system modeling. Perf. Eval. Rev. 36(4), 10\u201315 (2009)","journal-title":"Perf. Eval. Rev."},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1109\/TITS.2019.2899149","volume":"21","author":"F Bock","year":"2019","unstructured":"Bock, F., et al.: Smart parking: using a crowd of taxis to sense on-street parking space availability. IEEE Trans. Intell. Transp. Syst. 21(2), 496\u2013508 (2019)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"6_CR5","doi-asserted-by":"publisher","DOI":"10.1002\/0471791571","volume-title":"Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications","author":"G Bolch","year":"2006","unstructured":"Bolch, G., et al.: Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications. Wiley, Hoboken (2006)"},{"key":"6_CR6","volume-title":"Software Design","author":"D Budgen","year":"2003","unstructured":"Budgen, D.: Software Design. Pearson Education, London (2003)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-030-86044-8_4","volume-title":"Software Architecture","author":"J C\u00e1mara","year":"2021","unstructured":"C\u00e1mara, J., Silva, M., Garlan, D., Schmerl, B.: Explaining architectural design tradeoff spaces: a machine learning approach. In: Biffl, S., Navarro, E., L\u00f6we, W., Sirjani, M., Mirandola, R., Weyns, D. (eds.) ECSA 2021. LNCS, vol. 12857, pp. 49\u201365. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86044-8_4"},{"key":"6_CR8","volume-title":"Non-functional Requirements in Software Engineering","author":"L Chung","year":"2012","unstructured":"Chung, L., et al.: Non-functional Requirements in Software Engineering, vol. 5. Springer, New York (2012)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-319-39696-5_25","volume-title":"Advanced Information Systems Engineering","author":"E Fadda","year":"2016","unstructured":"Fadda, E., Plebani, P., Vitali, M.: Optimizing monitorability of multi-cloud applications. In: Nurcan, S., Soffer, P., Bajec, M., Eder, J. (eds.) CAiSE 2016. LNCS, vol. 9694, pp. 411\u2013426. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39696-5_25"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1016\/j.rser.2014.01.048","volume":"32","author":"S Gazafrudi","year":"2014","unstructured":"Gazafrudi, S., Nikdel, M.: Various battery models for various simulation studies and applications. Renew. Sustain. Energy Rev. 32, 477\u2013485 (2014)","journal-title":"Renew. Sustain. Energy Rev."},{"issue":"4","key":"6_CR11","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1007\/s10515-018-0235-8","volume":"25","author":"S Gerasimou","year":"2018","unstructured":"Gerasimou, S., Calinescu, R., Tamburrelli, G.: Synthesis of probabilistic models for quality-of-service software engineering. Autom. Softw. Eng. 25(4), 785\u2013831 (2018). https:\/\/doi.org\/10.1007\/s10515-018-0235-8","journal-title":"Autom. Softw. Eng."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Haskins, B., et al.: Error cost escalation through the project life cycle. In: INCOSE Annual International Symposium, pp. 1723\u20131737 (2004)","DOI":"10.1002\/j.2334-5837.2004.tb00608.x"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Kounev, S., et al.: Introduction to queueing petri nets: modeling formalism, tool support and case studies. In: International Conference on Performance Engineering, pp. 9\u201318 (2012)","DOI":"10.1145\/2188286.2188290"},{"key":"6_CR14","volume-title":"Quantitative System Performance - Computer System Analysis Using Queueing Network Models","author":"ED Lazowska","year":"1984","unstructured":"Lazowska, E.D., et al.: Quantitative System Performance - Computer System Analysis Using Queueing Network Models. Prentice Hall, Hoboken (1984)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"LiKamWa, R., et al.: Energy characterization and optimization of image sensing toward continuous mobile vision. In: International Conference on Mobile Systems, Applications, and Services, pp. 69\u201382 (2013)","DOI":"10.1145\/2462456.2464448"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s00607-019-00758-9","volume":"102","author":"I Lytra","year":"2020","unstructured":"Lytra, I., et al.: Quality attributes use in architecture design decision methods: research and practice. Computing 102(2), 551\u2013572 (2020)","journal-title":"Computing"},{"issue":"5","key":"6_CR17","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/0038-092X(93)90060-2","volume":"50","author":"JF Manwell","year":"1993","unstructured":"Manwell, J.F., McGowan, J.G.: Lead acid battery storage model for hybrid energy systems. Sol. Energy 50(5), 399\u2013405 (1993)","journal-title":"Sol. Energy"},{"key":"6_CR18","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-030-78288-7_9","volume-title":"Technological Innovation for Applied AI Systems","author":"AA Nazarenko","year":"2021","unstructured":"Nazarenko, A.A., Camarinha-Matos, L.M.: Collaborative cyber-physical systems design approach: smart home use case. In: Camarinha-Matos, L.M., Ferreira, P., Brito, G. (eds.) DoCEIS 2021. IAICT, vol. 626, pp. 92\u2013101. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78288-7_9"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Pinciroli, R., Trubiani, C.: Performance analysis of fault-tolerant multi-agent coordination mechanisms. IEEE Trans. Ind. Inform. (2023, Early Access)","DOI":"10.1109\/TII.2023.3234606"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-030-30281-8_2","volume-title":"Quantitative Evaluation of Systems","author":"A Platzer","year":"2019","unstructured":"Platzer, A.: The logical path to autonomous cyber-physical systems. In: Parker, D., Wolf, V. (eds.) QEST 2019. LNCS, vol. 11785, pp. 25\u201333. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30281-8_2"},{"issue":"4","key":"6_CR21","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1016\/j.ress.2008.09.007","volume":"94","author":"KD Rao","year":"2009","unstructured":"Rao, K.D., et al.: Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment. Reliab. Eng. Syst. Saf. 94(4), 872\u2013883 (2009)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-030-00761-4_18","volume-title":"Software Architecture","author":"Y Schneider","year":"2018","unstructured":"Schneider, Y., Busch, A., Koziolek, A.: Using informal knowledge for improving software quality trade-off decisions. In: Cuesta, C.E., Garlan, D., P\u00e9rez, J. (eds.) ECSA 2018. LNCS, vol. 11048, pp. 265\u2013283. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00761-4_18"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/978-3-031-07472-1_30","volume-title":"Advanced Information Systems Engineering","author":"H Shi","year":"2022","unstructured":"Shi, H., et al.: How big service and internet of services drive business innovation and transformation. In: Franch, X., Poels, G., Gailly, F., Snoeck, M. (eds.) CAiSE 2022. LNCS, vol. 13295, pp. 517\u2013532. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07472-1_30"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-319-65831-5_3","volume-title":"Software Architecture","author":"C Trubiani","year":"2017","unstructured":"Trubiani, C., Mirandola, R.: Continuous rearchitecting of QoS models: collaborative analysis for uncertainty reduction. In: Lopes, A., de Lemos, R. (eds.) ECSA 2017. LNCS, vol. 10475, pp. 40\u201348. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65831-5_3"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Vale, G., et al.: Designing microservice systems using patterns: an empirical study on quality trade-offs. In: International Conference on Software Architecture, pp. 69\u201379 (2022)","DOI":"10.1109\/ICSA53651.2022.00015"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/978-3-030-79382-1_27","volume-title":"Advanced Information Systems Engineering","author":"Y Verginadis","year":"2021","unstructured":"Verginadis, Y., Kritikos, K., Patiniotakis, I.: Data and cloud polymorphic application modelling in multi-clouds and fog environments. In: La Rosa, M., Sadiq, S., Teniente, E. (eds.) CAiSE 2021. LNCS, vol. 12751, pp. 449\u2013464. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79382-1_27"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Vitali, M.: Towards greener applications: enabling sustainable-aware cloud native applications design. In: International Conference of Advanced Information Systems Engineering, pp. 93\u2013108 (2022)","DOI":"10.1007\/978-3-031-07472-1_6"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Woodside, C.M., et al.: The future of software performance engineering. In: Workshop on the Future of Software Engineering (FOSE), pp. 171\u2013187 (2007)","DOI":"10.1109\/FOSE.2007.32"},{"issue":"4","key":"6_CR29","doi-asserted-by":"publisher","first-page":"1529","DOI":"10.1007\/s10270-013-0385-x","volume":"13","author":"CM Woodside","year":"2014","unstructured":"Woodside, C.M., et al.: Transformation challenges: from software models to performance models. Softw. Syst. Model. 13(4), 1529\u20131552 (2014)","journal-title":"Softw. Syst. Model."}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-34560-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T17:36:46Z","timestamp":1757093806000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-34560-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031345593","9783031345609"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-34560-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"8 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zaragoza","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"35","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}