Article

An approach for effective design space exploration

Authors:

Wolfram SchulteAuthors Info & Claims

FOCS'10: Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems

Pages 33 - 54

Published: 31 March 2010 Publication History

Abstract

Design space exploration (DSE) refers to the activity of exploring design alternatives prior to implementation. The power to operate on the space of potential design candidates renders DSE useful for many engineering tasks, including rapid prototyping, optimization, and system integration. The main challenge in DSE arises from the sheer size of the design space that must be explored. Typically, a large system has millions, if not billions, of possibilities, and so enumerating every point in the design space is prohibitive. In this paper, we present a method for systematically exploring the design space in a cost-effective manner. The key idea is that many of the design candidates may be considered equivalent as far as the user is concerned, and so only a small subset of the space needs to be explored. Our approach takes the user-defined notion of equivalence, and generates symmetry breaking predicates to ensure that the underlying exploration engine does not sample multiple equivalent design candidates. We describe how the method is integrated into our DSE framework, FORMULA, which uses an SMT solver to solve a set of global design constraints and search for valid design instances.

References

[1]

Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.L.: Metropolis: An integrated electronic system design environment. IEEE Computer 36(4), 45-52 (2003)

Digital Library

[2]

Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7-20. Springer, Heidelberg (2005)

Digital Library

[3]

Benavides, D., Martín-Arroyo, P.T., Cortés, A.R.: Automated reasoning on feature models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491-503. Springer, Heidelberg (2005)

Digital Library

[4]

Bland, J.A., Dawson, G.P.: Tabu search and design optimization. Computer-Aided Design 23(3), 195-201 (1991)

Digital Library

[5]

Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Computers 35(8), 677-691 (1986)

Digital Library

[6]

Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)

Digital Library

[7]

Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Bevilacqua, V., Talcott, C.L. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)

Digital Library

[8]

Crawford, J.M., Ginsberg, M.L., Luks, E.M., Roy, A.: Symmetry-breaking predicates for search problems. In: Principles of Knowledge Representation and Reasoning, pp. 148-159 (1996)

[9]

de Lara, J., Vangheluwe, H.: Atom3: A tool for multi-formalism and metamodelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174-188. Springer, Heidelberg (2002)

Digital Library

[10]

de Moura, L., Bjørner, N.S.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)

Digital Library

[11]

Eles, P., Peng, Z., Kuchcinski, K., Doboli, A.: System level hardware/software partitioning based on simulated annealing and tabu search. In: Design Automation for Embedded Systems, vol. 2, pp. 5-32. Kluwer Academic Publishers, Dordrecht (1997)

[12]

Glover, F., Laguna, M.: Tabu Search. Kluwer Academic Publishers, Dordrecht (1998)

Digital Library

[13]

Gries, M.: Methods for evaluating and covering the design space during early design development. Integration 38(2), 131-183 (2004)

Digital Library

[14]

Hu, X., Greenwood, G.W., Ravichandran, S., Quan, G.: A framework for user assisted design space exploration. In: DAC, pp. 414-419 (1999)

Digital Library

[15]

Jackson, E.K., Kang, E., Dahlweid, M., Santen, D.S.T.: Components, platforms and possibilites: Towards generic automation for mda. In: Embedded Software (2010)

Digital Library

[16]

Jackson, E.K., Seifert, D., Dahlweid, M., Santen, T., Bjørner, N., Schulte, W.: Specifying and composing non-functional requirements in model-based development. In: Software Composition, pp. 72-89 (2009)

Digital Library

[17]

Jackson, E.K., Sztipanovits, J.: Formalizing the structural semantics of domainspecific modeling languages. In: Software and Systems Modeling (2008)

[18]

Kakita, S., Watanabe, Y., Densmore, D., Davare, A., Sangiovanni-Vincentelli, A.L.: Functional model exploration for multimedia applications via algebraic operators. In: ACSD, pp. 229-238 (2006)

Digital Library

[19]

Kanajan, S., Zeng, H., Pinello, C., Sangiovanni-Vincentelli, A.L.: Exploring tradeoff's between centralized versus decentralized automotive architectures using a virtual integration environment. In: DATE, pp. 548-553 (2006)

Digital Library

[20]

LaValle, S.M., Kuffner Jr., J.J.: Randomized kinodynamic planning. I. J. Robotic Res. 20(5), 378-400 (2001)

[21]

Mandel, L., Cengarle, M.V.: On the expressive power of OCL. In: Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 854-874. Springer, Heidelberg (1999)

Digital Library

[22]

Manolios, P., Vroon, D., Subramanian, G.: Automating component-based system assembly. In: ISSTA, pp. 61-72 (2007)

Digital Library

[23]

McDonald, I., Smith, B.M.: Partial symmetry breaking. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol. 2470, pp. 431-445. Springer, Heidelberg (2002)

Digital Library

[24]

Muller, P.-A., Fleurey, F., Jézéquel, J.-M.: Weaving Executability into Object-Oriented Meta-languages. In: 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS), pp. 264-278 (2005)

Digital Library

[25]

Myer, G.J.: The Art of Software Testing. Wiley, Chichester (2004)

Digital Library

[26]

Neema, S., Sztipanovits, J., Karsai, G., Butts, K.: Constraint-based design-space exploration and model synthesis. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855, pp. 290-305. Springer, Heidelberg (2003)

[27]

Object Management Group. Meta Object Facility (MOF) Core Specification Version 2.0 (2006)

[28]

Polya, G., Read, R.C.: Combinatorial Enumeration of Groups, Graphs, and Chemical Compounds. Springer, New York (1987)

Digital Library

[29]

Ruscio, D.D., Jouault, F., Kurtev, I., Bézivin, J., Pierantonio, A.: Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. RR 06.02 (April 2006)

