Formulation of Design Space Exploration Problems by Composable Design Space Identification
2021 (English)In: PROCEEDINGS OF THE 2021 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2021), Institute of Electrical and Electronics Engineers (IEEE) , 2021, p. 1204-1207Conference paper, Published paper (Refereed)
Abstract [en]
Design space exploration (DSE) is a key activity in embedded system design methodologies and can be supported by well-defined models of computation (MoCs) and predictable platform architectures. The original design model, covering the application models, platform models and design constraints needs to be converted into a form analyzable by computer-aided decision procedures such as mathematical programming or genetic algorithms. This conversion is the process of design space identification (DSI), which becomes very challenging if the design domain comprises several MoCs and platforms. For a systematic solution to this problem, separation of concerns between the design domain and decision domain is of key importance. We propose in this paper a systematic DSI scheme that is (a) composable, as it enables the stepwise and simultaneous extension of both design and decision domain, and (b) tuneable, because it also enables different DSE solving techniques given the same design model. We exemplify this DSI scheme by an illustrative example that demonstrates the mechanisms for composition and tuning. Additionally, we show how different compositions can lead to the same decision model as an important property of this DSI scheme.
Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE) , 2021. p. 1204-1207
Keywords [en]
Computer programming, Embedded software, Genetic algorithms, Mathematical programming, Space platforms, Application models, Decision modeling, Decision procedure, Design constraints, Design space exploration, Models of computation, Platform architecture, Separation of concerns, Design
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-310720DOI: 10.23919/DATE51398.2021.9474082ISI: 000805289900225Scopus ID: 2-s2.0-85111039144OAI: oai:DiVA.org:kth-310720DiVA, id: diva2:1651809
Conference
2021 Design, Automation and Test in Europe Conference and Exhibition, DATE 2021, 1-5 February 2021, Grenoble, France.
Note
Part of proceedings ISBN: 978-3-9819263-5-4
QC 20220413
2022-04-132022-04-132022-10-12Bibliographically approved