2015 International Conference on Embedded Software (EMSOFT)最新文献_第2页

Building a hybrid systems modeler from synchronous language principles 根据同步语言原则构建混合系统建模器

2015 International Conference on Embedded Software (EMSOFT) Pub Date : 2015-10-04 DOI: 10.1109/EMSOFT.2015.7318267

Marc Pouzet

{"title":"Building a hybrid systems modeler from synchronous language principles","authors":"Marc Pouzet","doi":"10.1109/EMSOFT.2015.7318267","DOIUrl":"https://doi.org/10.1109/EMSOFT.2015.7318267","url":null,"abstract":"Hybrid systems modeling languages are widely used in the development of embedded systems. Two representatives are Simulink/Stateflow1 that combine Ordinary Differential Equations (ODEs), data-flow and difference equations, hierarchical automata a la StateCharts [14] together with imperative features; and the Modelica language [1]2 based on DAEs with features for modeling discrete components. Ptolemy II3 is another example in which several models of computation are combined [15]. The formal verification of hybrid systems has been extensively studied [9]. Yet, we share the viewpoint of Lee and Zheng that hybrid modeling languages are best viewed as programming languages that happen to have a hybrid systems semantics [16, 17]. This raises important questions related to their design, semantics and implementation, to get efficient and reliable simulations as well as provably equivalent embedded target code. While sequential code generation in hybrid modeling tools is routinely used for efficient simulation, it is little used or not used at all to produce target embedded code in critical applications that are submitted to strong safety requirements. This results in a break in the development chain: parts of applications must be rewritten into sequential code and all properties verified on the source model cannot be trusted and have to be reverified on the target code.","PeriodicalId":297297,"journal":{"name":"2015 International Conference on Embedded Software (EMSOFT)","volume":"191 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123005206","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}

引用次数: 1

Data mining approach to temporal debugging of embedded streaming applications 基于数据挖掘的嵌入式流应用程序实时调试方法

2015 International Conference on Embedded Software (EMSOFT) Pub Date : 2015-10-04 DOI: 10.1109/EMSOFT.2015.7318272

Oleg Iegorov, V. Leroy, A. Termier, J. Méhaut, M. Santana

{"title":"Data mining approach to temporal debugging of embedded streaming applications","authors":"Oleg Iegorov, V. Leroy, A. Termier, J. Méhaut, M. Santana","doi":"10.1109/EMSOFT.2015.7318272","DOIUrl":"https://doi.org/10.1109/EMSOFT.2015.7318272","url":null,"abstract":"One of the greatest challenges in the embedded systems area is to empower software developers with tools that speed up the debugging of QoS properties in applications. Typical streaming applications, such as multimedia (audio/video) decoding, fulfill the QoS properties by respecting the real-time deadlines. A perfectly functional application, when missing these deadlines, may lead to cracks in the sound or perceptible artifacts in the image. We start from the premise that most of the streaming applications that run on embedded systems can be expressed under a data ow model of computation, where the application is represented as a directed graph of the data flowing through computational units called actors. It has been shown that in order to meet real-time constraints the actors should be scheduled in a periodic manner. We exploit this property to propose SATM - a novel approach based on data mining techniques that automatically analyzes execution traces of streaming applications, and discovers significant breaks in the periodicity of actors, as well as potential causes of these breaks. We show on a real use case that our debugging approach can uncover important defects and pinpoint their location to the application developer.","PeriodicalId":297297,"journal":{"name":"2015 International Conference on Embedded Software (EMSOFT)","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124753612","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

Executing dataflow actors as kahn processes 将数据流参与者作为kahn进程执行

2015 International Conference on Embedded Software (EMSOFT) Pub Date : 2015-10-04 DOI: 10.1109/EMSOFT.2015.7318265

Andreas Tretter, J. Boutellier, James Guthrie, Lars Schor, L. Thiele

{"title":"Executing dataflow actors as kahn processes","authors":"Andreas Tretter, J. Boutellier, James Guthrie, Lars Schor, L. Thiele","doi":"10.1109/EMSOFT.2015.7318265","DOIUrl":"https://doi.org/10.1109/EMSOFT.2015.7318265","url":null,"abstract":"Programming models which specify an application as a network of independent computational elements have emerged as a promising paradigm for programming streaming applications. The antagonism between expressivity and analysability has led to a number of different such programming models, which provide different degrees of freedom to the programmer. One example are Kahn process networks (KPNs), which, due to certain restrictions in communication, can guarantee determinacy (their results are independent of timing by construction). On the other hand, certain dataflow models, such as the CAL Actor Language, allow non-determinacy and thus higher expressivity, however at the price of static analysability and thus a potentially less efficient implementation. In many cases, however, non-determinacy is not required (or even not desired), and relying on KPN for the implementation seems advantageous. In this paper, we propose an algorithm for classifying dataflow actors (i.e. computational elements) as KPN compatible or potentially not. For KPN compatible dataflow actors, we propose an automatic KPN translation method based on this algorithm. In experiments, we show that more than 75% of all mature actors of a standard multimedia benchmark suite can be classified as KPN compatible and that their execution time can be reduced by up to 1.97x using our proposed translation technique. Finally, in a manual classification effort, we validate these results and list different classes of KPN incompatibility.","PeriodicalId":297297,"journal":{"name":"2015 International Conference on Embedded Software (EMSOFT)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131105177","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

Adaptive runtime shaping for mixed-criticality systems

2015 International Conference on Embedded Software (EMSOFT) Pub Date : 2015-10-04 DOI: 10.1109/EMSOFT.2015.7318255

Biao Hu, Kai Huang, Gang Chen, Long Cheng, A. Knoll

引用次数: 16

Distributed power management of real-time applications on a GALS multiprocessor SOC GALS多处理器SOC上实时应用的分布式电源管理

2015 International Conference on Embedded Software (EMSOFT) Pub Date : 2015-10-04 DOI: 10.1109/EMSOFT.2015.7318270

Andrew Nelson, K. Goossens

{"title":"Distributed power management of real-time applications on a GALS multiprocessor SOC","authors":"Andrew Nelson, K. Goossens","doi":"10.1109/EMSOFT.2015.7318270","DOIUrl":"https://doi.org/10.1109/EMSOFT.2015.7318270","url":null,"abstract":"It is generally desirable to reduce the power consumption of embedded systems. Dynamic Voltage and Frequency Scaling (DVFS) is a commonly applied technique to achieve power reduction at the cost of computational performance. Multiprocessor System on Chips (MPSoCs) can have multiple voltage and frequency domains, e.g. per-core. When DVFS is applied to real-time applications, the effects must be accounted for in the associated formal timing model. In this work, we contribute our distributed multi-core run-time power-management technique for real-time dataflow applications that uses per-core lookup-tables to select low-power DVFS operating points that meet the application's timing requirement. We describe in detail how timing slack is observed locally at run-time on each core and is used to select a local DVFS operating point that meets the application's timing requirement. We further describe our static off-line formal analysis technique to generate these per-core lookup-tables that link timing slack to low-power DVFS operating points. We provide an experimental analysis of our proposed technique using an H.263 decoder application that is mapped onto an FPGA prototyped hardware platform.","PeriodicalId":297297,"journal":{"name":"2015 International Conference on Embedded Software (EMSOFT)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124877050","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

Using traffic phase shifting to improve AFDX link utilization 利用流量移相提高AFDX链路利用率

2015 International Conference on Embedded Software (EMSOFT) Pub Date : 2015-10-04 DOI: 10.1109/EMSOFT.2015.7318281

R. Mancuso, Andrew V. Louis, M. Caccamo

引用次数: 9

Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software 面向工业应用健全的静态分析验证并行嵌入式航电软件

2015 International Conference on Embedded Software (EMSOFT) Pub Date : 2015-10-04 DOI: 10.1109/EMSOFT.2015.7318261

A. Miné, David Delmas

引用次数: 21

Modeling and simulating cyber-physical systems using CyPhySim 使用CyPhySim建模和模拟网络物理系统

2015 International Conference on Embedded Software (EMSOFT) Pub Date : 2015-10-04 DOI: 10.1109/EMSOFT.2015.7318266

Edward A. Lee, M. Niknami, Thierry S. Nouidui, M. Wetter

引用次数: 33

Managing gpu buffers for caching more apps in mobile systems 管理gpu缓冲区，以便在移动系统中缓存更多应用程序

2015 International Conference on Embedded Software (EMSOFT) Pub Date : 2015-10-04 DOI: 10.1109/EMSOFT.2015.7318276

Sejun Kwon, Sang-Hoon Kim, Jin-Soo Kim, Jinkyu Jeong

{"title":"Managing gpu buffers for caching more apps in mobile systems","authors":"Sejun Kwon, Sang-Hoon Kim, Jin-Soo Kim, Jinkyu Jeong","doi":"10.1109/EMSOFT.2015.7318276","DOIUrl":"https://doi.org/10.1109/EMSOFT.2015.7318276","url":null,"abstract":"Modern mobile systems cache apps actively to quickly respond to a user's call to launch apps. Since the amount of usable memory is critical to the number of cacheable apps, it is important to maximize memory utilization. Meanwhile, modern mobile apps make use of graphics processing units (GPUs) to accelerate their graphic operations and to provide better user experience. In resource-constrained mobile systems, GPU cannot afford its private memory but shares the main memory with CPU. It leads to a considerable amount of main memory to be allocated for GPU buffers which are used for processing GPU operations. These GPU buffers are, however, not managed effectively so that inactive GPU buffers occupy a large fraction of the memory and decrease memory utilization. This paper proposes a scheme to manage GPU buffers to increase the memory utilization in mobile systems. Our scheme identifies inactive GPU buffers by exploiting the state of an app from a user's perspective, and reduces their memory footprint by compressing them. Our sophisticated design approach prevents GPU-specific issues from causing an unpleasant overhead. Our evaluation on a running prototype with realistic workloads shows that the proposed scheme can secure up to 215.9 MB of extra memory from 1.5 GB of main memory and increase the average number of cached apps by up to 31.3%.","PeriodicalId":297297,"journal":{"name":"2015 International Conference on Embedded Software (EMSOFT)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131518701","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}

引用次数: 7

Requirements driven falsification with coverage metrics 需求驱动的覆盖度量的伪造

2015 International Conference on Embedded Software (EMSOFT) Pub Date : 2015-10-04 DOI: 10.1109/EMSOFT.2015.7318257

Adel Dokhanchi, Aditya Zutshi, R. Sriniva, S. Sankaranarayanan, Georgios Fainekos

引用次数: 27