[30]

Shlyakhter, I.: Generating effective symmetry-breaking predicates for search problems. Discrete Applied Mathematics 155(12), 1539-1548 (2007)

Digital Library

[31]

van Laarhoven, P.J.: Simulated Annealing: Theory and Applications. Springer, Heidelberg (1987)

Digital Library

[32]

Wiangtong, T., Cheung, P.Y.K., Luk, W.: Comparing three heuristic search methods for functional partitioning in hardware-software codesign. In: Design Automation for Embedded Systems, vol. 6, pp. 425-449. Kluwer Academic Publishers, Dordrecht (2002)

Cited By

Matei IPiotrowski WPerez Ade Kleer JTierno JMungovan WTurnewitsch V(2023)System Resilience through Health Monitoring and ReconfigurationACM Transactions on Cyber-Physical Systems10.1145/36316128:1(1-27)Online publication date: 3-Nov-2023
https://dl.acm.org/doi/10.1145/3631612
Zhang QBalasubramanian DKecskes TSztipanovits JGray JRossi MSprinkle JTolvanen J(2021)Differential-FORMULA: towards a semantic backplane for incremental modelingProceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling10.1145/3486603.3486779(51-60)Online publication date: 18-Oct-2021
https://dl.acm.org/doi/10.1145/3486603.3486779
Yeh CTu CHung S(2019)Rapid Hybrid Simulation Methods for Exploring the Design Space of Signal Processors with Dynamic and Scalable Timing ModelsJournal of Signal Processing Systems10.1007/s11265-017-1285-z91:3-4(247-259)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1007/s11265-017-1285-z
Show More Cited By

Recommendations

Interdigitation for effective design space exploration using iSIGHT

Optimization studies for nonlinear constrained problems (i.e. most complex engineering design problems) have repeatedly shown that (i) no single optimization technique performs best for all design problems, and (ii) in most cases, a mix of techniques ...
Design space exploration acceleration through operation clustering

This paper presents a clustering method called clustering design space exploration (CDS-ExpA) to accelerate the architectural exploration of behavioral descriptions in C and SystemC. The trade-offs between faster exploration versus optimality of results ...
Design space exploration revisited
Special Issue: Design Spaces: The Explicit Representation of Spaces of Alternatives

Design involves reasoning about descriptions of design artifacts, reasoning about design requirements, and reasoning about design process objectives (such as keeping to deadlines and available budget). Reasoning about these three aspects occurs during ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

FOCS'10: Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems

March 2010

238 pages

ISBN:9783642212918

Editors:
Radu Calinescu
Oxford University, Computing Laboratory, Oxford, UK
,
Ethan Jackson
Microsoft Research, Redmond, WA

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 31 March 2010

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Matei IPiotrowski WPerez Ade Kleer JTierno JMungovan WTurnewitsch V(2023)System Resilience through Health Monitoring and ReconfigurationACM Transactions on Cyber-Physical Systems10.1145/36316128:1(1-27)Online publication date: 3-Nov-2023
https://dl.acm.org/doi/10.1145/3631612
Zhang QBalasubramanian DKecskes TSztipanovits JGray JRossi MSprinkle JTolvanen J(2021)Differential-FORMULA: towards a semantic backplane for incremental modelingProceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling10.1145/3486603.3486779(51-60)Online publication date: 18-Oct-2021
https://dl.acm.org/doi/10.1145/3486603.3486779
Yeh CTu CHung S(2019)Rapid Hybrid Simulation Methods for Exploring the Design Space of Signal Processors with Dynamic and Scalable Timing ModelsJournal of Signal Processing Systems10.1007/s11265-017-1285-z91:3-4(247-259)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1007/s11265-017-1285-z
Famelis MChechik M(2019)Managing design-time uncertaintySoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0594-918:2(1249-1284)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s10270-017-0594-9
Ross JMurashkin ALiang JAntkiewicz MCzarnecki K(2019)Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0592-y18:1(739-767)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0592-y
Semeráth ONagy AVarró DChaudron MCrnkovic IChechik MHarman M(2018)A graph solver for the automated generation of consistent domain-specific modelsProceedings of the 40th International Conference on Software Engineering10.1145/3180155.3180186(969-980)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3180155.3180186
Nasri M(2017)On flexible and robust parameter assignment for periodic real-time componentsACM SIGBED Review10.1145/3166227.316622814:3(8-15)Online publication date: 22-Nov-2017
https://dl.acm.org/doi/10.1145/3166227.3166228
Eder JZverlov SVoss SKhalil MIpatiov ABatory D(2017)Bringing DSE to lifeProceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS.2017.36(270-280)Online publication date: 17-Sep-2017
https://dl.acm.org/doi/10.1109/MODELS.2017.36
Semeráth OVörös AVarró D(2016)Iterative and Incremental Model Generation byźLogic SolversProceedings of the 19th International Conference on Fundamental Approaches to Software Engineering - Volume 963310.5555/3089458.3089467(87-103)Online publication date: 2-Apr-2016
https://dl.acm.org/doi/10.5555/3089458.3089467
Bodin BNardi LZia MWagstaff HSreekar Shenoy GEmani MMawer JKotselidis CNisbet ALujan MFranke BKelly PO'Boyle MZaks AMendelson BRauchwerger LHwu W(2016)Integrating Algorithmic Parameters into Benchmarking and Design Space Exploration in 3D Scene UnderstandingProceedings of the 2016 International Conference on Parallel Architectures and Compilation10.1145/2967938.2967963(57-69)Online publication date: 11-Sep-2016
https://dl.acm.org/doi/10.1145/2967938.2967963
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents