Abstract
Design Space Exploration (DSE) techniques for complex embedded systems must cope with a huge variety of applications and target architectures as well as a wide spectrum of objectives and constraints. In particular, existing design automation approaches are either problem-independent, in that they do not exploit any knowledge about the optimization problem at hand, or are tailored to specific a priori assumptions about the problem and/or a specific set of design objectives. While the latter are only applicable within a very limited scope of design problems, the former may struggle to deliver high-quality solutions for problems with large design spaces and/or complex design objectives. As a remedy, we propose Importance-Guided Order Rearrangement (IGOR) as a novel approach for DSE of embedded systems. Instead of relying on an a priori problem knowledge, IGOR uses a machine-learning-inspired technique to dynamically analyze the importance of design decisions, i.e., the impact that these decisions—within the specific problem that is being optimized—have on the quality of explored problem solutions w.r.t. the given design objectives. Throughout the DSE, IGOR uses this information to guide the optimization towards the most promising regions of the design space. Experimental results for a variety of applications from different domains of embedded computing and for different optimization scenarios give evidence that the proposed approach is both scalable and adaptable, as it can be used for the optimization of systems described by several thousands constraints, where it outperforms both problem-specific and problem-independent optimization approaches and achieves ε-dominance improvements of up to 95%.
- Hananeh Aliee, Stefan Vitzethum, Michael Glaß, Jürgen Teich, and Emanuele Borgonovo. 2016. Guiding genetic algorithms using importance measures for reliable design of embedded systems. In DFT. IEEE.Google Scholar
- Giovanni Beltrame, Luca Fossati, and Donatella Sciuto. 2010. Decision-theoretic design space exploration of multiprocessor platforms. IEEE TODAES 29, 7 (2010).Google Scholar
Digital Library
- Tobias Blickle, Jürgen Teich, and Lothar Thiele. 1998. System-level synthesis using evolutionary algorithms. Design Automation for Embedded Systems (1998), 23--58.Google Scholar
- Justin Boyan and Andrew W. Moore. 2000. Learning evaluation functions to improve optimization by local search. Journal of Machine Learning Research 1, Nov (2000), 77--112.Google Scholar
- Leo Breiman. 2017. Classification and Regression Trees. Routledge.Google Scholar
- Carlos A. Coello Coello. 2002. Theoretical and numerical constraint-handling techniques used with evolutionary algorithms: A survey of the state of the art. Computer Methods in Applied Mechanics and Engineering 191, 11 (2002).Google Scholar
- Martin Davis, George Logemann, and Donald Loveland. 1962. A machine program for theorem-proving. Commun. ACM 5, 7 (1962), 394--397.Google Scholar
Digital Library
- Kalyanmoy Deb, Amrit Pratap, Sameer Agarwal, and TAMT Meyarivan. 2002. A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Transactions on Evolutionary Computation (2002), 182--197.Google Scholar
- Robert Dick. 2010. Embedded system synthesis benchmarks suite (E3S). http://ziyang.eecs.umich.edu/ dickrp/e3sdd/.Google Scholar
- Michael Glaß, Felix Reimann, Martin Lukasiewycz, and Faramarz Khosravi. 2014. JReliability - The Java-based Reliability Library.Google Scholar
- Michael Glaß, Jürgen Teich, Martin Lukasiewycz, and Felix Reimann. 2017. Hybrid Optimization Techniques for System-Level Design Space Exploration. Springer Netherlands, Dordrecht, 217--246.Google Scholar
- Taishi Ito, Hernán Aguirre, Kiyoshi Tanaka, Arnaud Liefooghe, Bilel Derbel, and Sébastien Verel. [n.d.]. Estimating relevance of variables for effective recombination. In EMO 2019. Springer.Google Scholar
- Zai Jian Jia, Andy D. Pimentel, Mark Thompson, Tomás Bautista, and Antonio Núñez. 2010. NASA: A generic infrastructure for system-level MP-SoC design space exploration. In ESTIMedia. IEEE.Google Scholar
- Biresh Joardar, Ryan Kim, Janardhan Rao Doppa, Partha Pratim Pande, Diana Marculescu, and Radu Marculescu. 2018. Learning-based application-agnostic 3D NoCe design for heterogeneous manycore systems. IEEE Trans. Comput. (2018).Google Scholar
- Pham Nam Khanh, Amit Kumar Singh, Akash Kumar, and Khin Mi Mi Aung. 2013. Incorporating energy and throughput awareness in design space exploration and run-time mapping for heterogeneous MPSoCs. In Euromicro Conference on Digital System Design (DSD). IEEE, 513--521.Google Scholar
Digital Library
- Faramarz Khosravi, Felix Reimann, Michael Glaß, and Jürgen Teich. 2014. Multi-objective local-search optimization using reliability importance measuring. In DAC. ACM.Google Scholar
- Marco Laumanns, Lothar Thiele, Kalyanmoy Deb, and Eckart Zitzler. 2002. Combining convergence and diversity in evolutionary multiobjective optimization. Evolutionary Computation (2002).Google Scholar
- Daniel Le Berre and Anne Parrain. 2010. The sat4j library, release 2.2, system description. Journal on Satisfiability, Boolean Modeling and Computation 7 (2010).Google Scholar
- Hung-Yi Liu and Luca P. Carloni. 2013. On learning-based methods for design-space exploration with high-level synthesis. In DAC. ACM.Google Scholar
- Martin Lukasiewycz, Michael Glaß, Christian Haubelt, and Jurgen Teich. 2007. SAT-decoding in evolutionary algorithms for discrete constrained optimization problems. In IEEE Congress on Evolutionary Computation.Google Scholar
- Martin Lukasiewycz, Michael Glaß, Felix Reimann, and Jürgen Teich. 2011. Opt4J - A modular framework for meta-heuristic optimization. In Proceedings of GECCO.Google Scholar
- Martin Lukasiewycz, Shanker Shreejith, and Suhaib A. Fahmy. 2014. System simulation and optimization using reconfigurable hardware. In Proceedings of ISIC.Google Scholar
- Martin Lukasiewycz, Martin Streubühr, Michael Glaß, Christian Haubelt, and Jürgen Teich. 2009. Combined system synthesis and communication architecture exploration for MPSoCs. In Proceedings of DATE.Google Scholar
Cross Ref
- Kai Neubauer, Philipp Wanko, Torsten Schaub, and Christian Haubelt. 2018. Exact multi-objective design space exploration using ASPmT. In Proceedings of DATE.Google Scholar
Cross Ref
- Lionel M. Ni and Philip K. McKinley. 1993. A survey of wormhole routing techniques in direct networks. Computer 2 (1993), 62--76.Google Scholar
Digital Library
- Berkin Ozisikyilmaz, Gokhan Memik, and Alok Choudhary. 2008. Efficient system design space exploration using machine learning techniques. In DAC. ACM.Google Scholar
- Jacopo Panerati, Donatella Sciuto, and Giovanni Beltrame. 2017. Optimization Strategies in Design Space Exploration. Springer Netherlands, Dordrecht, 1--29.Google Scholar
- F. Pedregosa, G. Varoquaux, A. Gramfort, V. Michel, B. Thirion, O. Grisel, M. Blondel, P. Prettenhofer, R. Weiss, V. Dubourg, J. Vanderplas, A. Passos, D. Cournapeau, M. Brucher, M. Perrot, and E. Duchesnay. 2011. Scikit-learn: Machine learning in Python. Journal of Machine Learning Research 12 (2011), 2825--2830.Google Scholar
Digital Library
- Behnaz Pourmohseni, Michael Glaß, and Jürgen Teich. 2017. Automatic operating point distillation for hybrid mapping methodologies. In DATE. IEEE.Google Scholar
- Behnaz Pourmohseni, Fedor Smirnov, Stefan Wildermann, and Jürgen Teich. 2019. Isolation-aware timing analysis and design space exploration for predictable and composable many-core systems. In 31st Euromicro Conference on Real-Time Systems (ECRTS 2019) (Leibniz International Proceedings in Informatics (LIPIcs)), Vol. 133. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.Google Scholar
- Felix Reimann, Martin Lukasiewycz, Michael Glaß, and Fedor Smirnov. 2018. OpenDSE -- Open Design Space Exploration Framework. http://opendse.sourceforge.net/.Google Scholar
- Valentina Richthammer, Tobias Schwarzer, Stefan Wildermann, Jürgen Teich, and Michael Glaß. 2018. Architecture decomposition in system synthesis of heterogeneous many-core systems. In Proceedings of the 55th Annual Design Automation Conference. ACM, 175.Google Scholar
Digital Library
- Miyako Sagawa, Hernán Aguirre, Fabio Daolio, Arnaud Liefooghe, Bilel Derbel, Sébastien Verel, and Kiyoshi Tanaka. 2017. Learning variable importance to guide recombination on many-objective optimization. In IIAI-AAI. IEEE.Google Scholar
- Alberto Sangiovanni-Vincentelli and Marco Di Natale. 2007. Embedded system design for automotive applications. Computer 40, 10 (2007).Google Scholar
- Amit Kumar Singh, Akash Kumar, and Thambipillai Srikanthan. 2013. Accelerating throughput-aware runtime mapping for heterogeneous MPSoCs. ACM TODAES (2013).Google Scholar
- Fedor Smirnov. 2019. IGOR. https://github.com/FedorSmirnov89/IGOR.Google Scholar
- Fedor Smirnov. 2019. MDR. https://github.com/FedorSmirnov89/MDR.Google Scholar
- Fedor Smirnov, Behnaz Pourmohseni, Michael Glaß, and Jürgen Teich. 2019. Variety-aware routing encoding for efficient design space exploration of automotive communication networks. In Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems - Volume 1: VEHITS,. INSTICC, SciTePress, 242--253.Google Scholar
Cross Ref
- Fedor Smirnov, Felix Reimann, Jürgen Teich, Zhao Han, and Michael Glaß. 2018. Automatic optimization of redundant message routings in automotive networks. In Proceedings of SCOPES.Google Scholar
Digital Library
- Alice Smith, Alice E. Smith, David W. Coit, Thomas Baeck, David Fogel, and Zbigniew Michalewicz. 1997. Penalty Functions.Google Scholar
- Reza Tavakkoli-Moghaddam, Jalal Safari, and Farrokh Sassani. 2008. Reliability optimization of series-parallel systems with a choice of redundancy strategies using a genetic algorithm. Reliability Engineering 8 System Safety 93, 4 (2008).Google Scholar
- Pascal T. Wolkotte, Gerard J. M. Smit, Nikolay Kavaldjiev, Jens E. Becker, and Jürgen Becker. 2005. Energy model of networks-on-chip and a bus. In International Symposium on System-on-Chip (SoC).Google Scholar
Cross Ref
- Eckart Zitzler, Marco Laumanns, and Lothar Thiele. 2001. SPEA2: Improving the strength Pareto evolutionary algorithm. TIK-report 103 (2001).Google Scholar
- Eckart Zitzler and Lothar Thiele. 1999. Multiobjective evolutionary algorithms: A comparative case study and the strength Pareto approach. IEEE Transactions on Evolutionary Computation 3.4 3, 4 (1999), 257--271.Google Scholar
- Marcela Zuluaga, Andreas Krause, Peter Milder, and Markus Püschel. 2012. Smart design space sampling to predict Pareto-optimal solutions. In ACM SIGPLAN Notices, Vol. 47. ACM, 119--128.Google Scholar
Digital Library
Index Terms
IGOR, Get Me the Optimum! Prioritizing Important Design Decisions During the DSE of Embedded Systems
Recommendations
Tuning DSE for Heterogeneous Multi-Processor Embedded Systems by means of a Self-Equalized Weighted Sum Method
PARMA-DITAM 2019: Proceedings of the 10th and 8th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing PlatformsHeterogeneous multi-processor platforms are becoming widely diffused in the embedded system domain, mainly because of the opportunity to improve timing performance and, at the same time, to minimize energy/power consumption and costs. In using such kind ...
A methodology to design programmble embedded systems: the Y-chart approach
Embedded processor design challengesEmbedded systems architectures are increasingly becoming programmable, which means that an architecture can execute a set of applications instead of only one. This makes these systems cost-effective, as the same resources can be reused for another ...
Visualization of Multi-objective Design Space Exploration for Embedded Systems
DSD '10: Proceedings of the 2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and ToolsModern embedded systems come with contradictory design constraints. On one hand, these systems often target mass production and battery-based devices, and therefore should be cheap and power efficient. On the other hand, they need to achieve high (real-...






Comments