Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems最新文献_第3页

A Lightweight Design Space Exploration and Optimization Language 一种轻量级设计空间探索与优化语言

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems Pub Date : 2016-05-23 DOI: 10.1145/2906363.2906367

Alexander Diewald, S. Voss, S. Barner

{"title":"A Lightweight Design Space Exploration and Optimization Language","authors":"Alexander Diewald, S. Voss, S. Barner","doi":"10.1145/2906363.2906367","DOIUrl":"https://doi.org/10.1145/2906363.2906367","url":null,"abstract":"The solution of many engineering and scientific problems requires the exploration of a huge n-dimensional design space. Typical approaches rely on an abstract problem model consisting of a system model (description of the problem's variable couplings) and an optimization specification defining the objectives as well as the constraints bounding the design space. Advances in solver technologies enabled to efficiently search the solution space, however the diversity of the approaches led to problem descriptions that are difficult to reuse, as well as to solutions that are hard to compare. Our Exploration Meta-Model (EMM) addresses this issue by providing a unified language for optimization specifications that is a well-defined basis for model-based implementations of solver-independent design-space exploration (DSE) tool-chains. The EMM is a light-weight framework that allows to a) describe optimization specifications independent of particular optimization methods and solvers, b) relate solutions and optimization specifications, and c) define domain profiles that provide high-level optimization specifications that ease the adoption of automated DSE by domain experts. The applicability of our framework to different optimization methods is demonstrated by applying it to the generic vector optimization problem and to single-objective linear programs. The EMM's support to relate optimization results to input specifications is exercised for the Opt4J framework. Finally, a profile for real-time embedded systems demonstrates how the EMM can be tailored to specific domains.","PeriodicalId":344390,"journal":{"name":"Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129739324","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 10

HAPI: An Event-Driven Simulator for Real-Time Multiprocessor Systems HAPI:用于实时多处理器系统的事件驱动模拟器

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems Pub Date : 2016-05-23 DOI: 10.1145/2906363.2906381

P. Kurtin, J. Hausmans, M. Bekooij

{"title":"HAPI: An Event-Driven Simulator for Real-Time Multiprocessor Systems","authors":"P. Kurtin, J. Hausmans, M. Bekooij","doi":"10.1145/2906363.2906381","DOIUrl":"https://doi.org/10.1145/2906363.2906381","url":null,"abstract":"Many embedded multiprocessor systems have hard real-time requirements which should be guaranteed at design time by means of analytical techniques that cover all cases. It is desirable to evaluate the correctness and tightness of the analysis results by means of simulation. However, verification of the analytically obtained results is hampered by the lack of a fast high level simulation approach that supports task scheduling and that does not produce pessimistic simulation traces. In this paper we present HAPI, an event driven simulator for the evaluation of the results of real-time analysis techniques for task graphs executed on multiprocessor systems that support processor sharing. HAPI produces simulation traces that are pessimistic to reality and optimistic to temporal analysis. It can be consequently used to detect optimistic, i.e. incorrect, analysis results. Several task scheduling policies are supported by HAPI such as fixed priority preemptive, time-division multiplex and round-robin. Preemptive task scheduling decisions are simulated which enables to study the cause of delayed task finishes and thereby helps to identify overly pessimistic analysis results. We demonstrate the applicability of the simulator using a number of didactic examples and a WLAN 802.11p application.","PeriodicalId":344390,"journal":{"name":"Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130485014","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

Design-Time/Run-Time Mapping of Security-Critical Applications in Heterogeneous MPSoCs 异构mpsoc中安全关键应用的设计时/运行时映射

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems Pub Date : 2016-05-23 DOI: 10.1145/2906363.2906370

A. Weichslgartner, S. Wildermann, J. Götzfried, F. Freiling, M. Glaß, J. Teich

引用次数: 16

Cache-Aware Instruction SPM Allocation for Hard Real-Time Systems 硬实时系统的缓存感知指令SPM分配

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems Pub Date : 2016-05-23 DOI: 10.1145/2906363.2906369

Arno Luppold, C. Kittsteiner, H. Falk

引用次数: 8

Energy-Optimized Static Scheduling for Many-Cores with Task Parallelization, DVFS and Core Consolidation 具有任务并行、DVFS和核心合并的多核能量优化静态调度

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems Pub Date : 2016-05-23 DOI: 10.1145/2906363.2906376

Nicolas Melot, C. Kessler, J. Keller

引用次数: 1

Exploiting Configuration Dependencies for Rapid Area-efficient Customization of Soft-core Processors 利用配置依赖性实现软核处理器的快速区域高效定制

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems Pub Date : 2016-05-23 DOI: 10.1145/2906363.2906385

Deshya Wijesundera, Alok Prakash, S. Lam, T. Srikanthan

引用次数: 4

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems 第19届嵌入式系统软件与编译器国际研讨会论文集

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems Pub Date : 1900-01-01 DOI: 10.1145/2906363

引用次数: 0