Architecture-driven reliability and energy optimization for complex embedded systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6093 LNCS, Issue , 2010, Pages 52-67

  Meedeniya, Indika ^a   Buhnova, Barbora ^b   Aleti, Aldeida ^a   Grunske, Lars ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^b MASARYK UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL ELEMENT; AUTOMOTIVE DOMAINS; COMPUTATIONAL NODES; ENERGY CONSUMPTION; ENERGY OPTIMIZATION; OPTIMAL REDUNDANCY; QUALITY ATTRIBUTES; REDUNDANCY ALLOCATION;

COMPUTER SOFTWARE; EMBEDDED SYSTEMS; MULTIOBJECTIVE OPTIMIZATION; QUALITY ASSURANCE; REDUNDANCY;

SOFTWARE ARCHITECTURE;

EID: 77954578689     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13821-8_6     Document Type: Conference Paper

References (34)

1. Goševa-Popstojanova, K., Trivedi, K.S.: Architecture-based approach to reliability assessment of software systems. Performance Evaluation 45(2-3), 179-204 (2001)
2. Benini, L., Bogliolo, A., Micheli, G.D.: A survey of design techniques for system-level dynamic power management. IEEE Trans. VLSI Syst. 8(3), 299-316 (2000)
3. Aydin, H., Melhem, R., Mossé, D., Mejía-Alvarez, P.: Dynamic and aggressive scheduling techniques for power-aware real-time systems. In: Real-Time Systems Symposium, pp. 95-105. IEEE Computer Society, Los Alamitos (2001)
4. Coit, D.W., Smith, A.E.: Reliability optimization of series-parallel systems using a genetic algorithm. IEEE Transactions on Reliability 45(2), 225-266 (1996)
5. Kulturel-Konak, S., Smith, A.E., Coit, D.W.: Efficiently solving the redundancy allocation problem using tabu search. IIE Transactions 35(6), 515-526 (2003)
6. 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. 4615, pp. 188-209. Springer, Heidelberg (2007)
7. Zhu, D., Melhem, R.G., Mossé, D.: The effects of energy management on reliability in real-time embedded systems. In: International Conference on Computer-Aided Design, pp. 35-40. IEEE Computer Society/ACM (2004)
8. 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-238. ACM, New York (2007)
9. Bertozzi, D., Benini, L., Micheli, G.D.: Energy-reliability trade-off for NoCs. In: Networks on Chip, pp. 107-129. Springer, US (2003)
10. Aleti, A., Björnander, 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-71. IEEE Computer Society Press, Los Alamitos (2009)
11. Benini, L., Micheli, G.D.: Powering networks on chips. In: International Symposium on Systems Synthesis, pp. 33-38 (2001)
12. Simunic, T., Benini, L., Micheli, G.D.: Energy-efficient design of battery-powered embedded systems. IEEE Trans. VLSI Syst. 9(1), 15-28 (2001)
13. 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 18(12), 1702-1714 (1999) (Pubitemid 30564912)
14. Lu, Y.H., Simunic, T., Micheli, G.D.: Software controlled power management. In: International Workshop on Hardware/Software Codesign, pp. 157-161 (1999)
15. Seo, C., Edwards, G., Malek, S., Medvidovic, N.: A framework for estimating the impact of a distributed software system's architectural style on its energy consumption. In: Working IEEE/IFIP Conference on Software Architecture, pp. 277-280. IEEE Computer Society, Los Alamitos (2008)
16. Qiu, Q., Pedram, M.: Dynamic power management based on continuous-time markov decision processes. In: Design Automation Conference, pp. 555-561. ACM, New York (1999)
17. 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-106 (2000)
18. Trivedi, K.S.: Probability and Statistics with Reliability, Queuing, and Computer Science Applications. Prentice-Hall, Englewood Cliffs (1982)
19. Cloth, L., Katoen, J.P., Khattri, M., Pulungan, R.: Model checking markov reward models with impulse rewards. In: Dependable Systems and Networks, pp. 722-731. IEEE Comp. Society, Los Alamitos (2005)
20. Cloth, L., Jongerden, M.R., Haverkort, B.R.: Computing battery lifetime distributions. In: Dependable Systems and Networks, pp. 780-789. IEEE Comp. Society, Los Alamitos (2007)
21. Coit, D.W., Smith, A.E.: Reliability optimization of series-parallel systems using a genetic algorithm. IEEE Transactions on Reliability 45(2), 254-260 (1996)
22. Liang, Y.C., Smith, A.E.: An ant system approach to redundancy allocation. In: Congress on Evolutionary Computation, pp. 1478-1484. IEEE, Los Alamitos (1999)
23. Grunske, L.: Identifying "good" architectural design alternatives with multi-objective optimization strategies. In: International Conference on Software Engineering, ICSE, pp. 849-852. ACM, New York (2006)
24. 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-317. ACM Press, New York (2003)
25. Perillo, M.A., Heinzelman, W.B.: Optimal sensor management under energy and reliability constraints. IEEE Wireless Communications, 1621-1626 (2003)
26. Kubat, P.: Assessing reliability of modular software. Operations Research Letters 8(1), 35-41 (1989)
27. Nelson, V.P., Carroll, B.: Fault-Tolerant Computing. IEEE Computer Society Press, Los Alamitos (1987)
28. 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-244. IEEE Computer Society Press, Los Alamitos (2005)
29. Shatz, S.M., Wang, J.P., Goto, M.: Task allocation for maximizing reliability of distributed computer systems. IEEE Trans. on Comp. 41(9), 1156-1168 (1992)
30. Srinivas, N., Deb, K.: Multiobjective optimization using nondominated sorting in genetic algorithms. Evolutionary Computation 2(3), 221-248 (1995)
31. 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-46 (2007)
32. Grunske, L.: Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. In: Hofmeister, C., Crnković, I., Reussner, R. (eds.) QoSA 2006. LNCS, vol. 4214, pp. 199-213. Springer, Heidelberg (2006)
33. 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-356. IEEE Computer Society, Los Alamitos (2004)
34. Florentz, B., Huhn, M.: Embedded systems architecture: Evaluation and analysis. In: Hofmeister, C., Crnković, I., Reussner, R. (eds.) QoSA 2006. LNCS, vol. 4214, pp. 145-162. Springer, Heidelberg (2006)