首页 > 最新文献

2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium最新文献

英文 中文
Analysis of Self-Similar Workload on Real-Time Systems 实时系统自相似工作负载分析
Pub Date : 2010-04-12 DOI: 10.1109/RTAS.2010.13
Enrique Hernández-Orallo, Joan Vila i Carbó
Real-time systems used in media processing and transmission produce bursty workloads with highly variable execution and transmission times. To avoid the drawbacks of using the worst-case approach with these workloads, this paper uses a variation of the usual real-time task model where the WCET is replaced by a discrete statistical distribution. Using this approach, tasks are characterized by their processing time over a sampling period. We could expect that increasing the sampling period would smooth, in principle, the workload variability and the proposed analysis would provide more deterministic long- term results. However, we have surprisingly observed that this variability does not decreases with the sampling period: work- loads are bursty on many time scales. This property is known as self-similarity and is measured using the Hurst parameter.This paper studies how to properly model and analyze self- similar task sets showing the influence of the Hurst parameter on the schedulability analysis. It shows, through an analytical model and simulations, that this parameter may have a very negative impact on system performance. As a conclusion, it can be stated that this factor should be taken into account for statistical analysis of real-time systems, since simplistic workload models can lead to inaccurate results. It also shows that the negative effect of this parameter can be bounded using scheduling policies based on the bandwidth isolation principle.
用于媒体处理和传输的实时系统产生具有高度可变的执行和传输时间的突发工作负载。为了避免在这些工作负载中使用最坏情况方法的缺点,本文使用了通常的实时任务模型的一种变体,其中WCET被离散统计分布取代。使用这种方法,任务的特征是它们在一个采样周期内的处理时间。我们可以预期,增加抽样周期原则上将平滑工作量的可变性,而建议的分析将提供更确定的长期结果。然而,令人惊讶的是,我们观察到这种可变性并没有随着采样周期而减少:工作负载在许多时间尺度上都是突发的。这种特性被称为自相似性,并使用赫斯特参数进行测量。研究了如何正确地对自相似任务集进行建模和分析,揭示了Hurst参数对可调度性分析的影响。通过分析模型和仿真表明,该参数可能对系统性能产生非常负面的影响。总之,可以这样说,在对实时系统进行统计分析时应该考虑到这个因素,因为过于简单的工作负载模型可能导致不准确的结果。通过基于带宽隔离原则的调度策略,可以限制该参数的负面影响。
{"title":"Analysis of Self-Similar Workload on Real-Time Systems","authors":"Enrique Hernández-Orallo, Joan Vila i Carbó","doi":"10.1109/RTAS.2010.13","DOIUrl":"https://doi.org/10.1109/RTAS.2010.13","url":null,"abstract":"Real-time systems used in media processing and transmission produce bursty workloads with highly variable execution and transmission times. To avoid the drawbacks of using the worst-case approach with these workloads, this paper uses a variation of the usual real-time task model where the WCET is replaced by a discrete statistical distribution. Using this approach, tasks are characterized by their processing time over a sampling period. We could expect that increasing the sampling period would smooth, in principle, the workload variability and the proposed analysis would provide more deterministic long- term results. However, we have surprisingly observed that this variability does not decreases with the sampling period: work- loads are bursty on many time scales. This property is known as self-similarity and is measured using the Hurst parameter.This paper studies how to properly model and analyze self- similar task sets showing the influence of the Hurst parameter on the schedulability analysis. It shows, through an analytical model and simulations, that this parameter may have a very negative impact on system performance. As a conclusion, it can be stated that this factor should be taken into account for statistical analysis of real-time systems, since simplistic workload models can lead to inaccurate results. It also shows that the negative effect of this parameter can be bounded using scheduling policies based on the bandwidth isolation principle.","PeriodicalId":356388,"journal":{"name":"2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126723501","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
Physicalnet: A Generic Framework for Managing and Programming Across Pervasive Computing Networks Physicalnet:一个跨普适计算网络管理和编程的通用框架
Pub Date : 2010-04-12 DOI: 10.1109/RTAS.2010.17
P. Vicaire, Zhiheng Xie, Enamul Hoque, J. Stankovic
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programming world-wide distributed heterogeneous sensor and actuator resources in a multi-user and multi-network environment. Using a four-tier light-weight service oriented architecture, Physicalnet enables global uniform access to heterogeneous resources and decouples applications from particular resources, locations and networks. Through a negotiator module, it allows a large number of applications to concurrently execute on the same resources and to span multiple physical networks and logical administrative domains. By providing a fine-grained use-based access rights control and conflict resolution mechanism, Physicalnet not only ensures owners having total control of sharing and protecting their resources, but also dramatically increases the number of applications that can concurrently execute on the devices. Furthermore, Physicalnet supports resource dynamic location-aware mobility, application run-time reconfigurability and on-the-fly access rights specification. To quantify the performance, we evaluate Physicalnet based on memory usage, the number of concurrent applications, and dynamic responsiveness. The results show Physicalnet has excellent performance, but low overheads.
本文描述了普适计算框架Physicalnet的设计与实现。从本质上讲,Physicalnet是一个通用范例,用于在多用户和多网络环境中管理和编程全球分布的异构传感器和执行器资源。使用四层轻量级面向服务的体系结构,Physicalnet支持对异构资源的全局统一访问,并将应用程序与特定资源、位置和网络解耦。通过协商器模块,它允许大量应用程序在相同的资源上并发执行,并跨越多个物理网络和逻辑管理域。通过提供细粒度的基于使用的访问权限控制和冲突解决机制,Physicalnet不仅确保所有者完全控制共享和保护他们的资源,而且还极大地增加了可以在设备上并发执行的应用程序的数量。此外,Physicalnet支持资源动态位置感知移动性、应用程序运行时可重构性和动态访问权限规范。为了量化性能,我们基于内存使用、并发应用程序的数量和动态响应性来评估Physicalnet。结果表明,Physicalnet具有出色的性能,但开销较低。
{"title":"Physicalnet: A Generic Framework for Managing and Programming Across Pervasive Computing Networks","authors":"P. Vicaire, Zhiheng Xie, Enamul Hoque, J. Stankovic","doi":"10.1109/RTAS.2010.17","DOIUrl":"https://doi.org/10.1109/RTAS.2010.17","url":null,"abstract":"This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programming world-wide distributed heterogeneous sensor and actuator resources in a multi-user and multi-network environment. Using a four-tier light-weight service oriented architecture, Physicalnet enables global uniform access to heterogeneous resources and decouples applications from particular resources, locations and networks. Through a negotiator module, it allows a large number of applications to concurrently execute on the same resources and to span multiple physical networks and logical administrative domains. By providing a fine-grained use-based access rights control and conflict resolution mechanism, Physicalnet not only ensures owners having total control of sharing and protecting their resources, but also dramatically increases the number of applications that can concurrently execute on the devices. Furthermore, Physicalnet supports resource dynamic location-aware mobility, application run-time reconfigurability and on-the-fly access rights specification. To quantify the performance, we evaluate Physicalnet based on memory usage, the number of concurrent applications, and dynamic responsiveness. The results show Physicalnet has excellent performance, but low overheads.","PeriodicalId":356388,"journal":{"name":"2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"475 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115605009","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}
引用次数: 33
Improved Task Management Techniques for Enforcing EDF Scheduling on Recurring Tasks 改进的任务管理技术,用于对循环任务执行EDF调度
Pub Date : 2010-04-12 DOI: 10.1109/RTAS.2010.22
M. Short
The management of tasks is an essential requirement in most real-time and embedded systems, but invariably leads to unwanted CPU overheads. This paper is concerned with task management in real-time and embedded systems employing the Earliest Deadline First (EDF) scheduling algorithm. Currently, the best known techniques to manage EDF scheduling lead to overheads with complexity O(log n), where n is the number of recurring (periodic/sporadic) tasks. In this paper it will be shown that if both the ready and waiting queues are represented by either i) timing and indexed deadline wheels or ii) digital search trees, then all scheduling decisions may be made in time proportional to the logarithm of the largest time representation required by the system, pm. In cases where pm is relatively small, for example in some embedded systems, extremely efficient task management may then be achieved. Experimental results are then presented, and it is shown that on an ARM7 microcontroller, when the number of tasks is comparatively large for such a platform (≫ 250), the worst-case scheduling overheads remain effectively constant and below 20 µs. The results indicate that the techniques provide some improved performance over previous methods, and also seem to indicate that there is little discernable difference between the overheads incurred between employing a fixed- or dynamic-priority scheduler in a given system.
任务管理是大多数实时和嵌入式系统的基本需求,但总是会导致不必要的CPU开销。本文研究了采用最早截止日期优先调度算法的实时和嵌入式系统任务管理问题。目前,最著名的管理EDF调度的技术导致复杂度为O(log n)的开销,其中n是重复(周期性/零星)任务的数量。本文将证明,如果就绪队列和等待队列都由i)定时和索引截止轮或ii)数字搜索树表示,那么所有调度决策都可以在与系统所需的最大时间表示pm的对数成比例的时间内做出。在pm相对较小的情况下,例如在某些嵌入式系统中,可以实现极其有效的任务管理。实验结果表明,在ARM7微控制器上,当平台上的任务数量较多(250)时,最坏情况调度开销保持在20µs以下。结果表明,与以前的方法相比,这些技术提供了一些改进的性能,并且似乎还表明,在给定的系统中使用固定优先级调度器或动态优先级调度器所产生的开销之间几乎没有明显的区别。
{"title":"Improved Task Management Techniques for Enforcing EDF Scheduling on Recurring Tasks","authors":"M. Short","doi":"10.1109/RTAS.2010.22","DOIUrl":"https://doi.org/10.1109/RTAS.2010.22","url":null,"abstract":"The management of tasks is an essential requirement in most real-time and embedded systems, but invariably leads to unwanted CPU overheads. This paper is concerned with task management in real-time and embedded systems employing the Earliest Deadline First (EDF) scheduling algorithm. Currently, the best known techniques to manage EDF scheduling lead to overheads with complexity O(log n), where n is the number of recurring (periodic/sporadic) tasks. In this paper it will be shown that if both the ready and waiting queues are represented by either i) timing and indexed deadline wheels or ii) digital search trees, then all scheduling decisions may be made in time proportional to the logarithm of the largest time representation required by the system, pm. In cases where pm is relatively small, for example in some embedded systems, extremely efficient task management may then be achieved. Experimental results are then presented, and it is shown that on an ARM7 microcontroller, when the number of tasks is comparatively large for such a platform (≫ 250), the worst-case scheduling overheads remain effectively constant and below 20 µs. The results indicate that the techniques provide some improved performance over previous methods, and also seem to indicate that there is little discernable difference between the overheads incurred between employing a fixed- or dynamic-priority scheduler in a given system.","PeriodicalId":356388,"journal":{"name":"2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"77 11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122831681","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}
引用次数: 19
Timing Analysis for TDMA Arbitration in Resource Sharing Systems 资源共享系统中TDMA仲裁的时序分析
Pub Date : 2010-04-12 DOI: 10.1109/RTAS.2010.24
A. Schranzhofer, Jian-Jia Chen, L. Thiele
Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. However, performance boosting is constrained by shared resources, such as buses, main memory, DMA, etc.This paper analyzes the worst-case completion (response) time for real-time tasks when time division multiple access (TDMA) policies are applied for resource arbitration.Real-time tasks execute periodically on a processing element and are constituted by sequential superblocks. A superblock is characterized by its accesses to a shared resource and its computation time. We explore three models of accessing shared resources: (1)dedicated access model, in which accesses happen only at the beginning and the end of a superblock, (2) general access model, in which accesses could happen anytime during the execution of a superblock, and (3) hybrid access model, which combines the dedicated and general access models. We present a framework to analyze the worst-case completion time of real-time tasks (superblocks) under these three access models, for a given TDMA arbiter. We compare the timing analysis of the three proposed models for a real-world application.
现代计算系统采用多核体系结构和多处理器片上系统(mpsoc)来适应日益增长的计算能力需求。然而,性能提升受到共享资源的限制,如总线、主存、DMA等。本文分析了采用时分多址(TDMA)策略进行资源仲裁时实时任务的最坏情况完成(响应)时间。实时任务在处理元素上周期性地执行,并由顺序的超级块组成。超级块的特征在于其对共享资源的访问和计算时间。我们探索了三种访问共享资源的模型:(1)专用访问模型,访问只发生在超级块的开始和结束处;(2)通用访问模型,访问可以在超级块执行期间的任何时间发生;(3)混合访问模型,将专用访问模型和通用访问模型结合起来。对于给定的TDMA仲裁器,我们提出了一个框架来分析在这三种访问模型下实时任务(超级块)的最坏情况完成时间。我们比较了三种提出的模型在实际应用中的时序分析。
{"title":"Timing Analysis for TDMA Arbitration in Resource Sharing Systems","authors":"A. Schranzhofer, Jian-Jia Chen, L. Thiele","doi":"10.1109/RTAS.2010.24","DOIUrl":"https://doi.org/10.1109/RTAS.2010.24","url":null,"abstract":"Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. However, performance boosting is constrained by shared resources, such as buses, main memory, DMA, etc.This paper analyzes the worst-case completion (response) time for real-time tasks when time division multiple access (TDMA) policies are applied for resource arbitration.Real-time tasks execute periodically on a processing element and are constituted by sequential superblocks. A superblock is characterized by its accesses to a shared resource and its computation time. We explore three models of accessing shared resources: (1)dedicated access model, in which accesses happen only at the beginning and the end of a superblock, (2) general access model, in which accesses could happen anytime during the execution of a superblock, and (3) hybrid access model, which combines the dedicated and general access models. We present a framework to analyze the worst-case completion time of real-time tasks (superblocks) under these three access models, for a given TDMA arbiter. We compare the timing analysis of the three proposed models for a real-world application.","PeriodicalId":356388,"journal":{"name":"2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122896442","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}
引用次数: 111
Design of a Reliable Communication System for Grid-Style Traffic Light Networks 网格型交通灯网络可靠通信系统的设计
Pub Date : 2010-04-12 DOI: 10.1109/RTAS.2010.37
Junghoon Lee, Song Han, A. Mok
This paper presents the design and analyzes the performance of a reliable communication scheme for the traffic control system built upon a wireless process control protocol, aiming at enhancing the robustness and timeliness of the safety-critical control applications. By exploiting the slot-based predictable access and the grid topology of urban area road networks, the proposed scheme establishes one primary and secondary route from the controller to each node and allocates the time slots accordingly. This is facilitated by a split-merge operation that makes a sender node sense the primary channel(channel to the primary receiver) and take the secondary channel only if the first one is not free in a single slot, while making the receiver first listen to the primary sender and switch to the secondary sender. Our scheme also finds the path with the lowest error rate by modeling the split-merge operation as a single virtual link and applying shortest path algorithm. The experimental results show that the proposed scheme greatly enhances the transmission success ratio for the grid-style traffic control network and the improvement scales up with the network size. In addition, the routing scheme can further find the path that can improve the delivery ratio of control messages compared with the traditional grid routing scheme.
本文设计并分析了一种基于无线过程控制协议的交通控制系统可靠通信方案的性能,旨在提高安全关键型控制应用的鲁棒性和时效性。该方案利用基于时隙的可预测访问和城市道路网络的网格拓扑结构,建立了从控制器到每个节点的一条主从路由,并据此分配时隙。这可以通过拆分合并操作来实现,该操作使发送方节点感知主通道(到主接收方的通道),并仅在第一个通道在单个插槽中没有空闲时才使用辅助通道,同时使接收方首先侦听主发送方并切换到辅助发送方。该方案通过将分割合并操作建模为单个虚链路,并应用最短路径算法,找到错误率最低的路径。实验结果表明,该方案极大地提高了网格型交通控制网络的传输成功率,并且随着网络规模的增大,传输成功率呈递增趋势。此外,与传统的网格路由方案相比,该路由方案还能进一步找到提高控制消息投递率的路径。
{"title":"Design of a Reliable Communication System for Grid-Style Traffic Light Networks","authors":"Junghoon Lee, Song Han, A. Mok","doi":"10.1109/RTAS.2010.37","DOIUrl":"https://doi.org/10.1109/RTAS.2010.37","url":null,"abstract":"This paper presents the design and analyzes the performance of a reliable communication scheme for the traffic control system built upon a wireless process control protocol, aiming at enhancing the robustness and timeliness of the safety-critical control applications. By exploiting the slot-based predictable access and the grid topology of urban area road networks, the proposed scheme establishes one primary and secondary route from the controller to each node and allocates the time slots accordingly. This is facilitated by a split-merge operation that makes a sender node sense the primary channel(channel to the primary receiver) and take the secondary channel only if the first one is not free in a single slot, while making the receiver first listen to the primary sender and switch to the secondary sender. Our scheme also finds the path with the lowest error rate by modeling the split-merge operation as a single virtual link and applying shortest path algorithm. The experimental results show that the proposed scheme greatly enhances the transmission success ratio for the grid-style traffic control network and the improvement scales up with the network size. In addition, the routing scheme can further find the path that can improve the delivery ratio of control messages compared with the traditional grid routing scheme.","PeriodicalId":356388,"journal":{"name":"2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128398368","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}
引用次数: 13
Studying the Applicability of the Scratchpad Memory Management Unit 刮记板存储管理单元的适用性研究
Pub Date : 2010-04-12 DOI: 10.1109/RTAS.2010.21
J. Whitham, N. Audsley
A combination of a scratchpad and scratchpad memory management unit (SMMU) has been proposed as a way to implement fast and time-predictable memory access operations in programs that use dynamic data structures.A memory access operation is time-predictable if its execution time is known or bounded -- this is important within a hard real-time task so that the worst-case execution time (WCET) can be determined. However, the requirement for time-predictability does not remove the conventional requirement for efficiency:operations must be serviced as quickly as possible under worst-case conditions.This paper studies the capabilities of the SMMU when applied to a number of benchmark programs. A new allocation algorithm is proposed to dynamically manage the scratchpad space. In many cases,the SMMU vastly reduces the number of accesses to dynamic data structures stored in external memory along the worst-case execution path (WCEP). Across all the benchmarks,an average of 47% of accesses are rerouted to scratchpad, with nearly100% for some programs. In previous scratchpad-based work, time-predictability could only be assured for these operations using external memory.The paper also examines situations in which the SMMU does not perform so well, and discusses how these could be addressed.
在使用动态数据结构的程序中,提出了一种将刮记板和刮记板内存管理单元(SMMU)结合起来的方法,以实现快速和时间可预测的内存访问操作。如果内存访问操作的执行时间是已知的或有限制的,那么它是时间可预测的——这在硬实时任务中很重要,这样就可以确定最坏情况的执行时间(WCET)。然而,对时间可预测性的要求并没有消除对效率的传统要求:在最坏的情况下,必须尽可能快地为操作提供服务。本文研究了SMMU在应用于一些基准程序时的性能。提出了一种新的动态管理刮记板空间的分配算法。在许多情况下,SMMU大大减少了沿着最坏情况执行路径(WCEP)访问存储在外部内存中的动态数据结构的次数。在所有基准测试中,平均有47%的访问被重新路由到scratchpad,有些程序的这一比例接近100%。在以前基于刮记板的工作中,只有使用外部存储器才能保证这些操作的时间可预测性。本文还研究了SMMU表现不佳的情况,并讨论了如何解决这些问题。
{"title":"Studying the Applicability of the Scratchpad Memory Management Unit","authors":"J. Whitham, N. Audsley","doi":"10.1109/RTAS.2010.21","DOIUrl":"https://doi.org/10.1109/RTAS.2010.21","url":null,"abstract":"A combination of a scratchpad and scratchpad memory management unit (SMMU) has been proposed as a way to implement fast and time-predictable memory access operations in programs that use dynamic data structures.A memory access operation is time-predictable if its execution time is known or bounded -- this is important within a hard real-time task so that the worst-case execution time (WCET) can be determined. However, the requirement for time-predictability does not remove the conventional requirement for efficiency:operations must be serviced as quickly as possible under worst-case conditions.This paper studies the capabilities of the SMMU when applied to a number of benchmark programs. A new allocation algorithm is proposed to dynamically manage the scratchpad space. In many cases,the SMMU vastly reduces the number of accesses to dynamic data structures stored in external memory along the worst-case execution path (WCEP). Across all the benchmarks,an average of 47% of accesses are rerouted to scratchpad, with nearly100% for some programs. In previous scratchpad-based work, time-predictability could only be assured for these operations using external memory.The paper also examines situations in which the SMMU does not perform so well, and discusses how these could be addressed.","PeriodicalId":356388,"journal":{"name":"2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"28 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113968190","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
Approximate Bandwidth Allocation for Fixed-Priority-Scheduled Periodic Resources 固定优先级定时资源的近似带宽分配
Pub Date : 2010-04-12 DOI: 10.1109/RTAS.2010.28
Farhana Dewan, N. Fisher
Recent research in compositional real-time systems has focused on determination of a component's real-time interface parameters. An important objective in interface-parameter determination is minimizing the bandwidth allocated to each component of the system while simultaneously guaranteeing component schedulability. With this goal in mind, in this paper we develop a fully-polynomial-time approximation scheme (FPTAS) for allocating bandwidth for sporadic task systems scheduled by fixed priority (e.g., deadline monotonic, rate monotonic) upon an Explicit-Deadline Periodic (EDP) resource. Our parametric algorithm takes the task system and an accuracy parameter $epsilon ≫ 0$ as input, and returns a bandwidth which is guaranteed to be at most a factor $(1 + epsilon)$ times the optimal minimum bandwidth required to successfully schedule the task system. By simulations over synthetically generated task systems, we observe a significant decrease in runtime and a small relative error when comparing our proposed algorithm with the exact algorithm and the sufficient algorithm.
近年来,合成实时系统的研究主要集中在确定组件的实时接口参数上。接口参数确定的一个重要目标是在保证组件可调度性的同时最小化分配给系统每个组件的带宽。考虑到这一目标,在本文中,我们开发了一个全多项式时间近似方案(FPTAS),用于在显式截止日期周期(EDP)资源上为固定优先级(例如,截止日期单调,速率单调)调度的零散任务系统分配带宽。我们的参数算法以任务系统和精度参数$epsilon < 0$作为输入,并返回一个带宽,该带宽保证最多是成功调度任务系统所需的最佳最小带宽的一个因子$(1 + epsilon)$乘以。通过对综合生成的任务系统的仿真,我们观察到与精确算法和充分算法相比,我们提出的算法在运行时间上有显著的减少,并且相对误差很小。
{"title":"Approximate Bandwidth Allocation for Fixed-Priority-Scheduled Periodic Resources","authors":"Farhana Dewan, N. Fisher","doi":"10.1109/RTAS.2010.28","DOIUrl":"https://doi.org/10.1109/RTAS.2010.28","url":null,"abstract":"Recent research in compositional real-time systems has focused on determination of a component's real-time interface parameters. An important objective in interface-parameter determination is minimizing the bandwidth allocated to each component of the system while simultaneously guaranteeing component schedulability. With this goal in mind, in this paper we develop a fully-polynomial-time approximation scheme (FPTAS) for allocating bandwidth for sporadic task systems scheduled by fixed priority (e.g., deadline monotonic, rate monotonic) upon an Explicit-Deadline Periodic (EDP) resource. Our parametric algorithm takes the task system and an accuracy parameter $epsilon ≫ 0$ as input, and returns a bandwidth which is guaranteed to be at most a factor $(1 + epsilon)$ times the optimal minimum bandwidth required to successfully schedule the task system. By simulations over synthetically generated task systems, we observe a significant decrease in runtime and a small relative error when comparing our proposed algorithm with the exact algorithm and the sufficient algorithm.","PeriodicalId":356388,"journal":{"name":"2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132448429","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}
引用次数: 23
Selecting Server Parameters for Predictable Runtime Monitoring 为可预测的运行时监视选择服务器参数
Pub Date : 2010-04-12 DOI: 10.1109/RTAS.2010.18
H. Zhu, S. Goddard, Matthew B. Dwyer
Application of runtime monitoring to maintain the health of an embedded real-time software system requires that anomalous behavior be detected within a bounded time while preserving the temporal guarantees of the underlying system. Existing results can compute bounds on the detection latency of runtime monitors that are realized as a deferrable server running at the highest priority. In this paper, we generalize those results to allow monitors to run at an arbitrary priority. We also present an analysis of queue length in predictable runtime monitoring, which allows one to compute an upper bound on queue length. When implementing predictable runtime monitoring, system engineers are presented with several challenges in configuring the parameters of monitor servers. To address those challenges, we explore the tradeoffs among key server parameters and make recommendations about how best to select those parameters to achieve system monitoring objectives.
应用运行时监控来维护嵌入式实时软件系统的健康需要在有限的时间内检测到异常行为,同时保持底层系统的时间保证。现有的结果可以计算运行时监视器的检测延迟的界限,运行时监视器被实现为以最高优先级运行的可延迟服务器。在本文中,我们将这些结果一般化,以允许监视器以任意优先级运行。我们还分析了可预测运行时监控中的队列长度,它允许计算队列长度的上界。在实现可预测的运行时监视时,系统工程师在配置监视服务器的参数方面面临一些挑战。为了应对这些挑战,我们探讨了关键服务器参数之间的权衡,并就如何最好地选择这些参数以实现系统监视目标提出建议。
{"title":"Selecting Server Parameters for Predictable Runtime Monitoring","authors":"H. Zhu, S. Goddard, Matthew B. Dwyer","doi":"10.1109/RTAS.2010.18","DOIUrl":"https://doi.org/10.1109/RTAS.2010.18","url":null,"abstract":"Application of runtime monitoring to maintain the health of an embedded real-time software system requires that anomalous behavior be detected within a bounded time while preserving the temporal guarantees of the underlying system. Existing results can compute bounds on the detection latency of runtime monitors that are realized as a deferrable server running at the highest priority. In this paper, we generalize those results to allow monitors to run at an arbitrary priority. We also present an analysis of queue length in predictable runtime monitoring, which allows one to compute an upper bound on queue length. When implementing predictable runtime monitoring, system engineers are presented with several challenges in configuring the parameters of monitor servers. To address those challenges, we explore the tradeoffs among key server parameters and make recommendations about how best to select those parameters to achieve system monitoring objectives.","PeriodicalId":356388,"journal":{"name":"2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129582608","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
Watchdog: Confident Event Detection in Heterogeneous Sensor Networks 看门狗:异构传感器网络中的自信事件检测
Pub Date : 2010-04-12 DOI: 10.1109/RTAS.2010.15
Matthew Keally, Gang Zhou, G. Xing
Many mission-critical applications such as military surveillance, human health monitoring, and obstacle detection in autonomous vehicles impose stringent requirements for event detection accuracy and demand long system lifetimes. Through quantitative study, we show that traditional approaches to event detection have difficulty meeting such requirements. Specifically, they cannot explore the detection capability of a deployed system and choose the right sensors, homogeneous or heterogeneous, to meet user specified detection accuracy. They also cannot dynamically adapt the detection capability to runtime observations to save energy. Therefore, we are motivated to propose Watchdog, a modality-agnostic event detection framework that clusters the right sensors to meet user specified detection accuracy during runtime while significantly reducing energy consumption. Through evaluation with vehicle detection trace data and a building traffic monitoring testbed of IRIS motes, we demonstrate the superior performance of Watchdog over existing solutions in terms of meeting user specified detection accuracy and energy savings.
许多关键任务应用,如军事监视、人体健康监测和自动驾驶车辆中的障碍物检测,对事件检测精度提出了严格的要求,并要求较长的系统寿命。通过定量研究,我们发现传统的事件检测方法难以满足这种要求。具体来说,它们无法探索已部署系统的检测能力,也无法选择正确的传感器(同质或异构)来满足用户指定的检测精度。它们也不能根据运行时观测动态调整检测能力以节省能量。因此,我们有动机提出Watchdog,这是一个模式无关的事件检测框架,它在运行时聚类正确的传感器以满足用户指定的检测精度,同时显著降低能耗。通过车辆检测轨迹数据和IRIS模型的建筑交通监控试验台进行评估,我们证明了Watchdog在满足用户指定的检测精度和节能方面优于现有解决方案。
{"title":"Watchdog: Confident Event Detection in Heterogeneous Sensor Networks","authors":"Matthew Keally, Gang Zhou, G. Xing","doi":"10.1109/RTAS.2010.15","DOIUrl":"https://doi.org/10.1109/RTAS.2010.15","url":null,"abstract":"Many mission-critical applications such as military surveillance, human health monitoring, and obstacle detection in autonomous vehicles impose stringent requirements for event detection accuracy and demand long system lifetimes. Through quantitative study, we show that traditional approaches to event detection have difficulty meeting such requirements. Specifically, they cannot explore the detection capability of a deployed system and choose the right sensors, homogeneous or heterogeneous, to meet user specified detection accuracy. They also cannot dynamically adapt the detection capability to runtime observations to save energy. Therefore, we are motivated to propose Watchdog, a modality-agnostic event detection framework that clusters the right sensors to meet user specified detection accuracy during runtime while significantly reducing energy consumption. Through evaluation with vehicle detection trace data and a building traffic monitoring testbed of IRIS motes, we demonstrate the superior performance of Watchdog over existing solutions in terms of meeting user specified detection accuracy and energy savings.","PeriodicalId":356388,"journal":{"name":"2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123970420","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}
引用次数: 38
Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems 用于资源感知部署和容错实时系统配置的中间件
Pub Date : 2010-04-01 DOI: 10.1109/RTAS.2010.30
J. Balasubramanian, A. Gokhale, A. Dubey, F. Wolf, Chenyang Lu, C. Gill, D. Schmidt
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality for service (QoS) properties, such as real-timeliness and fault tolerance. This paper makes three contributions to the study of deployment and configuration middleware for DRE systems that satisfy multiple QoS properties. First, it describes a novel task allocation algorithm for passively replicated DRE systems to meet their real-time and fault-tolerance QoS properties while consuming significantly less resources. Second, it presents the design of a strategizable allocation engine that enables application developers to evaluate different allocation algorithms. Third, it presents the design of a middleware agnostic configuration framework that uses allocation decisions to deploy application components/replicas and configure the underlying middleware automatically on the chosen nodes. These contributions are realized in the DeCoRAM (Deployment and Configuration Reasoning and Analysis via Modeling) middleware. Empirical results on a distributed testbed demonstrate DeCoRAM’s ability to handle multiple failures and provide efficient and predictable real-time performance.
开发大规模分布式实时和嵌入式(DRE)系统非常困难,部分原因是由于复杂的部署和配置问题涉及到满足多个服务质量(QoS)属性,例如实时性和容错性。本文对满足多种QoS属性的DRE系统的部署和配置中间件的研究做了三方面的贡献。首先,它描述了一种新的被动复制DRE系统任务分配算法,以满足其实时和容错的QoS特性,同时显著减少资源消耗。其次,它提出了一个可策略分配引擎的设计,使应用程序开发人员能够评估不同的分配算法。第三,介绍了中间件不可知配置框架的设计,该框架使用分配决策来部署应用程序组件/副本,并在所选节点上自动配置底层中间件。这些贡献在DeCoRAM(通过建模进行部署和配置推理和分析)中间件中实现。分布式测试平台上的经验结果证明了DeCoRAM处理多种故障的能力,并提供了高效和可预测的实时性能。
{"title":"Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems","authors":"J. Balasubramanian, A. Gokhale, A. Dubey, F. Wolf, Chenyang Lu, C. Gill, D. Schmidt","doi":"10.1109/RTAS.2010.30","DOIUrl":"https://doi.org/10.1109/RTAS.2010.30","url":null,"abstract":"Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality for service (QoS) properties, such as real-timeliness and fault tolerance. This paper makes three contributions to the study of deployment and configuration middleware for DRE systems that satisfy multiple QoS properties. First, it describes a novel task allocation algorithm for passively replicated DRE systems to meet their real-time and fault-tolerance QoS properties while consuming significantly less resources. Second, it presents the design of a strategizable allocation engine that enables application developers to evaluate different allocation algorithms. Third, it presents the design of a middleware agnostic configuration framework that uses allocation decisions to deploy application components/replicas and configure the underlying middleware automatically on the chosen nodes. These contributions are realized in the DeCoRAM (Deployment and Configuration Reasoning and Analysis via Modeling) middleware. Empirical results on a distributed testbed demonstrate DeCoRAM’s ability to handle multiple failures and provide efficient and predictable real-time performance.","PeriodicalId":356388,"journal":{"name":"2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122398131","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}
引用次数: 30
期刊
2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1