A model-driven framework for guided design space exploration

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Volumn , Issue , 2011, Pages 173-182

  Hegedüs, Ábel ^a   Horváth, Ákos ^a   Ráth, István ^a   Varró, Dániel ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

design space exploration; model transformation

Indexed keywords

AUTOMATED MAINTENANCE; CONFIGURATION DESIGNS; CRITICAL SYSTEMS; CUT-OFF; DEPENDENCY ANALYSIS; DESIGN SPACE EXPLORATION; DESIGN SPACES; EXPLORATION TECHNIQUES; IT SYSTEM; MODEL TRANSFORMATION; MODEL-DRIVEN; MODEL-DRIVEN ENGINEERING; NUMERICAL CONSTRAINTS; SELECTION CRITERIA; TRANSFORMATION RULES;

AUTOMATION; COMPUTER SOFTWARE MAINTENANCE; MODELS; SOFTWARE ENGINEERING; SPACE RESEARCH; SYSTEMS ANALYSIS;

DESIGN;

EID: 84855425844     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2011.6100051     Document Type: Conference Paper

References (33)

1. S. Mohanty, V. K. Prasanna, S. Neema, and J. Davis, "Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation," SIGPLAN Not., vol. 37, pp. 18-27, 2002.
2. B. Ristau, T. Limberg, and G. Fettweis, "A mapping framework for guided design space exploration of heterogeneous mp-socs," in Proc. of the conf. on Design, automation and test in Europe, ser. DATE '08. ACM, 2008.
3. AUTOSAR Consortium, The AUTOSAR Standard., http://www.autosar. org/.
4. Á. Horváth and D. Varró, "Dynamic constraint satisfaction problems over models," Software and Systems Modeling, 2011, 10.1007/s10270-010-0185-5.
5. S. Varró-Gyapay and D. Varró, "Optimization in Graph Transformation Systems Using Petri Net Based Techniques," ECEASST, vol. 2, 2006, Proc. of PNGT '06.
6. Á. Hegedüs, Á. Horváth, and D. Varró, "Towards guided trajectory exploration of graph transformation systems," ECEASST, vol. 40, 2010, Proc. of PNGT '10.
7. A. Rensink, "The GROOVE simulator: A tool for state space generation," in Applications of Graph Transformations with Industrial Relevance (AGTIVE), ser. LNCS. Springer, 2004.
8. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, Eds., Handbook on Graph Grammars and Computing by Graph Transformation. World Scientific, 1999, vol. 2: Applications, Languages and Tools.
9. L. Baresi, R. Heckel, S. Thöne, and D. Varró, "Style-based modeling and refinement of service-oriented architectures," Journal of Software and Systems Modelling, vol. 5, 2006.
10. D. Varró and A. Balogh, "The model transformation language of the VIATRA2 framework," Science of Computer Programming, vol. 68, no. 3, pp. 214-234, October 2007.
11. R. Heckel, J. M. Küster, and G. Taentzer, "Confluence of Typed Attributed Graph Transformation Systems," in Proc. ICGT 2002. LNCS. Springer, 2002.
12. T. Mens, G. Kniesel, and O. Runge, "Transformation dependency analysis - a comparison of two approaches," in Langages et Modèles à Objets (LMO 2006), 2006.
13. D. Varró, S. Varró-Gyapay, H. Ehrig, U. Prange, and G. Taentzer, "Termination analysis of model transformations by petri nets." in Proc. ICGT 2006, ser. LNCS, vol. 4178. Brazil: Springer, 2006.
14. "VIATRA2 Model Transformation Framework, An Eclipse GMT Subproject," http://www.eclipse.org/gmt/VIATRA2/.
15. Á. Horváth, G. Bergmann, I. Ráth, and D. Varró, "Experimental assessment of combining pattern matching strategies with VIATRA2," International Journal on Software Tools for Technology Transfer (STTT), vol. 12, pp. 211-230, 2010.
16. C. Ermel, J. Gall, L. Lambers, and G. Taentzer, "Modeling with plausibility checking: Inspecting favorable and critical signs for consistency between control flow and functional behavior," in Proc. FASE '11. Springer, 2011, LNCS 6603.
17. Á. Schmidt and D. Varró, "CheckVML: A tool for model checking visual modeling languages," in Proc. UML 2003, ser. LNCS, vol. 2863. Springer, 2003.
18. S. Edelkamp, S. Jabbar, and A. Lluch-Lafuente, "Heuristic search for the analysis of graph transition systems." in Proc. ICGT 2006, ser. LNCS, vol. 4178. Springer, 2006.
19. L. Baresi, V. Rafe, A. T. Rahmani, and P. Spoletini, "An efficient solution for model checking graph transformation systems," ENTCS, vol. 213, 2008.
20. O. M. dos Santos, F. L. Dotti, and L. Ribeiro, "Verifying object-based graph grammars." ENTCS, vol. 109, pp. 125-136, 2004.
21. L. Baresi and P. Spoletini, "On the Use of Alloy to Analyze Graph Transformation Systems," in Graph Transformations, ser. LNCS. Springer, 2006, vol. 4178, pp. 306-320.
22. P. Baldan and B. König, "Approximating the behaviour of graph transformation systems," in Proc. ICGT 2002, ser. LNCS, vol. 2505. Springer, 2002, pp. 14-29.
23. B. König and V. Kozioura, "Counterexample-guided abstraction refinement for the analysis of graph transformation systems." in TACAS, 2006, pp. 197-211.
24. S. Neema, J. Sztipanovits, G. Karsai, and K. Butts, "Constraint- based design-space exploration and model synthesis," in Embedded Software, ser. LNCS, R. Alur and I. Lee, Eds. Springer, 2003, vol. 2855, pp. 290-305.
25. T. Saxena and G. Karsai, "Mde-based approach for generalizing design space exploration," in Model Driven Engineering Languages and Systems, ser. LNCS, D. Petriu, N. Rouquette, and y. Haugen, Eds. Springer, 2010, vol. 6394, pp. 46-60.
26. T. Basten, E. van Benthum et al., "Model-driven design-space exploration for embedded systems: The octopus toolset," in Leveraging Applications of Formal Methods, Verification, and Validation, ser. LNCS, T. Margaria and B. Steffen, Eds. Springer, 2010, vol. 6415, pp. 90-105.
27. B. Schatz, F. Holzl, and T. Lundkvist, "Design-space exploration through constraint-based model-transformation," in Engineering of Computer Based Systems (ECBS), March 2010, pp. 173 -182.
28. K. Sen, D. Marinov, and G. Agha, "CUTE: a concolic unit testing engine for C," SIGSOFT Softw. Eng. Notes, vol. 30, pp. 263-272, September 2005. (Pubitemid 43218836)
29. W. Visser, C. S. Pǎ;sǎ;reanu, and S. Khurshid, "Test input generation with Java PathFinder," SIGSOFT Softw. Eng. Notes, vol. 29, no. 4, pp. 97-107, 2004. (Pubitemid 41121381)
30. C. Boyapati, S. Khurshid, and D. Marinov, "Korat: Automated testing based on java predicates," in International Symposium on Software Testing and Analysis (ISSTA). ACM, 2002.
31. E.-G. Talbi, Metaheuristics: From Design to Implementation. Wiley, 2009.
32. C. Voudouris, E. P. K. Tsang, and A. Alsheddy, "Effective application of guided local search," Wiley Encyclopedia of Operations Research and Management Science, June 2010.
33. S. Bouktif, H. Sahraoui, and G. Antoniol, "Simulated annealing for improving software quality prediction," in Proc. of GECCO '06. ACM, 2006.