{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T02:08:29Z","timestamp":1768874909262,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642138201","type":"print"},{"value":"9783642138218","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13821-8_6","type":"book-chapter","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T11:41:38Z","timestamp":1276602098000},"page":"52-67","source":"Crossref","is-referenced-by-count":25,"title":["Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems"],"prefix":"10.1007","author":[{"given":"Indika","family":"Meedeniya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbora","family":"Buhnova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aldeida","family":"Aleti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Grunske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2-3","key":"6_CR1","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, K.S.: Architecture-based approach to reliability assessment of software systems. Performance Evaluation\u00a045(2-3), 179\u2013204 (2001)","journal-title":"Performance Evaluation"},{"issue":"3","key":"6_CR2","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1109\/92.845896","volume":"8","author":"L. Benini","year":"2000","unstructured":"Benini, L., Bogliolo, A., Micheli, G.D.: A survey of design techniques for system-level dynamic power management. IEEE Trans. VLSI Syst.\u00a08(3), 299\u2013316 (2000)","journal-title":"IEEE Trans. VLSI Syst."},{"key":"6_CR3","first-page":"95","volume-title":"Real-Time Systems Symposium","author":"H. Aydin","year":"2001","unstructured":"Aydin, H., Melhem, R., Moss\u00e9, D., Mej\u00eda-Alvarez, P.: Dynamic and aggressive scheduling techniques for power-aware real-time systems. In: Real-Time Systems Symposium, pp. 95\u2013105. IEEE Computer Society, Los Alamitos (2001)"},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1109\/24.510811","volume":"45","author":"D.W. Coit","year":"1996","unstructured":"Coit, D.W., Smith, A.E.: Reliability optimization of series-parallel systems using a genetic algorithm. IEEE Transactions on Reliability\u00a045(2), 225\u2013266 (1996)","journal-title":"IEEE Transactions on Reliability"},{"issue":"6","key":"6_CR5","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1080\/07408170304422","volume":"35","author":"S. Kulturel-Konak","year":"2003","unstructured":"Kulturel-Konak, S., Smith, A.E., Coit, D.W.: Efficiently solving the redundancy allocation problem using tabu search. IIE Transactions\u00a035(6), 515\u2013526 (2003)","journal-title":"IIE Transactions"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-74035-3_9","volume-title":"Architecting Dependable Systems IV","author":"L. Grunske","year":"2007","unstructured":"Grunske, L., Lindsay, P.A., Bondarev, E., Papadopoulos, Y., Parker, D.: An outline of an architecture-based method for optimizing dependability attributes of software-intensive systems. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems IV. LNCS, vol.\u00a04615, pp. 188\u2013209. Springer, Heidelberg (2007)"},{"key":"6_CR7","unstructured":"Zhu, D., Melhem, R.G., Moss\u00e9, D.: The effects of energy management on reliability in real-time embedded systems. In: International Conference on Computer-Aided Design, pp. 35\u201340. IEEE Computer Society\/ACM (2004)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/1289816.1289873","volume-title":"International Conference on Hardware\/Software Codesign and System Synthesis","author":"P. Pop","year":"2007","unstructured":"Pop, P., Poulsen, K.H., Izosimov, V., Eles, P.: Scheduling and voltage scaling for energy\/reliability trade-offs in fault-tolerant time-triggered embedded systems. In: International Conference on Hardware\/Software Codesign and System Synthesis, pp. 233\u2013238. ACM, New York (2007)"},{"key":"6_CR9","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/0-306-48727-6_6","volume-title":"Networks on Chip","author":"D. Bertozzi","year":"2003","unstructured":"Bertozzi, D., Benini, L., Micheli, G.D.: Energy-reliability trade-off for NoCs. In: Networks on Chip, pp. 107\u2013129. Springer, US (2003)"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/MOMPES.2009.5069138","volume-title":"Model-based Methodologies for Pervasive and Embedded Software","author":"A. Aleti","year":"2009","unstructured":"Aleti, A., Bj\u00f6rnander, S., Grunske, L., Meedeniya, I.: ArcheOpterix: An extendable tool for architecture optimization of AADL models. In: Model-based Methodologies for Pervasive and Embedded Software, pp. 61\u201371. IEEE Computer Society Press, Los Alamitos (2009)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Benini, L., Micheli, G.D.: Powering networks on chips. In: International Symposium on Systems Synthesis, pp. 33\u201338 (2001)","DOI":"10.1145\/500001.500009"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/92.920814","volume":"9","author":"T. Simunic","year":"2001","unstructured":"Simunic, T., Benini, L., Micheli, G.D.: Energy-efficient design of battery-powered embedded systems. IEEE Trans. VLSI Syst.\u00a09(1), 15\u201328 (2001)","journal-title":"IEEE Trans. VLSI Syst."},{"issue":"12","key":"6_CR13","doi-asserted-by":"publisher","first-page":"1702","DOI":"10.1109\/43.811318","volume":"18","author":"I. Hong","year":"1999","unstructured":"Hong, I., Kirovski, D., Qu, G., Potkonjak, M., Srivastava, M.B.: Power optimization of variable-voltage core-based systems. IEEE Trans. on CAD of Integrated Circuits and Systems\u00a018(12), 1702\u20131714 (1999)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Lu, Y.H., Simunic, T., Micheli, G.D.: Software controlled power management. In: International Workshop on Hardware\/Software Codesign, pp. 157\u2013161 (1999)","DOI":"10.1145\/301177.301518"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1109\/WICSA.2008.28","volume-title":"Working IEEE\/IFIP Conference on Software Architecture","author":"C. Seo","year":"2008","unstructured":"Seo, C., Edwards, G., Malek, S., Medvidovic, N.: A framework for estimating the impact of a distributed software system\u2019s architectural style on its energy consumption. In: Working IEEE\/IFIP Conference on Software Architecture, pp. 277\u2013280. IEEE Computer Society, Los Alamitos (2008)"},{"key":"6_CR16","first-page":"555","volume-title":"Design Automation Conference","author":"Q. Qiu","year":"1999","unstructured":"Qiu, Q., Pedram, M.: Dynamic power management based on continuous-time markov decision processes. In: Design Automation Conference, pp. 555\u2013561. ACM, New York (1999)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Vijaykrishnan, N., Kandemir, M.T., Irwin, M.J., Kim, H.S., Ye, W.: Energy-driven integrated hardware-software optimizations using simplepower. In: International Symposium on Computer Architecture, pp. 95\u2013106 (2000)","DOI":"10.1145\/339647.339659"},{"key":"6_CR18","volume-title":"Probability and Statistics with Reliability, Queuing, and Computer Science Applications","author":"K.S. Trivedi","year":"1982","unstructured":"Trivedi, K.S.: Probability and Statistics with Reliability, Queuing, and Computer Science Applications. Prentice-Hall, Englewood Cliffs (1982)"},{"key":"6_CR19","first-page":"722","volume-title":"Dependable Systems and Networks","author":"L. Cloth","year":"2005","unstructured":"Cloth, L., Katoen, J.P., Khattri, M., Pulungan, R.: Model checking markov reward models with impulse rewards. In: Dependable Systems and Networks, pp. 722\u2013731. IEEE Comp. Society, Los Alamitos (2005)"},{"key":"6_CR20","first-page":"780","volume-title":"Dependable Systems and Networks","author":"L. Cloth","year":"2007","unstructured":"Cloth, L., Jongerden, M.R., Haverkort, B.R.: Computing battery lifetime distributions. In: Dependable Systems and Networks, pp. 780\u2013789. IEEE Comp. Society, Los Alamitos (2007)"},{"issue":"2","key":"6_CR21","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1109\/24.510811","volume":"45","author":"D.W. Coit","year":"1996","unstructured":"Coit, D.W., Smith, A.E.: Reliability optimization of series-parallel systems using a genetic algorithm. IEEE Transactions on Reliability\u00a045(2), 254\u2013260 (1996)","journal-title":"IEEE Transactions on Reliability"},{"key":"6_CR22","first-page":"1478","volume-title":"Congress on Evolutionary Computation","author":"Y.C. Liang","year":"1999","unstructured":"Liang, Y.C., Smith, A.E.: An ant system approach to redundancy allocation. In: Congress on Evolutionary Computation, pp. 1478\u20131484. IEEE, Los Alamitos (1999)"},{"key":"6_CR23","first-page":"849","volume-title":"International Conference on Software Engineering, ICSE","author":"L. Grunske","year":"2006","unstructured":"Grunske, L.: Identifying \u201cgood\u201d architectural design alternatives with multi-objective optimization strategies. In: International Conference on Software Engineering, ICSE, pp. 849\u2013852. ACM, New York (2006)"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1145\/951710.951750","volume-title":"Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES 2003)","author":"W. Zhang","year":"2003","unstructured":"Zhang, W., Kandemir, M., Sivasubramaniam, A., Irwin, M.J.: Performance, energy, and reliability tradeoffs in replicating hot cache lines. In: Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES 2003), pp. 309\u2013317. ACM Press, New York (2003)"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Perillo, M.A., Heinzelman, W.B.: Optimal sensor management under energy and reliability constraints. IEEE Wireless Communications, 1621\u20131626 (2003)","DOI":"10.1109\/WCNC.2003.1200629"},{"issue":"1","key":"6_CR26","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0167-6377(89)90031-X","volume":"8","author":"P. Kubat","year":"1989","unstructured":"Kubat, P.: Assessing reliability of modular software. Operations Research Letters\u00a08(1), 35\u201341 (1989)","journal-title":"Operations Research Letters"},{"key":"6_CR27","volume-title":"Fault-Tolerant Computing","author":"V.P. Nelson","year":"1987","unstructured":"Nelson, V.P., Carroll, B.: Fault-Tolerant Computing. IEEE Computer Society Press, Los Alamitos (1987)"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/QEST.2005.2","volume-title":"International Conference on the Quantitative Evaluation of Systems(QEST)","author":"J.P. Katoen","year":"2005","unstructured":"Katoen, J.P., Khattri, M., Zapreev, S.I.: A markov reward model checker. In: International Conference on the Quantitative Evaluation of Systems(QEST), pp. 243\u2013244. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"9","key":"6_CR29","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. on Comp.\u00a041(9), 1156\u20131168 (1992)","journal-title":"IEEE Trans. on Comp."},{"issue":"3","key":"6_CR30","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1162\/evco.1994.2.3.221","volume":"2","author":"N. Srinivas","year":"1995","unstructured":"Srinivas, N., Deb, K.: Multiobjective optimization using nondominated sorting in genetic algorithms. Evolutionary Computation\u00a02(3), 221\u2013248 (1995)","journal-title":"Evolutionary Computation"},{"key":"6_CR31","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, pp. 39\u201346 (2007)","DOI":"10.1109\/RTCSA.2007.32"},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/11921998_17","volume-title":"Quality of Software Architectures","author":"L. Grunske","year":"2006","unstructured":"Grunske, L.: Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. In: Hofmeister, C., Crnkovi\u0107, I., Reussner, R. (eds.) QoSA 2006. LNCS, vol.\u00a04214, pp. 199\u2013213. Springer, Heidelberg (2006)"},{"key":"6_CR33","first-page":"347","volume-title":"Dependable Systems and Networks","author":"I. Assayad","year":"2004","unstructured":"Assayad, I., Girault, A., Kalla, H.: A bi-criteria scheduling heuristic for distributed embedded systems under reliability and real-time constraints. In: Dependable Systems and Networks, pp. 347\u2013356. IEEE Computer Society, Los Alamitos (2004)"},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11921998_14","volume-title":"Quality of Software Architectures","author":"B. Florentz","year":"2006","unstructured":"Florentz, B., Huhn, M.: Embedded systems architecture: Evaluation and analysis. In: Hofmeister, C., Crnkovi\u0107, I., Reussner, R. (eds.) QoSA 2006. LNCS, vol.\u00a04214, pp. 145\u2013162. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Research into Practice \u2013 Reality and Gaps"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13821-8_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T23:53:28Z","timestamp":1740182008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13821-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642138201","9783642138218"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13821-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}