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

DSpace Repository


Dateien:
Aufrufstatistik

URI: http://hdl.handle.net/10900/84295
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-842952
http://dx.doi.org/10.15496/publikation-25685
Dokumentart: InProceedings (Aufsatz / Paper einer Konferenz etc.)
Date: 2018-03-14
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
Keywords: Eingebettetes System
ISBN: 978-3-00-059317-8
License: Publishing license excluding print on demand
Show full item record

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.

This item appears in the following Collection(s)