{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T04:11:49Z","timestamp":1747455109945,"version":"3.40.5"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319148021"},{"type":"electronic","value":"9783319148038"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14803-8_31","type":"book-chapter","created":{"date-parts":[[2015,1,10]],"date-time":"2015-01-10T01:03:21Z","timestamp":1420851801000},"page":"395-408","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Sensitivity Analysis of Reliability in Embedded Software"],"prefix":"10.1007","author":[{"given":"Indika","family":"Meedeniya","sequence":"first","affiliation":[]},{"given":"Aldeida","family":"Aleti","sequence":"additional","affiliation":[]},{"given":"Irene","family":"Moser","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"33-34","key":"31_CR1","doi-asserted-by":"publisher","first-page":"3190","DOI":"10.1016\/j.cma.2007.03.003","volume":"196","author":"H.-G. Beyer","year":"2007","unstructured":"Beyer, H.-G., Sendhoff, B.: Robust optimization - a comprehensive survey. Computer Methods in Applied Mechanics and Eng.\u00a0196(33-34), 3190\u20133218 (2007)","journal-title":"Computer Methods in Applied Mechanics and Eng."},{"issue":"2","key":"31_CR2","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1109\/TSE.1980.234477","volume":"6","author":"R.C. Cheung","year":"1980","unstructured":"Cheung, R.C.: A user-oriented software reliability model. IEEE Transactions on Software Engineering\u00a06(2), 118\u2013125 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"31_CR3","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1109\/TR.2004.833312","volume":"53","author":"D.W. Coit","year":"2004","unstructured":"Coit, D.W., Jin, T., Wattanapongsakorn, N.: System optimization with component reliability estimation uncertainty: a multi-criteria approach. IEEE Transactions on Reliability\u00a053(3), 369\u2013380 (2004)","journal-title":"IEEE Transactions on Reliability"},{"issue":"4","key":"31_CR4","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1016\/S0360-8352(01)00066-3","volume":"41","author":"D.W. Coit","year":"2002","unstructured":"Coit, D.W., Smith, A.E.: Genetic algorithm to maximize a lower-bound for system time-to-failure with uncertain component weibull parameters. Computers & Industrial Engineering\u00a041(4), 423\u2013440 (2002)","journal-title":"Computers & Industrial Engineering"},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-540-73551-9_10","volume-title":"Component-Based Software Engineering","author":"V. Cortellessa","year":"2007","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., Crnkovi\u0107, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol.\u00a04608, pp. 140\u2013156. Springer, Heidelberg (2007)"},{"key":"31_CR6","first-page":"341","volume-title":"Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011","author":"A. Filieri","year":"2011","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, May 21-28, pp. 341\u2013350. ACM, Waikiki (2011)"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Fiondella, L., Gokhale, S.S.: Software reliability with architectural uncertainties. In: IEEE International Symposium on Parallel and Distributed Processing, pp. 1\u20135. IEEE Computer Society (2008)","DOI":"10.1109\/IPDPS.2008.4536436"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"F\u00f6rster, M., Trapp, M.: Fault tree analysis of software-controlled component systems based on second-order probabilities. In: IEEE International Symposium on Software Reliability Engineering (ISSRE 2009), pp. 146\u2013154. IEEE Computer Society (2009)","DOI":"10.1109\/ISSRE.2009.22"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"Fredriksson, J., Nolte, T., Nolin, M., Schmidt, H.: Contract-based reusable worst-case execution time estimate. In: The International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 39\u201346 (2007)","DOI":"10.1109\/RTCSA.2007.32"},{"issue":"1","key":"31_CR10","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/TDSC.2007.4","volume":"4","author":"S.S. Gokhale","year":"2007","unstructured":"Gokhale, S.S.: Architecture-based software reliability analysis: Overview and limitations. IEEE Transactions Dependable and Secure Computing\u00a04(1), 32\u201340 (2007)","journal-title":"IEEE Transactions Dependable and Secure Computing"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Gokhale, S.S., Trivedi, K.S.: Reliability prediction and sensitivity analysis based on software architecture. In: International Symposium of Software Reliability Engineering (ISSRE 2002), pp. 64\u201378. IEEE Computer Society (2002)","DOI":"10.1109\/ISSRE.2002.1173214"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Go\u0161eva-Popstojanova, K., Hamill, M., Wang, X.: Adequacy, accuracy, scalability, and uncertainty of architecture-based software reliability: Lessons learned from large empirical case studies. In: International Symposium of Software Reliability Engineering (ISSRE 2006), pp. 197\u2013203. IEEE Computer Society (2006)","DOI":"10.1109\/ISSRE.2006.11"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Go\u0161eva-Popstojanova, K., Kamavaram Assessing, S.: uncertainty in reliability of component-based software systems. In: IEEE International Symposium on Software Reliability Engineering (ISSRE 2003), pp. 307\u2013320. IEEE Computer Society (2003)","DOI":"10.1109\/ISSRE.2003.1251052"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Go\u0161eva-Popstojanova, K., Kamavaram, S.: Software reliability estimation under uncertainty: Generalization of the method of moments. In: High-Assurance Systems Engineering (HASE 2004), pp. 209\u2013218. IEEE Computer Society (2004)","DOI":"10.1109\/HASE.2004.1281745"},{"issue":"2-3","key":"31_CR15","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0166-5316(01)00034-7","volume":"45","author":"K. Go\u0161eva-Popstojanova","year":"2001","unstructured":"Go\u0161eva-Popstojanova, K., Trivedi Architecture-based, K.S.: approach to reliability assessment of software systems. Performance Evaluation\u00a045(2-3), 179\u2013204 (2001)","journal-title":"Performance Evaluation"},{"issue":"4","key":"31_CR16","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/1059816.1059820","volume":"32","author":"M.Z. Kwiatkowska","year":"2005","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Probabilistic model checking in practice: case studies with prism. SIGMETRICS Performance Evaluation Review\u00a032(4), 16\u201321 (2005)","journal-title":"SIGMETRICS Performance Evaluation Review"},{"issue":"3","key":"31_CR17","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.ress.2004.06.002","volume":"87","author":"M. Marseguerra","year":"2005","unstructured":"Marseguerra, M., Zio, E., Podofillini, L.: Multiobjective spare part allocation by means of genetic algorithms and monte carlo simulation. Reliability Engineering & System Safety\u00a087(3), 325\u2013335 (2005)","journal-title":"Reliability Engineering & System Safety"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"Meedeniya, I., Aleti, A., Avazpour, I., Amin, A.: Robust archeopterix: Architecture optimization of embedded systems under uncertainty. In: 2012 2nd International Workshop on Software Engineering for Embedded Systems (SEES), pp. 23\u201329 (June 2012)","DOI":"10.1109\/SEES.2012.6225486"},{"key":"31_CR19","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/1810295.1810382","volume-title":"Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, ICSE 2010","author":"I. Meedeniya","year":"2010","unstructured":"Meedeniya, I.: An incremental methodology for quantitative software architecture evaluation with probabilistic models. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, ICSE 2010, May 1-8, vol.\u00a02, pp. 339\u2013340. ACM, Cape Town (2010)"},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"Meedeniya, I., Grunske, L.: An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters. In: IEEE International Symposium on Software Reliability Engineering (ISSRE 2010), pp. 229\u2013238. IEEE (2010)","DOI":"10.1109\/ISSRE.2010.19"},{"issue":"9","key":"31_CR21","doi-asserted-by":"publisher","first-page":"1156","DOI":"10.1109\/12.165396","volume":"41","author":"S.M. Shatz","year":"1992","unstructured":"Shatz, S.M., Wang, J.-P., Goto, M.: Task allocation for maximizing reliability of distributed computer systems. IEEE Trans. Computers\u00a041(9), 1156\u20131168 (1992)","journal-title":"IEEE Trans. Computers"},{"issue":"1","key":"31_CR22","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.jss.2005.09.004","volume":"79","author":"W.-L. Wang","year":"2006","unstructured":"Wang, W.-L., Pan, D., Chen, M.-H.: Architecture-based software reliability modeling. Journal of Systems and Software\u00a079(1), 132\u2013146 (2006)","journal-title":"Journal of Systems and Software"},{"issue":"4","key":"31_CR23","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1016\/j.ress.2005.12.011","volume":"92","author":"N. Wattanapongskorn","year":"2007","unstructured":"Wattanapongskorn, N., Coit, D.W.: Fault-tolerant embedded system design and optimization considering reliability estimation uncertainty. Reliability Engineering & System Safety\u00a092(4), 395\u2013407 (2007)","journal-title":"Reliability Engineering & System Safety"}],"container-title":["Lecture Notes in Computer Science","Artificial Life and Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14803-8_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T16:58:12Z","timestamp":1747414692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14803-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319148021","9783319148038"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14803-8_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}