2019 IEEE Real-Time Systems Symposium (RTSS)最新文献_第6页

Work-in-Progress: Non-preemptive Scheduling of Sporadic Gang Tasks on Multiprocessors 在制品:多处理机上零星队列任务的非抢占调度

2019 IEEE Real-Time Systems Symposium (RTSS) Pub Date : 2019-12-01 DOI: 10.1109/RTSS46320.2019.00052

Zheng Dong, Cong Liu

引用次数: 5

From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C 从代码到弱硬约束:用于定时C语言的实用端到端工具链

2019 IEEE Real-Time Systems Symposium (RTSS) Pub Date : 2019-12-01 DOI: 10.1109/RTSS46320.2019.00025

Saranya Natarajan, M. Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen

{"title":"From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C","authors":"Saranya Natarajan, M. Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen","doi":"10.1109/RTSS46320.2019.00025","DOIUrl":"https://doi.org/10.1109/RTSS46320.2019.00025","url":null,"abstract":"Complex real-time systems are traditionally developed in several disjoint steps: (i) decomposition of applications into sets of recurrent tasks, (ii) worst-case execution time estimation, and (iii) schedulability analysis. Each step is already in itself complex and error-prone, and the composition of all three poses a nontrivial integration problem. In particular, it is challenging to obtain an end-to-end analysis of timing properties of the whole system due to practical differences between the interfaces of tools for extracting task models, execution time analysis, and schedulability tests. To address this problem, we propose a seamless and pragmatic end-to-end compilation and timing analysis toolchain, where source programs are written in a real-time extension of C, called Timed C. The toolchain automatically translates timing primitives into executable code, measures execution times, and verifies temporal correctness using an extended schedulability test for non-preemptive generalized multiframe task sets. Novel aspects of our approach are: (i) both soft and firm tasks can be expressed at the programming language level and stated timing requirements are automatically verified by the schedulability test, and (ii) the schedulability test outputs per-job response-time information that enables a new approach to sensitivity analysis. Specifically, we perform a weakly hard sensitivity analysis that determines the worst-case execution time margins for the strongest still-satisfied (M,K) constraint, where M = m1 +...+ mN denotes the number of deadline misses across the entire task set, and K = {k1,..., kN} is the set of windows of interest of the different tasks. The toolchain is implemented as a source-to-source compiler, freely available as open source, and conveniently distributed as a Docker container.","PeriodicalId":102892,"journal":{"name":"2019 IEEE Real-Time Systems Symposium (RTSS)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127920978","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}

引用次数: 8

Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems 正在进行的工作:信息物理系统中混合动态时序行为的形式化分析

2019 IEEE Real-Time Systems Symposium (RTSS) Pub Date : 2019-12-01 DOI: 10.1109/RTSS46320.2019.00069

Li Huang, E. Kang

引用次数: 1

Work-in-Progress: Non-preemptive Scheduling of Periodic Tasks with Data Dependency Upon Heterogeneous Multiprocessor Platforms 在制品:异构多处理器平台上具有数据依赖的周期性任务的非抢占调度

2019 IEEE Real-Time Systems Symposium (RTSS) Pub Date : 2019-12-01 DOI: 10.1109/RTSS46320.2019.00059

Jinchao Chen, Chenglie Du, Pengcheng Han, Xiaoyan Du

引用次数: 21

Work-in-Progress: On the Feasibility of Lightweight Scheme of Real-Time Atrial Fibrillation Detection Using Deep Learning 研究进展:基于深度学习的房颤实时检测轻量化方案的可行性

2019 IEEE Real-Time Systems Symposium (RTSS) Pub Date : 2019-12-01 DOI: 10.1109/RTSS46320.2019.00062

Yunkai Yu, Zhihong Yang, Peiyao Li, Zhicheng Yang, Yuyang You

{"title":"Work-in-Progress: On the Feasibility of Lightweight Scheme of Real-Time Atrial Fibrillation Detection Using Deep Learning","authors":"Yunkai Yu, Zhihong Yang, Peiyao Li, Zhicheng Yang, Yuyang You","doi":"10.1109/RTSS46320.2019.00062","DOIUrl":"https://doi.org/10.1109/RTSS46320.2019.00062","url":null,"abstract":"Atrial Fibrillation (AF) is considered to strongly correlate with stroke. Deep Neural Networks (DNNs) improve the accuracy in real-time atrial fibrillation detection. However, the deployment of DNNs on embedded systems is challenging due to hardware resources. To reduce computation loads, we study the feasibility to eliminate the redundant information in the AF detection task by downsampling. It is compatible with kernel-level optimization, quantization optimization, and model compression methods. A state-of-the-art deep learning model is used to estimate the amount of AF detection information among different sampling rates. This work considers both fixed-length and variable-length time intervals of an Electrocardiograph (ECG) segment. Experiment results demonstrate that model performance can be retained perfectly in AF detection. Ablation study experiments demonstrate the robustness with downsampled signals. Using a large time interval, the AF detection accuracy with 60 Hz signals can be compared to that with 300 Hz signals. Our on-going work includes designing lightweight DNN models with downsampled signals, further exploring the robustness of downsampled signals and model compression.","PeriodicalId":102892,"journal":{"name":"2019 IEEE Real-Time Systems Symposium (RTSS)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131301307","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}

引用次数: 5

ADMM-Based Decentralized Electric Vehicle Charging with Trip Duration Limits 基于admm的分散式电动汽车行程限制充电

2019 IEEE Real-Time Systems Symposium (RTSS) Pub Date : 2019-12-01 DOI: 10.1109/RTSS46320.2019.00020

Gaoqi He, Zhifu Chai, Xingjian Lu, Fanxin Kong, Bin Sheng

{"title":"ADMM-Based Decentralized Electric Vehicle Charging with Trip Duration Limits","authors":"Gaoqi He, Zhifu Chai, Xingjian Lu, Fanxin Kong, Bin Sheng","doi":"10.1109/RTSS46320.2019.00020","DOIUrl":"https://doi.org/10.1109/RTSS46320.2019.00020","url":null,"abstract":"With the large-scale deployment of Electric Vehicles (EVs), the unbalanced distribution of charging needs and random charging behaviors cause charging stations (CSs) congestion. This degrades EV drivers' quality of experience by extending charging waiting time and increasing charging fee. Thus, EV owners are facing a critical issue on how to decrease the cost of charging, which consists of two parts: charging duration and charging fee. A great deal of existing work is confined to finding CSs to optimize the two parts individually. However, it still remains unexplored how to jointly minimize charging duration and charging fee under an overall time limit (i.e., deadline) of a scheduled trip. The problem is the focus of this paper. First, we formulate this problem as a 0-1 Integer Linear Programming problem and show its NP-Hardness. Then, we propose an efficient distributed algorithm based on the Alternating Direction Method of Multipliers (ADMM). The algorithm decomposes the original problem into sub-problems that can be solved locally and in parallel between charging stations and the global coordinator. Finally, we carry out extensive simulations based on real-life transport network data, and the results show that the proposed approach brings significant cost savings over existing ones.","PeriodicalId":102892,"journal":{"name":"2019 IEEE Real-Time Systems Symposium (RTSS)","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133683930","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}

引用次数: 4

Improving Prediction Accuracy of Memory Interferences for Multicore Platforms 提高多核平台内存干扰预测精度

2019 IEEE Real-Time Systems Symposium (RTSS) Pub Date : 2019-12-01 DOI: 10.1109/RTSS46320.2019.00031

Cédric Courtaud, Julien Sopena, Gilles Muller, D. G. Pérez

{"title":"Improving Prediction Accuracy of Memory Interferences for Multicore Platforms","authors":"Cédric Courtaud, Julien Sopena, Gilles Muller, D. G. Pérez","doi":"10.1109/RTSS46320.2019.00031","DOIUrl":"https://doi.org/10.1109/RTSS46320.2019.00031","url":null,"abstract":"Memory interferences may introduce important slowdowns in applications running on COTS multi-core processors. They are caused by concurrent accesses to shared hardware resources of the memory system. The induced delays are difficult to predict, making memory interferences a major obstacle to the adoption of COTS multi-core processors in real-time systems. In this article, we propose an experimental characterization of applications' memory consumption to determine their sensitivity to memory interferences. Thanks to a new set of microbenchmarks, we show the lack of precision of a purely quantitative characterization. To improve accuracy, we define new metrics quantifying qualitative aspects of memory consumption and implement a profiling tool using the V ALGRIND framework. In addition, our profiling tool produces high resolution profiles allowing us to clearly distinguish the various phases in applications' behavior. Using our microbenchmarks and our new characterization, we train a state-of-the-art regressor. The validation on applications from the M I B ENCH and the PARSEC suites indicates significant gain in prediction accuracy compared to a purely quantitative characterization.","PeriodicalId":102892,"journal":{"name":"2019 IEEE Real-Time Systems Symposium (RTSS)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134060165","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

Battery Aging Deceleration for Power-Consuming Real-Time Systems 高功耗实时系统的电池老化减速

2019 IEEE Real-Time Systems Symposium (RTSS) Pub Date : 2019-12-01 DOI: 10.1109/RTSS46320.2019.00039

Jaeheon Kwak, Kilho Lee, Taehee Kim, Jinkyu Lee, I. Shin

{"title":"Battery Aging Deceleration for Power-Consuming Real-Time Systems","authors":"Jaeheon Kwak, Kilho Lee, Taehee Kim, Jinkyu Lee, I. Shin","doi":"10.1109/RTSS46320.2019.00039","DOIUrl":"https://doi.org/10.1109/RTSS46320.2019.00039","url":null,"abstract":"Battery aging is one of the critical issues in battery-powered electric systems. However, this issue has not received much attention in the real-time systems community. In this paper, we present the first attempt to translate the problem of minimizing battery aging subject to timing requirements into a real-time scheduling problem, addressing the following issues. (i) Can scheduling make a systematic impact on battery aging? If so, which scheduling principles are favorable to minimizing battery aging? (ii) If there exists any, how can we build upon the scheduling principle to guarantee real-time requirements? For (i), we first illuminate the connection between task scheduling and battery aging minimization and then derive a principle for task scheduling from abstracting the complicated dynamics of battery aging, which is to minimize the variance of total power consumption over time. In addition, we implement a battery aging simulator and use it to verify the effectiveness of the proposed principle in minimizing battery aging and its impact on quantitative improvement. For (ii), we propose a scheduling framework that separates control for timing guarantees from that for battery aging minimization. Such a separation allows reducing the complexity significantly such that we can employ existing scheduling algorithm and schedulability analysis for real-time guarantee and tailor the proposed scheduling principle to decelerate battery aging without taking real-time guarantees into accounts. Our simulation results show that the proposed framework can extend the battery lifespan by up to 144.4%.","PeriodicalId":102892,"journal":{"name":"2019 IEEE Real-Time Systems Symposium (RTSS)","volume":"349 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133427364","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

Work-in-Progress: Routing of Delivery Drones with Load-Dependent Flight Speed 正在进行的工作:与负载相关的飞行速度送货无人机的路由

2019 IEEE Real-Time Systems Symposium (RTSS) Pub Date : 2019-12-01 DOI: 10.1109/RTSS46320.2019.00054

Yusuke Funabashi, Ittetsu Taniguchi, H. Tomiyama

引用次数: 9

Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time 基于逻辑执行时间的多核平台功能部署优化

2019 IEEE Real-Time Systems Symposium (RTSS) Pub Date : 2019-12-01 DOI: 10.1109/RTSS46320.2019.00028

P. Pazzaglia, Alessandro Biondi, M. Natale

引用次数: 11