ArcheOpterix: An extendable tool for architecture optimization of AADL models

Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009

Volumn , Issue , 2009, Pages 61-71

  Aleti, Aldeida ^a   Björnander, Stefan ^a   Grunske, Lars ^a   Meedeniya, Indika ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

AADL; ArcheOpterix; Architecture and deployment architecture optimization; Evolutionary algorithms; Multi objective and pareto optimization

Indexed keywords

AADL; ARCHEOPTERIX; ARCHITECTURE DESIGNS; ARCHITECTURE OPTIMIZATION; ARCHITECTURE SPECIFICATION; DEPLOYMENT ARCHITECTURE; DESIGN CONSTRAINTS; EVOLUTIONARY STRATEGIES; FUNCTIONAL REQUIREMENT; MULTI-OBJECTIVE AND PARETO OPTIMIZATION; MULTIPLE QUALITY; OPTIMIZATION HEURISTICS; QUALITY REQUIREMENTS; SYSTEM ARCHITECTS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DAMPING; DESIGN; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; EVOLUTIONARY ALGORITHMS; MULTIOBJECTIVE OPTIMIZATION; SET THEORY; SPECIFICATIONS;

SOFTWARE ARCHITECTURE;

EID: 70349898605     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MOMPES.2009.5069138     Document Type: Conference Paper

References (49)

