2013 Proceedings of the International Conference on Embedded Software (EMSOFT)最新文献_第3页

StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions StreaMorph:一个使用高级抽象综合节能自适应程序的案例

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) Pub Date : 2013-09-29 DOI: 10.1109/EMSOFT.2013.6658598

D. Bui, Edward A. Lee

{"title":"StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractions","authors":"D. Bui, Edward A. Lee","doi":"10.1109/EMSOFT.2013.6658598","DOIUrl":"https://doi.org/10.1109/EMSOFT.2013.6658598","url":null,"abstract":"This paper presents the concept of adaptive programs, whose computation and communication structures can morph to adapt to environmental and demand changes to save energy and computing resources. In this approach, programmers write one single program using a language at a higher level of abstraction. The compiler will exploit the properties of the abstractions to generate an adaptive program that is able to adjust computation and communication structures to environmental and demand changes. We develop a technique, called StreaMorph, that exploits the properties of stream programs' Synchronous Dataflow (SDF) programming model to enable runtime stream graph transformation. The StreaMorph technique can be used to optimize memory usage and to adjust core utilization leading to energy reduction by turning off idle cores or reducing operating frequencies. The main challenge for such a runtime transformation is to maintain consistent program states by copying states between different stream graph structures, because a stream program optimized for different numbers of cores often has different sets of filters and inter-filter channels. We propose an analysis that helps simplify program state copying processes by minimizing copying of states based on the properties of the SDF model. Finally, we implement the StreaMorph method in the StreamIt compiler. Our experiments on the Intel Xeon E5450 show that using StreaMorph to minimize the number of cores used from eight cores to one core, e.g. when streaming rates become lower, can reduce energy consumption by 76.33% on average. Using StreaMorph to spread workload from four cores to six or seven cores, e.g. when more cores become available, to reduce operating frequencies, can lead to 10% energy reduction. In addition, StreaMorph can lead to a buffer size reduction of 82.58% in comparison with a straightforward inter-core filter migration technique when switching from using eight cores to one core.","PeriodicalId":325726,"journal":{"name":"2013 Proceedings of the International Conference on Embedded Software (EMSOFT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129782992","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}

引用次数: 12

Scheduling of mixed-criticality applications on resource-sharing multicore systems 资源共享多核系统上混合关键应用程序的调度

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) Pub Date : 2013-09-29 DOI: 10.1109/EMSOFT.2013.6658595

G. Giannopoulou, N. Stoimenov, Pengcheng Huang, L. Thiele

{"title":"Scheduling of mixed-criticality applications on resource-sharing multicore systems","authors":"G. Giannopoulou, N. Stoimenov, Pengcheng Huang, L. Thiele","doi":"10.1109/EMSOFT.2013.6658595","DOIUrl":"https://doi.org/10.1109/EMSOFT.2013.6658595","url":null,"abstract":"A common trend in real-time safety-critical embedded systems is to integrate multiple applications on a single platform. Such systems are known as mixed-criticality (MC) systems as the applications are usually characterized by different criticality levels (CLs). Nowadays, multicore platforms are promoted due to cost and performance benefits. However, certification of multicore MC systems is challenging because concurrently executed applications with different CLs may block each other when accessing shared platform resources. Most of the existing research on multicore MC scheduling ignores the effects of resource sharing on the execution times of applications. This paper proposes a MC scheduling strategy which explicitly accounts for these effects. Applications are executed by a flexible time-triggered criticality-monotonic scheduling scheme. Schedulers on different cores are dynamically synchronized such that only a statically known subset of applications of the same CL can interfere on shared resources, e. g.,memories, buses. Therefore, the timing effects of resource sharing are bounded and we quantify them at design time. We combine this scheduling strategy with a mapping optimization technique for achieving better resource utilization. The efficiency of the approach is demonstrated through extensive simulations as well as comparisons with traditional temporal partitioning and state-of-the-art scheduling algorithms. It is also validated on a real-world avionics system.","PeriodicalId":325726,"journal":{"name":"2013 Proceedings of the International Conference on Embedded Software (EMSOFT)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133896445","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}

引用次数: 115

A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems 嵌入式和网络物理系统背景下集成多视图建模的表征

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) Pub Date : 2013-09-29 DOI: 10.1109/EMSOFT.2013.6658588

Magnus Persson, Martin Törngren, A. Qamar, Jonas Westman, M. Biehl, S. Tripakis, H. Vangheluwe, J. Denil

{"title":"A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems","authors":"Magnus Persson, Martin Törngren, A. Qamar, Jonas Westman, M. Biehl, S. Tripakis, H. Vangheluwe, J. Denil","doi":"10.1109/EMSOFT.2013.6658588","DOIUrl":"https://doi.org/10.1109/EMSOFT.2013.6658588","url":null,"abstract":"Embedded systems, with their tight technology integration, and multiple requirements and stakeholders, are characterized by tightly interrelated processes, information and tools. Embedded systems will as a consequence be described by multiple, heterogeneous and interrelated descriptions such as for example requirements documents, design and analysis models, software and hardware descriptions. We refer to a system designed this way as a multi-view (MV) system. The main contribution of this paper is a characterization of model-based approaches to MV systems. The characterization takes three main perspectives for the relations between viewpoints: semantic relations (content), relations over time (process), and manipulation of views (operations). We complement these perspectives by investigating MV system challenges and by a survey of related approaches. The characterization aims to provide a basis for a better understanding, design and implementation of MV systems, and thereby to overcome the current fragmented points of view on integrated multi-view modeling (MVM).","PeriodicalId":325726,"journal":{"name":"2013 Proceedings of the International Conference on Embedded Software (EMSOFT)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115634696","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}

引用次数: 50

Pre-orders for reasoning about stability properties with respect to input of hybrid systems 基于输入的混合系统稳定性推理的预定顺序

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) Pub Date : 2013-09-29 DOI: 10.1109/EMSOFT.2013.6658602

P. Prabhakar, Jun Liu, R. Murray

{"title":"Pre-orders for reasoning about stability properties with respect to input of hybrid systems","authors":"P. Prabhakar, Jun Liu, R. Murray","doi":"10.1109/EMSOFT.2013.6658602","DOIUrl":"https://doi.org/10.1109/EMSOFT.2013.6658602","url":null,"abstract":"Pre-orders on systems are the basis for abstraction based verification of systems. In this paper, we investigate pre-orders for reasoning about stability with respect to inputs of hybrid systems. First, we present a superposition type theorem which gives a characterization of the classical incremental input-to-state stability of continuous systems in terms of the traditional ε-δ definition of stability. We use this as the basis for defining a notion of incremental input-to-state stability of hybrid systems. Next, we present a pre-order on hybrid systems which preserves incremental input-to-state stability, by extending the classical definitions of bisimulation relations on systems with input, with uniform continuity constraints. We show that the uniform continuity is a necessary requirement by exhibiting counter-examples to show that weaker notions of input bisimulation with just continuity requirements do not suffice to preserve stability. Finally, we demonstrate that the definitions are useful, by exhibiting concrete abstraction functions which satisfy the definitions of pre-orders.","PeriodicalId":325726,"journal":{"name":"2013 Proceedings of the International Conference on Embedded Software (EMSOFT)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124006127","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}

引用次数: 12

Diversely enumerating system-level architectures 枚举不同的系统级架构

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) Pub Date : 2013-09-29 DOI: 10.1109/EMSOFT.2013.6658589

Ethan K. Jackson, Gabor Simko, J. Sztipanovits

引用次数: 22

WakeScope: Runtime WakeLock anomaly management scheme for Android platform WakeScope: Android平台的Runtime WakeLock异常管理方案

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) Pub Date : 2013-09-29 DOI: 10.1109/EMSOFT.2013.6658605

Kwanghwan Kim, H. Cha

引用次数: 28

A generalized software framework for accurate and efficient management of performance goals 一个通用的软件框架，用于准确和有效地管理性能目标

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) Pub Date : 2013-09-01 DOI: 10.1109/EMSOFT.2013.6658597

H. Hoffmann, M. Maggio, M. Santambrogio, A. Leva, A. Agarwal

引用次数: 66