An outline of an architecture-based method for optimizing dependability attributes of software-intensive systems

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

Volumn 4615 LNCS, Issue , 2007, Pages 188-209

  Grunske, Lars ^a   Lindsay, Peter ^a   Bondarev, Egor ^b   Papadopoulos, Yiannis ^c   Parker, David ^c  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c UNIVERSITY OF HULL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; OPTIMIZATION; SECURITY OF DATA; SECURITY SYSTEMS; SYSTEMS ANALYSIS;

DEPENDABLE SYSTEMS; SOFTWARE-INTENSIVE SYSTEMS;

SOFTWARE ARCHITECTURE;

EID: 39149099816     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74035-3_9     Document Type: Conference Paper

References (54)

1. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1, 11-33 (2004)
2. Clements, P.C., Kazman, R., Klein, M.: Evaluating Software Architectures: Methods and Case Studies. Addison Wesley Longman, Reading (2001)
3. Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 2nd edn. AddisonWesley, Reading (2003)
4. Grunske, L.: Early quality prediction of component-based systems-a generic framework. Journal of Systems and Software 80, 678-686 (2007)
5. Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. U. S. Nuclear Regulatory Commission (1996)
6. IEC (International Electrotechnical Commission): IEC 61165: Application of Markov techniques (1995-2003)
7. Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-Based Performance Prediction in Software Development: A Survey. IEEE Transactions on Software Engineering 30, 295-310 (2004)
8. Fyffe, D.E., Hines, W.W., Lee, N.K.: System reliability allocation and a computational algorithm. IEEE Transactions on Reliability 17, 64-69 (1968)
9. Nakagawa, Y., Miyazaki, S.: Surrogate constraints algorithm for reliability optimisation problems with two constraints. IEEE Transactions on Reliability 30, 175-180 (1981)
10. Ghare, P.M., Taylor, R.E.: Optimal redundancy for reliability in series system. Operations Research 17, 838-847 (1969)
11. Coit, D.W., Smith, A.E.: Reliability optimization of series-parallel systems using a genetic algorithm. IEEE Transactions on Reliability 35, 535-544 (1996)
12. Nicholson, M.: Selecting a Topology for Safety-Critical Real-Time Control Systems. PhD thesis, Department of Computer Science, University of York (1998)
13. Liang, Y.C., Smith, A.E.: An ant system approach to redundancy allocation. In: Angeline, P.J., Michalewicz, Z., Schoenauer, M., Yao, X., Zalzala, A. (eds.) Proceedings of the Congress on Evolutionary Computation, pp. 1478-1484. IEEE Press, Los Alamitos (1999)
14. Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: Proc. IEEE International Symposium on Circuits and Systems (ISCAS), Geneva, Switzerland, pp. 101-104 (2000)
15. Zitzler, E., Laumanns, M., Thiele, L.: SPEA2: Improving the Strength Pareto Evolutionary Algorithm. In: Giannakoglou, K., Tsahalis, D., Periaux, J., Papailou, P., Fogarty, T., (eds.) EUROGEN 2001, Evolutionary Methods for Design, Optimization and Control with Applications to Industrial Problems, Athens, Greece pp. 95-100 (2002)
16. Palermo, G., Silvano, C., Zacearia, V.: A flexible framework for fast multi-objective design space exploration of embedded systems. In: Chico, J.J., Macii, E. (eds.) PATMOS 2003. LNCS, vol. 2799, pp. 249-258. Springer, Heidelberg (2003)
17. Givargis, T., Palesi, M.: Multi-objective design space exploration using genetic algorithms. In: Proceedings of the 10th International Symposium on Hardware/Software Codesign (CODES-02, pp. 67-72. ACM Press, New York (2002)
18. Kulturel-Konak, S., Coit, D.W., Baheranwala, F.: Reliability optimization of series-parallel systems using a genetic algorithm. HE Transactions 45, 254-260 (2006)
19. Kulturel-Konak, S., Smith, A.E., Coit, D.W.: Pruned pareto-optimal sets for the system redundancy allocation problem based on multiple prioritized objectives. Journal of Heuristics (2006) (inPrint)
20. Künzli, S., Thiele, L., Zitzler, E.: Modular design space exploration framework for embedded systems. IEE Proceedings - Computers and Digital Techniques 152, 183-192 (2005)
21. Papadopoulos, Y., Grante, C.: Evolving car designs using model-based automated safety analysis and optimisation techniques. Journal of Systems and Software 76, 77-89 (2005)
22. Andersson, J., Wallace, D.: Pareto optimization using the struggle genetic crowding algorithm. Engineering Optimization 34, 623-643 (2002)
23. Fredriksson, J., Sandström, K., Åkerholm, M.: Optimizing Resource Usage in ComponentBased Real-Time Systems. In: Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 49-66. Springer, Heidelberg (2005)
24. Grunske, L.: Identifying "good" architectural design alternatives with multi-objective optimization strategies. In: Osterweil, L.J., Rombach, H.D., Soffa, M.L. (eds.) 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 849-852. ACM Press, New York (2006)
25. Bondarev, E., Chaudron, M.R.V, de With, P.H.N.: A process for resolving performance trade-offs in component-based architectures. In: Gorton, I., Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K.C (eds.) CBSE 2006. LNCS, vol. 4063, pp. 254-269. Springer, Heidelberg (2006)
26. Pimentel, A.D., Erbas, C., Polstra, S.: A systematic approach to exploring embedded system architectures at multiple abstraction levels. IEEE Trans. Computers 55, 99-112 (2006)
27. Livolsi, D., O'Neill, T., Leaney, J., Denford, M., Dunsire, K.: Guided architecture-based design optimisation of CBSs. In: ECBS 2006, pp. 247-258. IEEE Computer Society Press, Los Alamitos (2006)
28. Gritzalis, S., Spinellis, D., Georgiadis, P.: Security protocols over open networks and distributed systems: formal mediods for their analysis, design, and verification. Computer Communications 22, 697-709 (1999)
29. Goseva-Popstojanova, K., Trivedi, K.S.: Architecture-based approach to reliability assessment of software systems. Perform. Eval 45, 179-204 (2001)
30. Reussner, R.H., Schmidt, H.W., Poernomo, I.: Reliability prediction for component-based software architectures. Journal of Systems and Software - Special Issue of Software Architecture - Engineering Quality Attributes 66, 241-252 (2003)
31. Hamlet, R.G., Mason, D.V., Woit, D.M.: Theory of software reliability based on components. In: Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, Toronto, Ontario, Canada, 12-19 May 2001, pp. 361-370. IEEE Computer Society Press, Los Alamitos (2001)
32. Becker, S., Grunske, L., Mirandola, R., Overhage, S.: Performance prediction of componentbased systems - a survey from an engineering perspective. In: Reussner, R., Stafford, J.A., Szyperski, C.A. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 169-192. Springer, Heidelberg (2006)
33. Grunske, L., Kaiser, B., Papadopoulos, Y.: Model-driven safety evaluation with state-eventbased component failure annotations. In: Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 33-48. Springer, Heidelberg (2005)
34. Papadopoulos, Y., McDermid, J.A., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Int. Journal of Reliability Engineering and System Safety 71, 229-247 (2001)
35. Laprie, J.C.(ed.): Dependability: basic concepts and terminology. Springer, Heidelberg (1992)
36. Grunske, L.: Formalizing architectural refactorings as graph transformation systems. In: 6th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD05), pp. 324-329. IEEE Computer Society Press, Los Alamitos (2005)
37. Nam, D., Park, C.H.: Multiobjective Simulated Annealing: A Comparative Study to Evolutionary Algorithms. International Journal of Fuzzy Systems 2, 87-97 (2000)
38. Horn, J., Nafpliotis, N., Goldberg, D.E.: A Niched Pareto Genetic Algorithm for Multiobjective Optimization. In: Proceedings of the 1st IEEE Conference on Evolutionary Computation, IEEE World Congress on Computational Intelligence, Piscataway, New Jersey, vol. 1, pp. 82-87. IEEE Service Center, Los Alamitos (1994)
39. Knowles, J.D., Corne, D.W.: Approximating the Nondominated Front Using the Pareto Archived Evolution Strategy. Evolutionary Computation 8, 149-172 (2000)
40. Yim, J.S., Kyung, C.M.: Datapath layout optimisation using genetic algorithm and simulated annealing. IEE Proceedings - Computers and Digital Techniques 145, 135-141 (1998)
41. Walsh, W.E., Tesauro, G., Kephart, J.O., Das, R.: Utility functions in autonomic systems. In: 1st International Conference on Autonomic Computing (ICAC 2004), New York, USA, 17-19 May 2004, pp. 70-77. IEEE Computer Society Press, Los Alamitos (2004)
42. Mattson, CA., Messac, A.: Pareto frontier based concept selection under uncertainty, with visualization. Optimization and Engineering 6, 85-115 (2005)
43. Zanchettin, C., Ludermir, TB.: The influence of different cost functions in global optimization techniques. In: Proc. 9th Brazilian Symposium on Neural Networks (SBRN'06), Los Alamitos, CA, USA, pp. 17-31. IEEE Computer Society Press, Los Alamitos (2006)
44. Grunske, L.: Transformational patterns for the improvement of safety properties in architectural specifications. In: Proceedings of The Second Nordic Conference on Pattern Languages of Programs (VikingPLoP 03), Bergen, Norway (2003)
45. Saridakis, T.: A system of patterns for fault tolerance. In: Proceedings of the EuroPlop (2002)
46. Gokhale, S.S., Trivedi, K.S.: Reliability prediction and sensitivity analysis based on software architecture. In: 13th International Symposium on Software Reliability Engineering (ISSRE 2002), Annapolis, MD, USA, November 12-15, 2002, pp. 64-78. IEEE Computer Society Press, Los Alamitos (2002)
47. Ehrgott, M., Gandibleux, X.: A Survey and Annotated Bibliography of Multiobjective Combinatorial Optimization. OR Spektrum 22, 425-460 (2000)
48. Reeves, C.R.: Modern Heuristic Techniques for Combinatorial Problems. John Wiley & Sons, New York (1995)
49. Grunske, L., Kaiser, B.: Automatic generation of analyzable failure propagation models from component-level failure annotations. In: 5th International Conference on Quality Software (QSIC 2005), Melbourne, September 19-20, 2005, pp. 117-123. IEEE Computer Society Press, Los Alamitos (2005)
50. Papadopoulos, Y., Parker, D., Grante, C.: Automating the failure modes and effects analysis of safety critical systems. In: Int. Symposium on High-Assurance Systems Engineering (HASE 2004), pp. 310-311. IEEE Computer Society Press, Los Alamitos (2004)
51. Bondarev, E., Chaudron, M.R.V., de Kock, E.A.: Exploring performance trade-offs of a jpeg decoder using the deepcompass framework. In: WOSP '07: Proceedings of the 6th international workshop on Software and performance, pp. 153-163. ACM Press, New York, USA (2007)
52. Bondarev, E., Chaudron, M.R.V., de With, P.H.N.: Compositional performance analysis of component-based systems on heterogeneous multiprocessor platforms. In: EUROMICRO '06: Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications, Washington, DC, USA, pp. 81-91. IEEE Computer Society Press, Los Alamitos (2006)
53. de Castro Guerra, P.A., Romanovsky, A.B., de Lemos, R.: Integrating COTS software components into dependable software architectures. In: 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), Hakodate, Hokkaido, Japan, May 14-16, 2003, pp. 139-142. IEEE Computer Society Press, Los Alamitos (2003)
54. Gokhale, S.S.: Architecture-based software reliability analysis: Overview and limitations. IEEE Transactions on Dependable and Secure Computing 4, 32-40 (2007)