1. F. Bachmann, L. J. Bass, M. Klein, and C. P. Shelton. Experience using an expert system to assist an architect in designing for modifiability. In 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), pages 281-284. IEEE Computer Society, 2004.
2. S. Balsamo, A. D. Marco, P. Inverardi, and M. Simeoni. Model-Based Performance Prediction in Software Development: A Survey. IEEE Transactions on Software Engineering, 30(5):295-310, 2004.
3. L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice. AddisonWesley, second edition, 2003.
4. S. Becker, L. Grunske, R. Mirandola, and S. Overhage. Performance prediction of component-based systems a survey from an engineering perspective. In Architecting Systems with Trustworthy Components, volume 3938 of Lecture Notes in Computer Science(LNCS), pages 169-192. Springer, 2006.
5. S. Bernardi, J. Merseguer, and D. C. Petriu. Adding dependability analysis capabilities to the MARTE profile. In Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008 Proceedings, volume 5301 of Lecture Notes in Computer Science, pages 736-750. Springer, 2008.
6. P. Binns, M. Englehart, M. Jackson, and S. Vestal. Domain-specific software architectures for guidance, navigation and control. International Journal of Software Engineering and Knowledge Engineering, 6(2):201-227, 1996.
7. M. Broy. Challenges in automotive software engineering. In L. J. Osterweil, H. D. Rombach, and M. L. Soffa, editors, 28th International Conference on Software Engineering (ICSE 2006), pages 33-42. ACM, 2006.
8. C. Bunse, H.-G. Groß, and C. Peper. Applying a model-based approach for embedded system development. In 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007),, pages 121-128. IEEE Computer Society, 2007.
9. C. A. Coello Coello, D. A. van Veldhuizen, and G. B. Lamont. Evolutionary Algorithms for Solving Multi-objective Problems. Springer, 2002.
10. K. Deb, S. Agrawal, A. Pratab, and T. Meyarivan. A Fast Elitist Non-Dominated Sorting Genetic Algorithm for Multi-Objective Optimization: NSGA-II. KanGAL report 200001, Indian Institute of Technology, Kanpur, India, 2000.
11. G. Deng, J. Balasubramanian, W. Otte, D. C. Schmidt, and A. S. Gokhale. DAnCE: A QoS-Enabled Component Deployment and Configuration Engine. In Component Deployment, volume 3798 of Lecture Notes in Computer Science, pages 67-82. Springer, 2005.
12. A. Díaz Pace, H. Kim, L. Bass, P. Bianco, and F. Bachmann. Integrating quality-attribute reasoning frameworks in the ArchE design assistant. In S. Becker, F. Plasil, and R. Reussner, editors, 4th International Conference on the Quality of Software-Architectures, QoSA 2008, volume 5281 of Lecture Notes in Computer Science, pages 171-188. Springer, 2008.
13. J. Elmqvist and S. Nadjm-Tehrani. Formal support for quantitative analysis of residual risks in safety-critical systems. In 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, pages 154-164. IEEE Computer Society, 2008.
14. P. Feiler and A. Greenhouse. Plug-in Development for the Open Source AADL Tool Environment. Available from http://la.sei.cmu.edu/aadlinfosite/ OSATEPluginDevelopmentPresentationSerie.html#Topic19, 2005.
15. P. H. Feiler, D. P. Gluch, and J. J. Hudak. The Architecture Analysis and Design Language (AADL): An Introduction. Technical report, CMU/SEI-2006-TN-011, 2006.
16. P. H. Feiler and A.-E. Rugina. Dependability Modeling with the Architecture Analysis and Design Language (AADL). Technical report, CMU/SEI-2007-TN-043, 2007.
17. C. M. Fonseca and P. J. Fleming. Genetic Algorithms for Multiobjective Optimization: Formulation, Discussion and Generalization. In S. Forrest, editor, Proceedings of the Fifth International Conference on Genetic Algorithms, pages 416-423. University of Illinois at Urbana-Champaign, Morgan Kauffman Publishers, 1993.
18. R. France and B. Rumpe. Model-driven development of complex software: A research roadmap. In FOSE '07: 2007 Future of Software Engineering, pages 37-54. IEEE Computer Society, 2007.
19. J. Fredriksson, K. Sandström, and M. Åkerholm. Optimizing resource usage in component-based real-time systems. In CBSE:Component-Based Software Engineering, 8th International Symposium, CBSE 2005, volume 3489 of Lecture Notes in Computer Science, pages 49-65. Springer, 2005.
20. E. Gamma. Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley, 2007.
21. K. Goseva-Popstojanova and K. S. Trivedi. Architecture-based approach to reliability assessment of software systems. Perform. Eval, 45(2-3):179-204, 2001.
22. K. Grimm. Software technology in an automotive company - major challenges. In Proceedings of the 25th International Conference on Software Engineering (ICSE), pages 498-505. IEEE Computer Society, 2003.
23. L. Grunske. Identifying "good" architectural design alternatives with multi-objective optimization strategies. In L. J. Osterweil, H. D. Rombach, and M. L. Soffa, editors, 28th International Conference on Software Engineering (ICSE 2006), pages 849-852. ACM, 2006.
24. L. Grunske. Early quality prediction of component-based systems - A generic framework. Journal of Systems and Software, 80(5):678-686, 2007.
25. L. Grunske. Specification patterns for probabilistic quality properties. In Robby, editor, 30th International Conference on Software Engineering (ICSE 2008), pages 31-40. ACM, 2008.
26. L. Grunske, R. Colvin, and K. Winter. Probabilistic model-checking support for FMEA. In Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), pages 119-128. IEEE Computer Society, 2007.
27. L. Grunske and J. Han. A comparative study into architecture-based safety evaluation methodologies using AADL's error annex and failure propagation models. In 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, pages 283-292. IEEE Computer Society, 2008.
28. L. Grunske and B. Kaiser. An automated dependability analysis method for COTS-based systems. In X. Franch and D. Port, editors, COTS-Based Software Systems, 4th International Conference, ICCBSS 2005, Proceedings, volume 3412 of Lecture Notes in Computer Science, pages 178-190. Springer, 2005.
29. J. Horn, N. Nafpliotis, and D. E.Goldberg. A niched pareto genetic algorithm for multiobjective optimization. In International Conference on Evolutionary Computation, pages 82-87, 1994.
30. A. Jhumka, M. Hiller, and N. Suri. Assessing inter-modular error propagation in distributed software. In Proceedings of the 20th Symposium on Reliable Distributed Systems (20th SRDS'01), pages 152-161, 2001.
31. T. Kichkaylo, A.-A. Ivan, and V. Karamcheti. Constrained component deployment in wide-area networks using AI planning techniques. In IPDPS:17th International Parallel and Distributed Processing Symposium (IPDPS 2003), CD-ROM/Abstracts Proceedings, page 3, 2003.
32. J. D. Knowles and D. Corne. Approximating the nondominated front using the pareto archived evolution strategy. Evolutionary Computation, 8(2):149-172, 2000.
33. N. G. Leveson. An approach to designing safe embedded software. In EMSOFT '02: Proceedings of the Second International Conference on Embedded Software, pages 15-29. Springer-Verlag, 2002.
34. B. Lewis and P. Feiler. Architecture analysis & design language (AADL). Technical Report AS5506, Society of Automobile Engineers, 2004.
35. S. Malek. A User-Centric Approach For Improving A Distributed Software Systems Deployment Architecture. PhD in computer science, Faculty of The Graduate School University of Southern California, 2007.
36. N. Medvidovic and S. Malek. Software deployment architecture and quality-of-service in pervasive environments. In Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, ESSPE 2007, pages 47-51. ACM, 2007.
37. M. Mikic-Rakic, S. Malek, N. Beckman, and N. Medvidovic. A tailorable environment for assessing the quality of deployment architectures in highly distributed settings. In Component Deployment, Second International Working Conference, CD 2004, Proceedings, volume 3083 of Lecture Notes in Computer Science, pages 1-17. Springer, 2004.
38. Y. Papadopoulos and C. Grante. Techniques and tools for automated safety analysis & decision support for redundancy allocation in automotive systems. In COMPSAC 2003, pages 105-110. IEEE Computer Society, 2003.
39. Y. Papadopoulos and C. Grante. Evolving car designs using model-based automated safety analysis and optimisation techniques. Journal of Systems and Software, 76(1):77-89, 2005.
40. D. Pilone and N. Pitman. UML 2.0 in a Nutshell. O'Reilly Media, second edition, 2005.
41. A. Pretschner, M. Broy, I. H. Kruger, and T. Stauner. Software engineering for automotive systems: A roadmap. In FOSE '07: 2007 Future of Software Engineering, pages 55-71. IEEE Computer Society, 2007.
42. C. Seo, G. Edwards, S. Malek, and N. Medvidovic. A framework for estimating the impact of a distributed software system's architectural style on its energy consumption. In WICSA 08, pages 277-280. IEEE Computer Society, 2008.
43. N. Shankaran, J. Balasubramanian, D. C. Schmidt, G. Biswas, P. J. Lardieri, E. Mulholland, and T. Damiano. A framework for (re)deploying components in distributed real-time and embedded systems. In Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), pages 737-738, 2006.
44. V. S. Sharma and P. Jalote. Deploying software components for performance. In CBSE:Component-Based Software Engineering, 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, volume 5282 of Lecture Notes in Computer Science, pages 32-47, 2008.
45. N. Srinivas and K. Deb. Multiobjective optimization using nondominated sorting in genetic algorithms. Evolutionary Computation, 2(3):221-248, 1995.
46. The Eclipse Foundation. Eclipse Ganymede Documentation. Available from http://help.eclipse.org/ganymede/index.jsp.
47. The MathWorks. Simulink - Simulation and Model-Based Design. Available from http://www.mathworks.com/.
48. C. M.Woodside, D. C. Petriu, D. B. Petriu, H. Shen, T. Israr, and J. Merseguer. Performance by unified model analysis (PUMA). In Proceedings of the Fifth International Workshop on Software and Performance, WOSP 2005, pages 1-12. ACM, 2005.
49. E. Zitzler, M. Laumanns, and L. Thiele. SPEA2: Improving the Strength Pareto Evolutionary Algorithm. In EUROGEN 2001. Evolutionary Methods for Design, Optimization and Control with Applications to Industrial Problems, pages 95-100, Athens, Greece, 2002