Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches

DSpace Repository

Show simple item record Neubauer, Kai Haubelt, Christian Wanko, Philipp Schaub, Torsten 2018-09-21T09:24:36Z 2018-09-21T09:24:36Z 2018-03-14
dc.identifier.isbn 978-3-00-059317-8
dc.identifier.other 511299710 de_DE
dc.identifier.uri de_DE
dc.description.abstract The design of embedded systems gets continually more arduous as the complexity of applications and hardware platforms advance to satisfy the increasing demands on functionality, performance, and power consumption. Mostly however, the concurrent fulfillment of those demands are impossible because quality parameters are usually conflicting with each other and cannot be guaranteed simultaneously. Thus, to find the best compromises of all possible solutions, an efficient Design Space Exploration (DSE) becomes imperative. While, in recent time, many DSE techniques to the system-level synthesis problem of embedded systems design have been proposed, a systematic approach on how to produce a viable set of variant test cases with definite similar properties is not available. In this work, we therefore propose a methodology for the test case generation for DSE techniques and present a versatile and easily expendable benchmark generator based on Answer Set Programming (ASP) that is able to produce hard synthesis problem instances. The application of the test case instance generator for an evaluation of a novel DSE approach shows that the impact on performance is negligibly small compared to the solving complexity of the generated test instances. en
dc.language.iso en de_DE
dc.publisher Universität Tübingen de_DE
dc.rights ubt-podno de_DE
dc.rights.uri de_DE
dc.rights.uri en
dc.subject.classification Eingebettetes System de_DE
dc.subject.ddc 004 de_DE
dc.title Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches en
dc.type ConferencePaper de_DE
utue.publikation.fachbereich Informatik de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE
utue.opus.portal mbmv2018 de_DE
utue.publikation.reiheohneschema MBMV 2018 de_DE


This item appears in the following Collection(s)

Show simple item record