Skip to main content
SpringerLink
Log in

MDE-Based Approach for Generalizing Design Space Exploration

  • Conference paper
Model Driven Engineering Languages and Systems (MODELS 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6394))

Abstract

Design Space Exploration (DSE) is the exploration of design alternatives before the implementation. Existing DSE frameworks are domain-specific where the representation, evaluation method as well as exploration algorithm are tightly coupled with domain-dependent assumptions. Although the tasks involved in DSE are similar, the inflexibility of the existing frameworks restricts their reuse for solving DSE problems from other domains.

This paper presents an MDE-based approach for generalizing DSE techniques. The framework supports a reconfigurable representation of a design space, which is decoupled from exploration algorithm. The framework can be configured to solve DSE problems from different domains and enables the designer to experiment with different approaches to solve the same problem with minimum effort. The main contributions of this framework are: (1) rapid modeling of DSE problems, (2) reuse of previously defined artifacts, (3) multiple solver support and (4) a tool for scalability study.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hourani, R., Jenkal, R., Davis, W.R., Alexander, W.: Automated Design Space Exploration for DSP Applications. J. Signal Process. Syst. 56(2-3), 199–216 (2009)

    Article  Google Scholar 

  2. Benavides, D., Trinidad, P., Ruiz-Cortés, A.: Automated Reasoning on Feature Models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491–503. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  3. Oh, H., Ha, S.: Hardware-Software Cosynthesis of Multi-Mode Multi-Task Embedded Systems with Real-Time Constraints. In: CODES 2002, pp. 133–138 (2002)

    Google Scholar 

  4. Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.: Metropolis: An Integrated Electronic System Design Environment. Computer 36, 45–52 (2003)

    Article  Google Scholar 

  5. Bakshi, A., Prasanna, V.K., Ledeczi, A.: MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems. In: LCTES 2001: Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, pp. 82–93. ACM, New York (2001)

    Chapter  Google Scholar 

  6. Benavides, D., Segura, S., Trinidad, P., Ruiz-cortés, A.: FAMA: Tooling a framework for the automated analysis of feature models. In: Proceeding of the First International Workshop on Variability Modelling of Softwareintensive Systems (VAMOS), pp. 129–134 (2007)

    Google Scholar 

  7. Mendonca, M., Branco, M., Cowan, D.: S.P.L.O.T.: software product lines online tools. In: OOPSLA 2009: Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, pp. 761–762. ACM, New York (2009)

    Chapter  Google Scholar 

  8. Schrijver, A.: 15.1 : Karmarkar’s polynomial–time algorithm for linear programming. In: Theory of Linear and Integer Programming, pp. 190–194. John Wiley & Sons, New York (1986)

    Google Scholar 

  9. En, N., Srensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502–518. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  10. Janota, M.: Do SAT Solvers Make Good Configurators? In: Thiel, S., Pohl, K. (eds.) SPLC (2), Lero Int. Science Centre, pp. 191–195. University of Limerick, Ireland (2008)

    Google Scholar 

  11. Schmidt, D.C.: Model-Driven Engineering. IEEE Computer 39(2) (February 2006)

    Google Scholar 

  12. Sztipanovits, J., Karsai, G.: Model-Integrated Computing. Computer 30(4), 110–111 (1997)

    Article  Google Scholar 

  13. Emerson, M., Sztipanovits, J.: Techniques for Metamodel Composition. In: OOPSLA 6th Workshop on Domain Specific Modeling, pp. 123–139 (2006)

    Google Scholar 

  14. Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: Towards a standard CP modelling language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529–543. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  15. Tack, G.: Constraint Propagation - Models, Techniques, Implementation. phd. thesis, Saarland University, Germany (2009)

    Google Scholar 

  16. Apt, K.R., Wallace, M.: Constraint Logic Programming using Eclipse. Cambridge University Press, New York (2007)

    MATH  Google Scholar 

  17. Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-Integrated Development of Embedded Software. Proceedings of the IEEE, 145–164 (2003)

    Google Scholar 

  18. Kang, K.C., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: FORM: A feature-oriented reuse method with domain-specific reference architectures. Ann. Softw. Eng. 5, 143–168 (1998)

    Article  Google Scholar 

  19. Vaziri, M., Vaziri, A., Jackson, D.: Some Shortcomings of OCL, the Object Constraint Language of UML

    Google Scholar 

  20. Neema, S.: System-Level Synthesis of Adaptive Computing Systems. PhD thesis, Vanderbilt University (May 2001)

    Google Scholar 

  21. Agrawal, A.: Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck. In: International Conference on Automated Software Engineering, p. 364 (2003)

    Google Scholar 

  22. Feydy, T., Stuckey, P.: Lazy clause generation reengineered. In: Gent, I.P. (ed.) CP 2009. LNCS, vol. 5732, pp. 352–366. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  23. White, J., Dougherty, B., Schmidt, D.C.: Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening. J. Syst. Softw. 82(8), 1268–1284 (2009)

    Article  Google Scholar 

  24. Bleuler, S., Laumanns, M., Thiele, L., Zitzler, E.: PISA - A Platform and Programming Language Independent Interface for Search Algorithms, pp. 494–508. Springer, Heidelberg (2003)

    Google Scholar 

  25. Gries, M.: Methods for evaluating and covering the design space during early design development. Integr. VLSI J. 38(2), 131–183 (2004)

    Article  Google Scholar 

  26. Bryant, R.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers 35, 677–691 (1986)

    Article  MATH  Google Scholar 

  27. Eames, B.K., Neema, S.K., Saraswat, R.: DesertFD: A Finite-Domain Constraint based tool for Design Space Exploration. Design Automation for Embedded Systems (2009)

    Google Scholar 

  28. Cieslok, F., Esau, H., Teich, J.: EXPLORA - Generic Design Space Exploration during Embedded System Synthesis. In: DIPES 2000: Proceedings of the IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems, pp. 215–226. Kluwer, B.V, Deventer (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering and Computer Science, Vanderbilt University, Nashville, TN, 37205

    Tripti Saxena & Gabor Karsai

Authors
  1. Tripti Saxena
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gabor Karsai
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Systems and Computer Engineering, Carleton University, 1125 Colonel By Drive, K1S 5BG, Ottawa, Ontario, Canada

    Dorina C. Petriu

  2. Jet Propulsion Laboratory, Flight Software Systems Engineering and Srchitecture Group, 4800 Oak Grove Drive, 91109, Pasadena, CA, USA

    Nicolas Rouquette

  3. SINTEF IKT, Forskningsveien 1, 0373, Oslo, Norway

    Øystein Haugen

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Saxena, T., Karsai, G. (2010). MDE-Based Approach for Generalizing Design Space Exploration. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds) Model Driven Engineering Languages and Systems. MODELS 2010. Lecture Notes in Computer Science, vol 6394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16145-2_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16145-2_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16144-5

  • Online ISBN: 978-3-642-16145-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation