{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:20:32Z","timestamp":1759033232386,"version":"3.40.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,9,14]],"date-time":"2012-09-14T00:00:00Z","timestamp":1347580800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1007\/s10270-012-0264-x","type":"journal-article","created":{"date-parts":[[2012,9,13]],"date-time":"2012-09-13T09:24:51Z","timestamp":1347528291000},"page":"765-787","source":"Crossref","is-referenced-by-count":3,"title":["Experience with model-based performance, reliability, and adaptability assessment of a complex industrial architecture"],"prefix":"10.1007","volume":"12","author":[{"given":"Daniel Dominguez","family":"Gouv\u00eaa","sequence":"first","affiliation":[]},{"given":"Cyro de A. Assis D.","family":"Muniz","sequence":"additional","affiliation":[]},{"given":"Gilson A.","family":"Pinto","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Avritzer","sequence":"additional","affiliation":[]},{"given":"Rosa Maria Meri","family":"Le\u00e3o","sequence":"additional","affiliation":[]},{"given":"Edmundo","family":"de Souza e Silva","sequence":"additional","affiliation":[]},{"given":"Morganna Carmem","family":"Diniz","sequence":"additional","affiliation":[]},{"given":"Vittorio","family":"Cortellessa","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Berardinelli","sequence":"additional","affiliation":[]},{"given":"Julius C. B.","family":"Leite","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Moss\u00e9","sequence":"additional","affiliation":[]},{"given":"Yuanfang","family":"Cai","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Dalton","sequence":"additional","affiliation":[]},{"given":"Lucia","family":"Happe","sequence":"additional","affiliation":[]},{"given":"Anne","family":"Koziolek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,9,14]]},"reference":[{"key":"264_CR1","doi-asserted-by":"crossref","unstructured":"Abdelmoez, W., Nassar, D.E.M., Shereshevsky, M., Gradetsky, N., Gunnalan, R., Ammar, H.H., Yu, B., Mili, A.: Error propagation in software architectures. In: IEEE Metrics, pp. 384\u2013393. IEEE Computer Society (2004)","DOI":"10.1109\/METRIC.2004.1357923"},{"issue":"5","key":"264_CR2","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"NC Audsley","year":"1993","unstructured":"Audsley, N.C., Burns, A., Richardson, M.F., Tindell, K., Wellings, A.J.: Applying new scheduling theory to static priority preemptive scheduling. Softw. Eng. J. 8(5), 284\u2013292 (1993)","journal-title":"Softw. Eng. J."},{"key":"264_CR3","doi-asserted-by":"crossref","unstructured":"Baker, T.P.: A stack-based resource allocation policy for real-time processes. In: IEEE Real-Time Systems, Symposium, pp. 191\u2013200 (1990)","DOI":"10.1109\/REAL.1990.128747"},{"key":"264_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2366.001.0001","volume-title":"Design Rules. The Power of Modularity, vol. 1","author":"CY Baldwin","year":"2000","unstructured":"Baldwin, C.Y., Clark, K.B.: Design Rules. The Power of Modularity, vol. 1. MIT Press, Cambridge (2000)"},{"key":"264_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","volume":"82","author":"S Becker","year":"2009","unstructured":"Becker, S., Koziolek, H., Reussner, R.: The Palladio component model for model-driven performance prediction. J. Syst. Softw. 82, 3\u201322 (2009)","journal-title":"J. Syst. Softw."},{"key":"264_CR6","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.: A dependability profile within marte. Softw. Syst. Model. 1\u201324. doi: 10.1007\/s10270-009-0128-1 (2009)","DOI":"10.1007\/s10270-009-0128-1"},{"issue":"12","key":"264_CR7","doi-asserted-by":"crossref","first-page":"1429","DOI":"10.1109\/12.477248","volume":"44","author":"A Burchard","year":"1995","unstructured":"Burchard, A., Liebeherr, J., Oh, Y., Son, S.H.: New strategies for assigning real-time tasks to multiprocessor systems. IEEE Trans. Comput. 44(12), 1429\u20131442 (1995)","journal-title":"IEEE Trans. Comput."},{"key":"264_CR8","volume-title":"Real-Time Systems and Programming Languages: Ada, Real-Time Java and C\/Real-Time POSIX","author":"A Burns","year":"2009","unstructured":"Burns, A., Wellings, A.: Real-Time Systems and Programming Languages: Ada, Real-Time Java and C\/Real-Time POSIX. Addison-Wesley Educational Publishers Inc, New York (2009)"},{"key":"264_CR9","unstructured":"Cai, Y.: Modularity in design: formal modeling and automated analysis. PhD thesis, University of Virginia, August 2006"},{"key":"264_CR10","doi-asserted-by":"crossref","unstructured":"Cai, Y., Sullivan, K.: A formal model for automated software modularity and evolvability analysis. ACM Trans. Softw. Eng. Methodol. (2012)","DOI":"10.1145\/2377656.2377658"},{"key":"264_CR11","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Grassi, V.: A modeling approach to analyze the impact of error propagation on reliability of component-based systems. In: Schmidt, H.W., Crnkovic, I., Heineman, G.T., Stafford, J.A. (eds.) Proceedings of the 10th International Conference on Component-based Software Engineering. Lecture Notes in Computer Science, vol. 4608, pp. 140\u2013156. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73551-9_10"},{"key":"264_CR12","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Singh, H., Cukic, B.: Early reliability assessment of UML based software models. In: Workshop on Software and Performance, pp. 302\u2013309 (2002)","DOI":"10.1145\/584408.584415"},{"issue":"4","key":"264_CR13","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/1530873.1530886","volume":"36","author":"E Souza e Silva de","year":"2009","unstructured":"de Souza e Silva, E., Figueiredo, D.R., Le\u00e3o, R.M.: The TANGRAMII integrated modeling environment for computer systems and networks. SIGMETRICS Perform. Eval. Rev. 36(4), 64\u201369 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"264_CR14","doi-asserted-by":"crossref","unstructured":"Duarte, F., Pires, C., de Souza, C.A., Ros, J.P., Le\u00e3o, R.M.M., de Souza e Silva, E., Leite, J.C.B., Cortellessa, V., Mosse, D., Cai, Y.: Experience with a new architecture review process using a globally distributed architecture review team. In: The 5th IEEE International Conference on Global Software Engineering (ICGSE 2010), pp. 109\u2013118, Los Alamitos, CA, USA. IEEE Computer Society (2010)","DOI":"10.1109\/ICGSE.2010.20"},{"issue":"6","key":"264_CR15","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1109\/12.24286","volume":"38","author":"JB Dugan","year":"1989","unstructured":"Dugan, J.B., Trivedi, K.S.: Coverage modeling for dependability analysis of fault-tolerant systems. IEEE Trans. Comput. 38(6), 775\u2013787 (1989)","journal-title":"IEEE Trans. Comput."},{"key":"264_CR16","unstructured":"Federal University of Rio de Janeiro. Tangram-II website. http:\/\/www.land.ufrj.br\/tools\/tangram2\/tangram2.html (2010)"},{"key":"264_CR17","doi-asserted-by":"crossref","unstructured":"Goel, A.L., Okumoto, K.: Time-dependent error-detection rate model for software reliability and other performance measures. IEEE Trans. Reliab. R-28(3), 206\u2013211 (1979)","DOI":"10.1109\/TR.1979.5220566"},{"issue":"4","key":"264_CR18","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1109\/TR.2006.884587","volume":"55","author":"S Gokhale","year":"2006","unstructured":"Gokhale, S., Trivedi, K.: Analytical models for architecture-based software reliability prediction: a unification framework. IEEE Trans. Reliab. 55(4), 578\u2013590 (2006)","journal-title":"IEEE Trans. Reliab."},{"key":"264_CR19","doi-asserted-by":"crossref","unstructured":"Gouv\u00eaa, D.D., Muniz, C., Pinto, G., Avritzer, A., Le\u00e3o, R.M.M., de Souzae Silva, E., Diniz, M.C., Berardinelli, L., Leite, J.C.B., Moss\u00e9, D., Cai, Y., Dalton, M., Kapova, L., Koziolek, A.: Experience building non-functional requirement models of a complex industrial architecture. In: Proceeding of the Second Joint WOSP\/SIPEW International Conference on Performance, Engineering (ICPE\u20192011) (2011)","DOI":"10.1145\/1958746.1958757"},{"key":"264_CR20","doi-asserted-by":"crossref","unstructured":"Kapova, L., Reussner, R.: Application of advanced model-driven techniques in performance engineering. In: Aldini, A., Bernardo, M., Bononi, L., Cortellessa, V. (eds.) Computer Performance Engineering. Lecture Notes in Computer Science, vol. 6342, pp. 17\u201336. Springer, Berlin. doi: 10.1007\/978-3-642-15784-4_2 (2010)","DOI":"10.1007\/978-3-642-15784-4_2"},{"issue":"6","key":"264_CR21","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/52.542294","volume":"13","author":"R Kazman","year":"1996","unstructured":"Kazman, R., Abowd, G., Bass, L., Clements, P.: Scenario-based analysis of software architecture. IEEE Softw. 13(6), 47\u201355 (1996)","journal-title":"IEEE Softw."},{"key":"264_CR22","volume-title":"Parameter Dependencies for Reusable Performance Specifications of Software Components. The Karlsruhe Series on Software Design and Quality, vol. 2","author":"H Koziolek","year":"2008","unstructured":"Koziolek, H.: Parameter Dependencies for Reusable Performance Specifications of Software Components. The Karlsruhe Series on Software Design and Quality, vol. 2. Universit\u00e4tsverlag Karlsruhe, Karlsruhe (2008)"},{"key":"264_CR23","doi-asserted-by":"crossref","unstructured":"Lehoczky, J., Sha, L., Ding, Y.: The rate monotonic scheduling: Exact characterization and average case behavior. In: Symposium on IEEE Real-Time Systems, pp. 166\u2013171 (1989)","DOI":"10.1109\/REAL.1989.63567"},{"issue":"1","key":"264_CR24","first-page":"47","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.: Scheduling algorithms for multiprogramming in a hard real-time environment. J. ACM 20(1), 47\u201361 (1973)","journal-title":"J. ACM"},{"issue":"2","key":"264_CR25","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/52.199724","volume":"10","author":"J Musa","year":"1993","unstructured":"Musa, J.: Operational profiles in software-reliability engineering. IEEE Softw. 10(2), 14\u201332 (1993)","journal-title":"IEEE Softw."},{"key":"264_CR26","unstructured":"Object Management Group (OMG). UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems (formal\/2009-11-02). http:\/\/www.omgmarte.org\/ (2009)"},{"key":"264_CR27","unstructured":"Pinto, G., Muniz, C., Pires, C., Leite, P., Leite, R.: Advanced control and optimization techniques applied to dynamic positioning systems. In: Rio Oil& Gas Expo and Conference, Sept 2010 (in press)"},{"key":"264_CR28","unstructured":"QNX Software Systems. QNX Neutrino RTOS. http:\/\/www.qnx.com\/products\/neutrino-rtos\/neutrino-rtos.html (2010)"},{"key":"264_CR29","doi-asserted-by":"crossref","unstructured":"Rajkumar, R., Sha, L., Lehoczky, J.P.: Real-time synchronization protocols for multiprocessors. In: Symposium on IEEE Real-Time Systems, pp. 259\u2013269 (1988)","DOI":"10.1109\/REAL.1988.51121"},{"key":"264_CR30","doi-asserted-by":"crossref","unstructured":"Sangal, N., Jordan, E., Sinha, V., Jackson, D.: Using dependency models to manage complex software architecture. In: 20th Conference on Object-Oriented Proceedings, pp. 167\u2013176 (2005)","DOI":"10.1145\/1094811.1094824"},{"key":"264_CR31","doi-asserted-by":"crossref","unstructured":"Sethi, K., Cai, Y., Wong, S., Garcia, A., Sant\u2019Anna, C.: From retrospect to prospect: assessing modularity and stability from software architecture. In: Joint 8th Working IEEE\/IFIP Conference on Software Architecture and 3rd European Conference on Software Architecture (WICSA\/ECSA), pp. 269\u2013272 (2009)","DOI":"10.1109\/WICSA.2009.5290817"},{"key":"264_CR32","doi-asserted-by":"crossref","unstructured":"Sunny Wong, G.V.G.S., Cai, Y., Sethi, K.: Design rule hierarchies and parallelism in software development tasks. In: Proceedings of 24th IEEE\/ACM International Conference on Automated Software Engineering, pp. 197\u2013208. IEEE Computer Society (2009)","DOI":"10.1109\/ASE.2009.53"},{"key":"264_CR33","doi-asserted-by":"crossref","unstructured":"Wong, S., Cai, Y.: Improving the efficiency of dependency analysis in logical decision models. In: Proceedings of 24th IEEE\/ACM International Conference on Automated Software Engineering, pp. 173\u2013184. IEEE Computer Society (2009)","DOI":"10.1109\/ASE.2009.55"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0264-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0264-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0264-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T12:39:35Z","timestamp":1744115975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0264-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,14]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["264"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0264-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2012,9,14]]}}}