Proceedings of the 5th ACM international conference on Embedded software最新文献_第5页

Systems architecture: the empirical way: abstract architectures to 'optimal' systems 系统架构:经验方法:抽象架构到“最优”系统

Proceedings of the 5th ACM international conference on Embedded software Pub Date : 2005-09-18 DOI: 10.1145/1086228.1086257

G. Hellestrand

{"title":"Systems architecture: the empirical way: abstract architectures to 'optimal' systems","authors":"G. Hellestrand","doi":"10.1145/1086228.1086257","DOIUrl":"https://doi.org/10.1145/1086228.1086257","url":null,"abstract":"It is a profound dislocation to have reality replaced by models - that revolution is won, that blood spilt. The first radical changes in global companies that I have witnessed, attributable to the systems engineering and architecture Virtual System Prototype inflection point, occurred in 2004. In these instances, the whole assumed order of architecture in the engineering process was tipped upside-down by a single set of quantitatively derived results that are turning out to be critical to each company's ability to compete and win in its fiercely competitive market. These changes have accelerated in 2005. It is the most exciting time for us all to be part of the wholesale transformation of one of the fundamental engines of the last 50 years of economic growth - Embedded Software-Electronics Control Systems (Embedded SECS) design. The transformation is driven by necessity; the by-products are competitive advantage, speed of execution, quality, productivity, and ability to rapidly adapt to market and business conditions. There is no company, leader or laggard, who can afford to ignore this evidence and hope to survive. This paper addresses the quantitative development of embedded systems architectures - software, hardware, mechanical.","PeriodicalId":284648,"journal":{"name":"Proceedings of the 5th ACM international conference on Embedded software","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129819952","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}

引用次数: 11

Dynamic online reconfiguration for customizable and self-optimizing operating systems 动态在线重新配置可定制和自我优化的操作系统

Proceedings of the 5th ACM international conference on Embedded software Pub Date : 2005-09-18 DOI: 10.1145/1086228.1086288

Simon Oberthür, Carsten Böke, B. Griese

{"title":"Dynamic online reconfiguration for customizable and self-optimizing operating systems","authors":"Simon Oberthür, Carsten Böke, B. Griese","doi":"10.1145/1086228.1086288","DOIUrl":"https://doi.org/10.1145/1086228.1086288","url":null,"abstract":"When applications adapt their behavior to the requirements of the environment, their resource usage can change dramatically. The resource usage implies the services that the applications require from the operating system. Thus, the operating system must either provide all services that are totally required over time or reconfigure itself. Reconfiguration of the operating system means to support on demand services or the possibility to degrade services. We present an approach where we extend our offline customizable operating system in order to be dynamically reconfigurable during run-time. Additionally, we describe the procedure how the operating system is aware of the current required services. We claim that the resource usage between the applications and the operating system is optimized. Thus, we derive a self-optimizing real-time operating system (SO-RTOS). This work concentrates on the integration of the configurator, which models the design space and controles the low-level reconfiguration, and the resource manager, which is responsible for the timeliness and optimality. An optimization case study realized on a prototype validates our approach.","PeriodicalId":284648,"journal":{"name":"Proceedings of the 5th ACM international conference on Embedded software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128913031","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}

引用次数: 27

Towards real-time enabled Microsoft Windows 走向实时的微软视窗

Proceedings of the 5th ACM international conference on Embedded software Pub Date : 2005-09-18 DOI: 10.1145/1086228.1086256

A. Feng

引用次数: 14

Centralized end-to-end flow control in a best-effort network-on-chip 集中的端到端流量控制在一个最大的努力的片上网络

Proceedings of the 5th ACM international conference on Embedded software Pub Date : 2005-09-18 DOI: 10.1145/1086228.1086232

P. Avasare, V. Nollet, J. Mignolet, D. Verkest, H. Corporaal

引用次数: 28

A sink-n-hoist framework for leakage power reduction 一种降低泄漏功率的下沉式提升机框架

Proceedings of the 5th ACM international conference on Embedded software Pub Date : 2005-09-18 DOI: 10.1145/1086228.1086252

Yi-Ping You, Chung-Wen Huang, Jenq-Kuen Lee

{"title":"A sink-n-hoist framework for leakage power reduction","authors":"Yi-Ping You, Chung-Wen Huang, Jenq-Kuen Lee","doi":"10.1145/1086228.1086252","DOIUrl":"https://doi.org/10.1145/1086228.1086252","url":null,"abstract":"Power leakage constitutes an increasing fraction of the total power consumption in modern semiconductor technologies. Recent research efforts have tried to integrate architecture and compiler solutions to employ power-gating mechanisms to reduce leakage power. This approach is to have compilers perform data-flow analysis and insert instructions at programs to shut down and wake up components whenever appropriate for power reductions. While this approach has been shown to be effective in early studies, there are concerns for the amount of power-control instructions being added to programs with the increasing amount of components equipped with power-gating control in a SoC design platform. In this paper, we present a Sink-N-Hoist framework in the compiler solution to generate balanced scheduling of power-gating instructions. Our solution will attempt to merge power-gating instructions as one compound instruction. Therefore, it will reduce the amount of power-gating instructions issued.We perform experiments by incorporating our compiler analysis and scheduling policies into SUIF compiler tools and by simulating the energy consumptions on Wattch toolkits. The experimental results demonstrate that our mechanisms are effective in reducing the amount of power-gating instructions while further in reducing leakage power compared to previous methods.","PeriodicalId":284648,"journal":{"name":"Proceedings of the 5th ACM international conference on Embedded software","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114799088","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}

引用次数: 11

Grand challenges in embedded systems 嵌入式系统的巨大挑战

Proceedings of the 5th ACM international conference on Embedded software Pub Date : 2005-09-18 DOI: 10.1145/1086228.1086296

J. Sztipanovits, J. Glossner, T. Mudge, C. Rowen, A. Sangiovanni-Vincentelli, W. Wolf, Feng Zhao

引用次数: 1

Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers 静态优先级或EDF调度器上的任务间通信的语义保持和内存效率实现

Proceedings of the 5th ACM international conference on Embedded software Pub Date : 2005-09-18 DOI: 10.1145/1086228.1086292

S. Tripakis, Christos Sofronis, N. Scaife, P. Caspi

引用次数: 42

Uniform object modeling methodology and reuse of real-time system using UML 统一的对象建模方法和使用UML的实时系统重用

Proceedings of the 5th ACM international conference on Embedded software Pub Date : 2005-09-18 DOI: 10.1145/1086228.1086237

B. Duc

引用次数: 1

A denotational semantics for stateflow 状态流的指称语义

Proceedings of the 5th ACM international conference on Embedded software Pub Date : 2005-09-18 DOI: 10.1145/1086228.1086260

Grégoire Hamon

引用次数: 75

Session details: Software testing 会话细节:软件测试

Proceedings of the 5th ACM international conference on Embedded software Pub Date : 2005-09-18 DOI: 10.1145/3246132

I. Harris

引用次数: 0