International Conference on Embedded Software最新文献

筛选
英文 中文
An overview of the career of Paul Caspi 保罗·卡斯皮的职业生涯概述
International Conference on Embedded Software Pub Date : 2012-10-07 DOI: 10.1145/2380356.2380392
A. Benveniste, Edward A. Lee, Marc Pouzet, S. Tripakis, F. Maraninchi
{"title":"An overview of the career of Paul Caspi","authors":"A. Benveniste, Edward A. Lee, Marc Pouzet, S. Tripakis, F. Maraninchi","doi":"10.1145/2380356.2380392","DOIUrl":"https://doi.org/10.1145/2380356.2380392","url":null,"abstract":"This session is dedicated to Paul Caspi. It is made of five talks, each of them addressing one aspect of Paul Caspi's contributions to the development of safe embedded software and systems: synchronous languages and models, the implementation of synchronous languages, the relation between functional and synchronous languages, the relation between continuous and discrete models, and the definition of embedded software and systems master curricula. This session is only a selection of recent work; Paul Caspi also worked on dependability and fault-tolerance, code distribution, and formal verification with theorem provers.","PeriodicalId":143573,"journal":{"name":"International Conference on Embedded Software","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129431416","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}
引用次数: 0
Internet-of-energy: combining embedded computing and communication for the smart grid 能源互联网:智能电网嵌入式计算与通信的结合
International Conference on Embedded Software Pub Date : 2012-10-07 DOI: 10.1145/2380445.2380451
R. Mock, M. Neukirchner, R. Ernst, Ruud Wijtvliet, Michael Huetwohl, P. Urard, O. Vermesan
{"title":"Internet-of-energy: combining embedded computing and communication for the smart grid","authors":"R. Mock, M. Neukirchner, R. Ernst, Ruud Wijtvliet, Michael Huetwohl, P. Urard, O. Vermesan","doi":"10.1145/2380445.2380451","DOIUrl":"https://doi.org/10.1145/2380445.2380451","url":null,"abstract":"Driven by increasing cost of energy and by the inclusion of re-newable but time variant sources of energy on the production side, and by new requirements from electromobility, building and home automation on the consumption side, the energy grid has moved in the focus of research, industry and infrastructure development. One of the key challenges is the interaction of the numerous em-bedded systems controlling energy producing and consuming devices using an \"internet of energy\".\u0000 This session will provide different views on this development towards a smart energy grid. The first talk given by a leading pro-vider of energy grid equipment will give an overview on the new developments and challenges in modeling and simulating local grid behavior. The second talk discusses building energy management at the interface between home automation and the smart grid, both from the application and the embedded platform perspective. The third talk addresses home automation which serves many objectives, besides being a terminal network of the smart grind. Last not least, the fourth talk presents new development in wireless sensor devices as an important component of future home and energy networks.","PeriodicalId":143573,"journal":{"name":"International Conference on Embedded Software","volume":"67 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113977578","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}
引用次数: 0
Partitioned scheduling for real-time tasks on multiprocessor embedded systems with programmable shared srams 具有可编程共享ram的多处理器嵌入式系统上实时任务的分区调度
International Conference on Embedded Software Pub Date : 2012-10-07 DOI: 10.1145/2380356.2380384
Che-Wei Chang, Jian-Jia Chen, Waqaas Munawar, Tei-Wei Kuo, H. Falk
{"title":"Partitioned scheduling for real-time tasks on multiprocessor embedded systems with programmable shared srams","authors":"Che-Wei Chang, Jian-Jia Chen, Waqaas Munawar, Tei-Wei Kuo, H. Falk","doi":"10.1145/2380356.2380384","DOIUrl":"https://doi.org/10.1145/2380356.2380384","url":null,"abstract":"This work is motivated by the advance of multiprocessor system architecture, in which the allocation of tasks over heterogeneous memory modules has a significant impact on the task execution. By considering two different types of memory modules with different access latencies, this paper explores joint considerations of memory allocation and real-time task scheduling to minimize the maximum utilization of processors of the system. For implicit-deadline sporadic tasks, a two-phase algorithm is developed, where the first phase determines memory allocation to derive a lower bound of the maximum utilization, and the second phase adopts worst-fit partitioning to assign tasks. It is shown that the proposed algorithm leads to a tight (2-⁄2M+1)-approximation bound where M is the number of processors. The proposed algorithm is then evaluated with 82 realistic benchmarks from MRTC, MediaBench, UTDSP, NetBench and DSPstone, and extensive simulations are further conducted to analyze the proposed algorithm.","PeriodicalId":143573,"journal":{"name":"International Conference on Embedded Software","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116009459","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
Smart layers and dumb result: IO characterization of an android-based smartphone 智能层和哑结果:基于android的智能手机的IO表征
International Conference on Embedded Software Pub Date : 2012-10-07 DOI: 10.1145/2380356.2380367
Kisung Lee, Y. Won
{"title":"Smart layers and dumb result: IO characterization of an android-based smartphone","authors":"Kisung Lee, Y. Won","doi":"10.1145/2380356.2380367","DOIUrl":"https://doi.org/10.1145/2380356.2380367","url":null,"abstract":"In this paper, we offer an in-depth IO characterization of the Android-based smartphone. We analyze the IO behaviors of a total of 14 Android applications from six different categories. We examine the correlations among seven IO attributes: originating application, file type, IO size, IO type (read/write), random/sequential, block semantics (Data/Metadata/Journal), and session type (buffered vs. synchronous IO). For the purposes of our study, we develop Mobile Storage Analyzer (MOST), a framework for collecting IO attributes across layers. Let us summarize our findings briefly. SQLite, which is the most popular tool for maintaining persistent data in Android, puts too much burden on the storage. For example, a single SQLite operation (update or insert) results in at least 11 write operations being sent to the storage. These are for creating short-lived files, updating database tables, and accessing EXT4 Journal. From the storage point of view, more than 50% of writes are for EXT4 Journal updating. Excluding Metadata and Journal accesses, 60-80% of the writes are random. More than 50% of the writes are synchronous. 4KB IO accounts for 70% of all writes. In the Android platform, each SQLite and EXT4 filesystem requires a great amount of effort to ensure reliability in supporting transactions and journaling, respectively. When they are combined, the results are rather dumb. The operations of SQLite and EXT4, when combined, generate unnecessarily excessive write operations to the NAND-based storage. This not only degrades IO performance but also significantly reduces the lifetime of the underlying NAND flash storage. The results of this study clearly suggest that SQLite, EXT4, and the underlying NAND-based storage need to be completely overhauled and vertically integrated so as to properly and effectively incorporate their respective characteristics.","PeriodicalId":143573,"journal":{"name":"International Conference on Embedded Software","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128398013","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}
引用次数: 82
Shared hardware data structures for hard real-time systems 用于硬实时系统的共享硬件数据结构
International Conference on Embedded Software Pub Date : 2012-10-07 DOI: 10.1145/2380356.2380382
Gedare Bloom, Gabriel Parmer, B. Narahari, R. Simha
{"title":"Shared hardware data structures for hard real-time systems","authors":"Gedare Bloom, Gabriel Parmer, B. Narahari, R. Simha","doi":"10.1145/2380356.2380382","DOIUrl":"https://doi.org/10.1145/2380356.2380382","url":null,"abstract":"Hardware support can reduce the time spent operating on data structures by exploiting circuit-level parallelism. Such hardware data structures (HWDSs) can reduce the latency and jitter of data structure operations, which can benefit real-time systems by reducing worst-case execution times (WCETs). For example, a hardware priority queue (HWPQ) can enqueue and dequeue prioritized items in constant time with low variance; the best software implementations are in logarithmic-time asymptotic complexity for at least one of the enqueue or dequeue operations. The main problems with HWDSs are the limited size of hardware and the complexity of sharing it. In this paper we show that software support can help circumvent the size and sharing limitations of hardware so that applications can benefit from a HWDS. We evaluate our work by showing how the choice of software or hardware affects schedulability of task sets that use multiple priority queues of varying sizes. We model task behavior on two applications that are important in real-time and embedded domains: the grey-weighted distance transform for topology mapping and Dijkstra's algorithm for GPS navigation. Our results indicate that HWDSs can reduce the WCET of applications even when a HWDS is shared by multiple data structures or when data structure sizes exceed HWDS size constraints.","PeriodicalId":143573,"journal":{"name":"International Conference on Embedded Software","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129411622","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}
引用次数: 25
Code-level timing analysis of embedded software: emsoft'12 invited talk session outline 嵌入式软件代码级时序分析:emsoft'12特邀报告会提纲
International Conference on Embedded Software Pub Date : 2012-10-07 DOI: 10.1145/2380356.2380386
H. Falk, K. Hammond, K. Larsen, B. Lisper, Stefan M. Petters
{"title":"Code-level timing analysis of embedded software: emsoft'12 invited talk session outline","authors":"H. Falk, K. Hammond, K. Larsen, B. Lisper, Stefan M. Petters","doi":"10.1145/2380356.2380386","DOIUrl":"https://doi.org/10.1145/2380356.2380386","url":null,"abstract":"Embedded systems are often business- or safety-critical, with strict timing requirements that have to be met for the information-processing. Code-level timing analysis (used to analyse software running on some given hardware w.r.t. its timing properties) is an indispensable technique for ascertaining whether or not these requirements are met. However, recent developments in hardware, especially multi-core processors, and in software organisation render analysis increasingly more difficult, thus challenging the evolution of timing analysis techniques. This special session aims to give an overview over the current state of the art and the future challenges w.r.t. code-level timing analysis and introduces TACLe, a recently started EU-funded networking activity targeting these challenges.","PeriodicalId":143573,"journal":{"name":"International Conference on Embedded Software","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114559104","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}
引用次数: 3
Trends in automotive embedded systems 汽车嵌入式系统的趋势
International Conference on Embedded Software Pub Date : 2012-10-07 DOI: 10.1145/2380356.2380363
Daniel Gunnarsson, Stefan Kuntz, G. Farrall, Akihito Iwai, R. Ernst
{"title":"Trends in automotive embedded systems","authors":"Daniel Gunnarsson, Stefan Kuntz, G. Farrall, Akihito Iwai, R. Ernst","doi":"10.1145/2380356.2380363","DOIUrl":"https://doi.org/10.1145/2380356.2380363","url":null,"abstract":"Automotive embedded systems have developed from single controllers to networked embedded systems integrating an ever growing variety of distributed applications. New features for driving assistance, improved safety, motor and energy management, and infotainment lead to shorter innovation cycles for software architectures, network technologies, and hardware architectures. While, e.g., the new FlexRay bus standard has just been introduced, next generation Ethernet is already at the edge of introduction. The 4 talks in this session present OEM, 1st tier supplier and semiconductor vendor views from leading automotive companies and suppliers","PeriodicalId":143573,"journal":{"name":"International Conference on Embedded Software","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125208725","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
Feedback thermal control of real-time systems on multicore processors 多核处理器实时系统的反馈热控制
International Conference on Embedded Software Pub Date : 2012-10-07 DOI: 10.1145/2380356.2380379
Yong Fu, N. Kottenstette, Chenyang Lu, X. Koutsoukos
{"title":"Feedback thermal control of real-time systems on multicore processors","authors":"Yong Fu, N. Kottenstette, Chenyang Lu, X. Koutsoukos","doi":"10.1145/2380356.2380379","DOIUrl":"https://doi.org/10.1145/2380356.2380379","url":null,"abstract":"Embedded real-time systems face significant challenges in thermal management. While earlier research on feedback thermal control has shown promise in dealing with the uncertainty in thermal characteristics, multicore processors introduce new challenges that cannot be handled by previous solutions designed for single-core processors. Multicore processors require the temperature and real-time performance of multiple cores be controlled simultaneously, leading to multi-input-multi-output control problems with inter-core thermal coupling. Furthermore, current Dynamic Voltage and Frequency Scaling (DVFS) mechanisms only support a finite set of states, leading to discrete control variables that cannot be handled by standard linear control techniques. This paper presents Real-Time Multicore Thermal Control (RT-MTC), a novel feedback thermal control framework pecifically designed for multicore real-time systems. RT-MTC dynamically enforces both the desired temperature set point and the schedulable CPU utilization bound of a multicore processor through DVFS. RT-MTC employs a rigorously designed, efficient controller that can achieve effective thermal control with the small number of frequencies commonly supported by current processors. The robustness and advantages of RT-MTC over existing thermal control approaches are demonstrated through both experiments on an Intel Core 2 Duo processor and simulations under a wide range of uncertainties in power consumption.","PeriodicalId":143573,"journal":{"name":"International Conference on Embedded Software","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129967160","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}
引用次数: 57
Input-output robustness for discrete systems 离散系统的输入-输出鲁棒性
International Conference on Embedded Software Pub Date : 2012-10-07 DOI: 10.1145/2380356.2380396
P. Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, R. Majumdar
{"title":"Input-output robustness for discrete systems","authors":"P. Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, R. Majumdar","doi":"10.1145/2380356.2380396","DOIUrl":"https://doi.org/10.1145/2380356.2380396","url":null,"abstract":"Robustness is the property that a system only exhibits small deviations from the nominal behavior upon the occurrence of small disturbances. While the importance of robustness in engineering design is well accepted, it is less clear how to verify and design discrete systems for robustness. We present a theory of input-output robustness for discrete systems inspired by existing notions of input-output stability (IO-stability) in continuous control theory. We show that IO-stability captures two intuitive goals of robustness: bounded disturbances lead to bounded deviations from nominal behavior, and the effect of a sporadic disturbance disappears in finitely many steps. We show that existing notions of robustness for discrete systems do not have these two properties. For systems modeled as finite-state transducers, we show that IO-stability can be verified and the synthesis problem can be solved in polynomial time. We illustrate our theory using a reference broadcast synchronization protocol for wireless networks.","PeriodicalId":143573,"journal":{"name":"International Conference on Embedded Software","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121993119","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}
引用次数: 31
Debugging embedded multimedia application traces through periodic pattern mining 通过定期模式挖掘调试嵌入式多媒体应用程序跟踪
International Conference on Embedded Software Pub Date : 2012-10-07 DOI: 10.1145/2380356.2380366
Patricia López Cueva, Aurélie Bertaux, A. Termier, J. Méhaut, M. Santana
{"title":"Debugging embedded multimedia application traces through periodic pattern mining","authors":"Patricia López Cueva, Aurélie Bertaux, A. Termier, J. Méhaut, M. Santana","doi":"10.1145/2380356.2380366","DOIUrl":"https://doi.org/10.1145/2380356.2380366","url":null,"abstract":"Increasing complexity in both the software and the underlying hardware, and ever tighter time-to-market pressures are some of the key challenges faced when designing multimedia embedded systems. Optimizing the debugging phase can help to reduce development time significantly. A powerful approach used extensively during this phase is the analysis of execution traces. However, huge trace volumes make manual trace analysis unmanageable. In such situations, Data Mining can help by automatically discovering interesting patterns in large amounts of data. In this paper, we are interested in discovering periodic behaviors in multimedia applications. Therefore, we propose a new pattern mining approach for automatically discovering all periodic patterns occurring in a multimedia application execution trace.\u0000 Furthermore, gaps in the periodicity are of special interest since they can correspond to cracks or drop-outs in the stream. Existing periodic pattern definitions are too restrictive regarding the size of the gaps in the periodicity. So, in this paper, we specify a new definition of frequent periodic patterns that removes this limitation. Moreover, in order to simplify the analysis of the set of frequent periodic patterns we propose two complementary approaches: (a) a lossless representation that reduces the size of the set and facilitates its analysis, and (b) a tool to identify pairs of \"competitors\" where a pattern breaks the periodicity of another pattern. Several experiments were carried out on embedded video and audio decoding application traces, demonstrating that using these new patterns it is possible to identify abnormal behaviors.","PeriodicalId":143573,"journal":{"name":"International Conference on Embedded Software","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129301113","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}
引用次数: 29
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信