首页 > 最新文献

11th IEEE Real Time and Embedded Technology and Applications Symposium最新文献

英文 中文
Bounding worst-case data cache behavior by analytically deriving cache reference patterns 通过解析导出缓存参考模式来限定最坏情况下的数据缓存行为
Pub Date : 2005-03-07 DOI: 10.1109/RTAS.2005.12
H. Ramaprasad, F. Mueller
While caches have become invaluable for higher-end architectures due to their ability to hide, in part, the gap between processor speed and memory access times, caches (and particularly data caches) limit the timing predictability for data accesses that may reside in memory or in cache. This is a significant problem for real-time systems. The objective our work is to provide accurate predictions of data cache behavior of scalar and nonscalar references whose reference patterns are known at compile time. Such knowledge about cache behavior provides the basis for significant improvements in bounding the worst-case execution time (WCET) of real-time programs, particularly for hard-to-analyze data caches. We exploit the power of the cache miss equations (CME) framework but lift a number of limitations of traditional CME to generalize the analysis to more arbitrary programs. We further devised a transformation, coined "forced" loop fusion, which facilitates the analysis across sequential loops. Our contributions result in exact data cache reference patterns minus; in contrast to approximate cache miss behavior of prior work. Experimental results indicate improvements on the accuracy of worst-case data cache behavior up to two orders of magnitude over the original approach. In fact, our results closely bound and sometimes even exactly match those obtained by trace-driven simulation for worst-case inputs. The resulting WCET bounds of timing analysis confirm these findings in terms of providing tight bounds. Overall, our contributions lift analytical approaches to predict data cache behavior to a level suitable for efficient static timing analysis and, subsequently, real-time schedulability of tasks with predictable WCET.
由于能够部分地隐藏处理器速度和内存访问时间之间的差距,缓存(尤其是数据缓存)对可能驻留在内存或缓存中的数据访问的时间可预测性进行了限制,因此对于高端架构来说,缓存已经变得非常宝贵。这是实时系统的一个重要问题。我们的工作目标是提供对引用模式在编译时已知的标量和非标量引用的数据缓存行为的准确预测。这种关于缓存行为的知识为限制实时程序的最坏情况执行时间(WCET)提供了重要的改进基础,特别是对于难以分析的数据缓存。我们利用缓存缺失方程(CME)框架的强大功能,但消除了传统CME的一些限制,将分析推广到更任意的程序。我们进一步设计了一个转换,创造了“强制”循环融合,它促进了跨顺序循环的分析。我们的贡献导致了精确的数据缓存引用模式的减少;与先前工作的近似缓存丢失行为相反。实验结果表明,最坏情况下数据缓存行为的准确性比原始方法提高了两个数量级。事实上,我们的结果与最坏情况下的跟踪驱动模拟结果紧密结合,有时甚至完全匹配。时序分析的WCET边界在提供紧密边界方面证实了这些发现。总的来说,我们的贡献将预测数据缓存行为的分析方法提升到了一个适合于高效静态定时分析的水平,并随后提高了具有可预测WCET的任务的实时可调度性。
{"title":"Bounding worst-case data cache behavior by analytically deriving cache reference patterns","authors":"H. Ramaprasad, F. Mueller","doi":"10.1109/RTAS.2005.12","DOIUrl":"https://doi.org/10.1109/RTAS.2005.12","url":null,"abstract":"While caches have become invaluable for higher-end architectures due to their ability to hide, in part, the gap between processor speed and memory access times, caches (and particularly data caches) limit the timing predictability for data accesses that may reside in memory or in cache. This is a significant problem for real-time systems. The objective our work is to provide accurate predictions of data cache behavior of scalar and nonscalar references whose reference patterns are known at compile time. Such knowledge about cache behavior provides the basis for significant improvements in bounding the worst-case execution time (WCET) of real-time programs, particularly for hard-to-analyze data caches. We exploit the power of the cache miss equations (CME) framework but lift a number of limitations of traditional CME to generalize the analysis to more arbitrary programs. We further devised a transformation, coined \"forced\" loop fusion, which facilitates the analysis across sequential loops. Our contributions result in exact data cache reference patterns minus; in contrast to approximate cache miss behavior of prior work. Experimental results indicate improvements on the accuracy of worst-case data cache behavior up to two orders of magnitude over the original approach. In fact, our results closely bound and sometimes even exactly match those obtained by trace-driven simulation for worst-case inputs. The resulting WCET bounds of timing analysis confirm these findings in terms of providing tight bounds. Overall, our contributions lift analytical approaches to predict data cache behavior to a level suitable for efficient static timing analysis and, subsequently, real-time schedulability of tasks with predictable WCET.","PeriodicalId":291045,"journal":{"name":"11th IEEE Real Time and Embedded Technology and Applications Symposium","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125255116","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
Real-time sampled signal flows through asynchronous distributed systems 实时采样信号流通过异步分布式系统
Pub Date : 2005-03-07 DOI: 10.1109/RTAS.2005.44
S. Vestal
We present a new model of real-time periodic distributed asynchronous computation in which information flows through sequences of periodic tasks, where task inputs are obtained by sampling other task's outputs as well as sampling the environment. We introduce a metric for end-to-end timing called the age of an output, which is the time since the external inputs on which an output value is based were sampled. We present some bounds on age scheduling efficiency, reduce the problem of finding a feasible distributed age schedule to finding a solution for a system of nonlinear constraints, and discuss use of a commercial solver to find a solution to a large problem derived from a real-world system.
我们提出了一种新的实时周期性分布式异步计算模型,其中信息在周期性任务序列中流动,其中任务输入是通过采样其他任务的输出以及采样环境来获得的。我们引入了端到端计时的度量,称为输出的年龄,这是自输出值所基于的外部输入被采样以来的时间。我们给出了年龄调度效率的一些界限,将寻找可行的分布式年龄调度问题简化为寻找非线性约束系统的解的问题,并讨论了使用商业求解器寻找来自现实系统的大型问题的解的问题。
{"title":"Real-time sampled signal flows through asynchronous distributed systems","authors":"S. Vestal","doi":"10.1109/RTAS.2005.44","DOIUrl":"https://doi.org/10.1109/RTAS.2005.44","url":null,"abstract":"We present a new model of real-time periodic distributed asynchronous computation in which information flows through sequences of periodic tasks, where task inputs are obtained by sampling other task's outputs as well as sampling the environment. We introduce a metric for end-to-end timing called the age of an output, which is the time since the external inputs on which an output value is based were sampled. We present some bounds on age scheduling efficiency, reduce the problem of finding a feasible distributed age schedule to finding a solution for a system of nonlinear constraints, and discuss use of a commercial solver to find a solution to a large problem derived from a real-world system.","PeriodicalId":291045,"journal":{"name":"11th IEEE Real Time and Embedded Technology and Applications Symposium","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128095113","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}
引用次数: 9
An adaptive locality-conscious process scheduler for embedded systems 嵌入式系统自适应位置感知进程调度器
Pub Date : 2005-03-07 DOI: 10.1109/RTAS.2005.6
Guilin Chen, Guangyu Chen, O. Ozturk, M. Kandemir
A critical component of a real-time operating system (RTOS) is its process scheduler. While the prior research on process scheduling focuses mostly on meeting hard/soft deadlines, preemption and priory assignment related issues, problems arise from existence of cache memories are largely ignored. Focusing on data accesses and a cache based embedded system, this paper proposes an adaptive locality-conscious process scheduling algorithm. The main goal of the proposed algorithm is to exploit (reuse) the contents of the on-chip cache memory to the highest extent possible. The algorithm tries to achieve its goal by determining the order in which the processes get scheduled such that the successively-executing processes share a large number of data elements. We implemented our scheduler within a customized simulation platform and simulated it using a set of benchmark codes. Our experimental results reveal that the proposed scheduling algorithm is very successful in practice, and reduces process completion times significantly for both rate-monotonic scheduling (RMS) and earliest-deadline-first scheduling (EDF). We also explain how process code transformations can be used for increasing the savings achieved by the locality-conscious scheduler, and show how the proposed approach operates with a base scheduler such as RMS and EDF.
实时操作系统(RTOS)的一个关键组件是它的进程调度程序。以往对进程调度的研究主要集中在满足硬/软期限、抢占和优先级分配等问题上,而由于缓存内存的存在而产生的问题却被忽视了。针对数据访问和基于缓存的嵌入式系统,提出了一种自适应位置感知的进程调度算法。该算法的主要目标是最大限度地利用(重用)片上缓存存储器的内容。该算法试图通过确定调度进程的顺序来实现其目标,以便连续执行的进程共享大量数据元素。我们在定制的仿真平台中实现了调度器,并使用一组基准代码对其进行了模拟。实验结果表明,所提出的调度算法在实际应用中是非常成功的,对于速率单调调度(RMS)和最早截止日期优先调度(EDF)都能显著减少进程完成时间。我们还解释了如何使用过程代码转换来增加位置感知调度器所实现的节省,并展示了所建议的方法如何与RMS和EDF等基本调度器一起操作。
{"title":"An adaptive locality-conscious process scheduler for embedded systems","authors":"Guilin Chen, Guangyu Chen, O. Ozturk, M. Kandemir","doi":"10.1109/RTAS.2005.6","DOIUrl":"https://doi.org/10.1109/RTAS.2005.6","url":null,"abstract":"A critical component of a real-time operating system (RTOS) is its process scheduler. While the prior research on process scheduling focuses mostly on meeting hard/soft deadlines, preemption and priory assignment related issues, problems arise from existence of cache memories are largely ignored. Focusing on data accesses and a cache based embedded system, this paper proposes an adaptive locality-conscious process scheduling algorithm. The main goal of the proposed algorithm is to exploit (reuse) the contents of the on-chip cache memory to the highest extent possible. The algorithm tries to achieve its goal by determining the order in which the processes get scheduled such that the successively-executing processes share a large number of data elements. We implemented our scheduler within a customized simulation platform and simulated it using a set of benchmark codes. Our experimental results reveal that the proposed scheduling algorithm is very successful in practice, and reduces process completion times significantly for both rate-monotonic scheduling (RMS) and earliest-deadline-first scheduling (EDF). We also explain how process code transformations can be used for increasing the savings achieved by the locality-conscious scheduler, and show how the proposed approach operates with a base scheduler such as RMS and EDF.","PeriodicalId":291045,"journal":{"name":"11th IEEE Real Time and Embedded Technology and Applications Symposium","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128462668","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
Network QoS assurance in a multi-layer adaptive resource management scheme for mission-critical applications using the CORBA middleware framework 使用CORBA中间件框架的关键任务应用程序的多层自适应资源管理方案中的网络QoS保证
Pub Date : 2005-03-07 DOI: 10.1109/RTAS.2005.34
B. Dasarathy, S. Gadgil, R. Vaidyanathan, K. Parmeswaran, B. Coan, M. Conarty, V. Bhanot
We present adaptive network QoS (quality of service) technology that provides ongoing, end-to-end assurance that critical traffic belonging to admitted flows has bounded queuing loss, delay, and jitter. Our technology uses a bandwidth broker to provide admission control, and leverages differentiated services and class of service functionality of high-end routers and switches for enforcement. The technology employs an integrated QoS treatment across a hybrid layer-2/layer-3 network and adapts to changes in mission requirements, work load and configurations; it uses discovery algorithms in these layers to maintain a current view of resource availability. Under the DARPA ARMS (adaptive and reflective middleware systems) program, our technology is being developed, integrated and validated in a CORBA-based multilayer resource management framework.
我们提出自适应网络QoS(服务质量)技术,提供持续的端到端保证,属于被承认流的关键流量具有有限的排队损失、延迟和抖动。我们的技术使用带宽代理来提供准入控制,并利用高端路由器和交换机的差异化服务和服务功能来实施。该技术在混合第2层/第3层网络中采用集成的QoS处理,并适应任务需求、工作负载和配置的变化;它使用这些层中的发现算法来维护资源可用性的当前视图。在DARPA ARMS(自适应和反射中间件系统)项目下,我们的技术正在基于corba的多层资源管理框架中进行开发、集成和验证。
{"title":"Network QoS assurance in a multi-layer adaptive resource management scheme for mission-critical applications using the CORBA middleware framework","authors":"B. Dasarathy, S. Gadgil, R. Vaidyanathan, K. Parmeswaran, B. Coan, M. Conarty, V. Bhanot","doi":"10.1109/RTAS.2005.34","DOIUrl":"https://doi.org/10.1109/RTAS.2005.34","url":null,"abstract":"We present adaptive network QoS (quality of service) technology that provides ongoing, end-to-end assurance that critical traffic belonging to admitted flows has bounded queuing loss, delay, and jitter. Our technology uses a bandwidth broker to provide admission control, and leverages differentiated services and class of service functionality of high-end routers and switches for enforcement. The technology employs an integrated QoS treatment across a hybrid layer-2/layer-3 network and adapts to changes in mission requirements, work load and configurations; it uses discovery algorithms in these layers to maintain a current view of resource availability. Under the DARPA ARMS (adaptive and reflective middleware systems) program, our technology is being developed, integrated and validated in a CORBA-based multilayer resource management framework.","PeriodicalId":291045,"journal":{"name":"11th IEEE Real Time and Embedded Technology and Applications Symposium","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125091057","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
On schedulability bounds of static priority schedulers 静态优先级调度程序的可调度性界
Pub Date : 2005-03-07 DOI: 10.1109/RTAS.2005.35
Jianjia Wu, Jyh-Charn S. Liu, Wei Zhao
While utilization bound based schedulability test is simple and effective, it is often difficult to derive the bound itself. For its analytical complexity, utilization bound results are usually obtained on a case-by-case basis. In this paper, we develop a general framework that allows one to effectively derive schedulability bounds for a wide range of real-time systems with different workload patterns and schedulers. Our analytical model is capable of describing a wide range of tasks and schedulers' behaviors. We propose a new definition of utilization, called workload rate. While similar to utilization, workload rate enables flexible representation of different scheduling and workload scenarios and leads to uniform derivation of schedulability bounds. We derive a parameterized schedulability bound for static priority schedulers with arbitrary priority assignment. Existing utilization bounds for different priority assignments and task releasing patterns can be derived from our closed-form formula by simple assignments of proper parameters.
基于利用率界的可调度性测试是一种简单有效的测试方法,但通常很难推导出利用率界本身。由于其分析的复杂性,利用率界的结果通常是在逐个案例的基础上得到的。在本文中,我们开发了一个通用框架,允许人们有效地为具有不同工作负载模式和调度程序的各种实时系统导出可调度性界限。我们的分析模型能够描述各种各样的任务和调度器的行为。我们提出了一个新的利用率定义,称为工作负载率。虽然与利用率类似,但工作负载率支持灵活地表示不同的调度和工作负载场景,并导致可调度性界限的统一派生。给出了具有任意优先级分配的静态优先级调度程序的参数化可调度性界。不同优先级分配和任务释放模式的现有利用率界限可以通过简单分配适当的参数从我们的封闭形式公式中导出。
{"title":"On schedulability bounds of static priority schedulers","authors":"Jianjia Wu, Jyh-Charn S. Liu, Wei Zhao","doi":"10.1109/RTAS.2005.35","DOIUrl":"https://doi.org/10.1109/RTAS.2005.35","url":null,"abstract":"While utilization bound based schedulability test is simple and effective, it is often difficult to derive the bound itself. For its analytical complexity, utilization bound results are usually obtained on a case-by-case basis. In this paper, we develop a general framework that allows one to effectively derive schedulability bounds for a wide range of real-time systems with different workload patterns and schedulers. Our analytical model is capable of describing a wide range of tasks and schedulers' behaviors. We propose a new definition of utilization, called workload rate. While similar to utilization, workload rate enables flexible representation of different scheduling and workload scenarios and leads to uniform derivation of schedulability bounds. We derive a parameterized schedulability bound for static priority schedulers with arbitrary priority assignment. Existing utilization bounds for different priority assignments and task releasing patterns can be derived from our closed-form formula by simple assignments of proper parameters.","PeriodicalId":291045,"journal":{"name":"11th IEEE Real Time and Embedded Technology and Applications Symposium","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122178151","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}
引用次数: 32
Robust control/scheduling co-design: application to robot control 鲁棒控制/调度协同设计:在机器人控制中的应用
Pub Date : 2005-03-07 DOI: 10.1109/RTAS.2005.46
D. Simon, D. Robert, O. Sename
Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling errors and disturbances, and the controller design can be performed to explicitly enhance robustness against specific uncertainties. On one hand robustness in process controllers can be used to comply with weakly modelled timing uncertainties. On the other hand the principle of robust closed-loop control can also be applied to the real-time scheduler to provide online adaption of some scheduling parameters, with the objective of controlling the computing resource allocation. The control performance specification may be set according to both control and implementation constraints. The approach is illustrated through several examples using simulation and an experimental feedback scheduler is briefly described.
在计算机上运行的控制系统受到来自实现约束的定时干扰。幸运的是,闭环系统在建模误差和干扰下表现良好,控制器设计可以明确地增强对特定不确定性的鲁棒性。一方面,过程控制器的鲁棒性可以用来适应弱建模的时间不确定性。另一方面,鲁棒闭环控制原理也可以应用于实时调度程序,提供一些调度参数的在线自适应,以控制计算资源的分配。控制性能规范可以根据控制和实现约束进行设置。通过几个仿真实例说明了该方法,并简要描述了一个实验反馈调度程序。
{"title":"Robust control/scheduling co-design: application to robot control","authors":"D. Simon, D. Robert, O. Sename","doi":"10.1109/RTAS.2005.46","DOIUrl":"https://doi.org/10.1109/RTAS.2005.46","url":null,"abstract":"Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling errors and disturbances, and the controller design can be performed to explicitly enhance robustness against specific uncertainties. On one hand robustness in process controllers can be used to comply with weakly modelled timing uncertainties. On the other hand the principle of robust closed-loop control can also be applied to the real-time scheduler to provide online adaption of some scheduling parameters, with the objective of controlling the computing resource allocation. The control performance specification may be set according to both control and implementation constraints. The approach is illustrated through several examples using simulation and an experimental feedback scheduler is briefly described.","PeriodicalId":291045,"journal":{"name":"11th IEEE Real Time and Embedded Technology and Applications Symposium","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129341292","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}
引用次数: 64
Scheduling messages with deadlines in multi-hop real-time sensor networks 多跳实时传感器网络中带时限的消息调度
Pub Date : 2005-03-07 DOI: 10.1109/RTAS.2005.48
Huan Li, P. Shenoy, K. Ramamritham
Consider a team of robots equipped with sensors that collaborate with one another to achieve a common goal. Sensors on robots produce periodic updates that must be transmitted to other robots and processed in real-time to enable such collaboration. Since the robots communicate with one another over an ad-hoc wireless network, we consider the problem of providing timeliness guarantees for multihop message transmissions in such a network. We derive the effective deadline and the latest start time for per-hop message transmissions from the validity intervals of the sensor data and the constraints imposed by the consuming task at the destination. Our technique schedules messages by carefully exploiting spatial channel reuse for each per-hop transmission to avoid MAC layer collisions, so that deadline misses are minimized. Extensive simulations show the effectiveness of our channel reuse-based SLF (smallest latest-start-time first) technique when compared to a simple per-hop SLF technique, especially at moderate to high channel utilization or when the probability of collisions is high.
考虑一组配备了传感器的机器人,它们相互协作以实现共同的目标。机器人上的传感器会产生周期性的更新,这些更新必须传递给其他机器人,并进行实时处理,以实现这种协作。由于机器人通过自组织无线网络相互通信,我们考虑在这种网络中为多跳消息传输提供时效性保证的问题。我们从传感器数据的有效间隔和目的地消费任务施加的约束推导出每跳消息传输的有效截止日期和最晚开始时间。我们的技术通过仔细利用每跳传输的空间信道重用来调度消息,以避免MAC层冲突,从而最大限度地减少截止日期的遗漏。大量的仿真表明,与简单的每跳SLF技术相比,我们基于信道重用的SLF(最小最新开始时间优先)技术是有效的,特别是在中等到高信道利用率或碰撞概率很高的情况下。
{"title":"Scheduling messages with deadlines in multi-hop real-time sensor networks","authors":"Huan Li, P. Shenoy, K. Ramamritham","doi":"10.1109/RTAS.2005.48","DOIUrl":"https://doi.org/10.1109/RTAS.2005.48","url":null,"abstract":"Consider a team of robots equipped with sensors that collaborate with one another to achieve a common goal. Sensors on robots produce periodic updates that must be transmitted to other robots and processed in real-time to enable such collaboration. Since the robots communicate with one another over an ad-hoc wireless network, we consider the problem of providing timeliness guarantees for multihop message transmissions in such a network. We derive the effective deadline and the latest start time for per-hop message transmissions from the validity intervals of the sensor data and the constraints imposed by the consuming task at the destination. Our technique schedules messages by carefully exploiting spatial channel reuse for each per-hop transmission to avoid MAC layer collisions, so that deadline misses are minimized. Extensive simulations show the effectiveness of our channel reuse-based SLF (smallest latest-start-time first) technique when compared to a simple per-hop SLF technique, especially at moderate to high channel utilization or when the probability of collisions is high.","PeriodicalId":291045,"journal":{"name":"11th IEEE Real Time and Embedded Technology and Applications Symposium","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121975401","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}
引用次数: 118
Design and performance of configurable endsystem scheduling mechanisms 可配置端系统调度机制的设计与性能
Pub Date : 2005-03-07 DOI: 10.1109/RTAS.2005.17
Tejasvi Aswathanarayana, D. Niehaus, Venkita Subramonian, C. Gill
This paper describes a scheduling abstraction, called group scheduling, that emphasizes fine grain configurability of system scheduling semantics. The group scheduling approach described and evaluated in this paper provides an extremely flexible framework within which a wide range of scheduling semantics can be expressed, including familiar priority and deadline based algorithms. The paper describes both OS and middleware based implementations of the framework, and shows through evaluation that they can produce the same behavior for a nontrivial set of application computations. We also show that the framework can support application-specific scheduling constraints such as progress, to improve performance of applications whose scheduling semantics do not match those of traditional scheduling algorithms.
本文描述了一种调度抽象,即组调度,它强调了系统调度语义的细粒度可配置性。本文描述和评估的群调度方法提供了一个非常灵活的框架,在这个框架内可以表达广泛的调度语义,包括熟悉的基于优先级和截止日期的算法。本文描述了基于操作系统和中间件的框架实现,并通过评估表明,它们可以为一组重要的应用程序计算产生相同的行为。我们还表明,该框架可以支持特定于应用程序的调度约束,如进度,以提高调度语义与传统调度算法不匹配的应用程序的性能。
{"title":"Design and performance of configurable endsystem scheduling mechanisms","authors":"Tejasvi Aswathanarayana, D. Niehaus, Venkita Subramonian, C. Gill","doi":"10.1109/RTAS.2005.17","DOIUrl":"https://doi.org/10.1109/RTAS.2005.17","url":null,"abstract":"This paper describes a scheduling abstraction, called group scheduling, that emphasizes fine grain configurability of system scheduling semantics. The group scheduling approach described and evaluated in this paper provides an extremely flexible framework within which a wide range of scheduling semantics can be expressed, including familiar priority and deadline based algorithms. The paper describes both OS and middleware based implementations of the framework, and shows through evaluation that they can produce the same behavior for a nontrivial set of application computations. We also show that the framework can support application-specific scheduling constraints such as progress, to improve performance of applications whose scheduling semantics do not match those of traditional scheduling algorithms.","PeriodicalId":291045,"journal":{"name":"11th IEEE Real Time and Embedded Technology and Applications Symposium","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130346865","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}
引用次数: 43
Model-driven techniques for evaluating the QoS of middleware configurations for DRE systems 用于评估DRE系统中间件配置的QoS的模型驱动技术
Pub Date : 2005-03-07 DOI: 10.1109/RTAS.2005.32
A. Krishna, E. Turkay, A. Gokhale, D. Schmidt
This paper provides two contributions to R&D on model-driven development (MDD) techniques that help codify the impact of middleware configurations on end-to-end distributed real-time and embedded (DRE) system quality of service (QoS). First, we describe how MDD techniques can help select middleware configuration parameters that satisfy key functional and QoS requirements of DRE systems. Second, we apply our MDD techniques to empirically evaluate the end-to-end QoS of representative DRE systems in the avionics and industrial manufacturing domains. Our results show how MDD techniques significantly enhance conventional ad hoc processes used by developers to configure middleware that meets the QoS needs of DRE systems.
本文为模型驱动开发(MDD)技术的研发提供了两项贡献,这些技术有助于整理中间件配置对端到端分布式实时和嵌入式(DRE)系统服务质量(QoS)的影响。首先,我们描述了MDD技术如何帮助选择中间件配置参数,以满足DRE系统的关键功能和QoS需求。其次,我们应用MDD技术对航空电子和工业制造领域中具有代表性的DRE系统的端到端QoS进行了实证评估。我们的结果显示了MDD技术如何显著增强了开发人员用来配置中间件以满足DRE系统的QoS需求的传统临时流程。
{"title":"Model-driven techniques for evaluating the QoS of middleware configurations for DRE systems","authors":"A. Krishna, E. Turkay, A. Gokhale, D. Schmidt","doi":"10.1109/RTAS.2005.32","DOIUrl":"https://doi.org/10.1109/RTAS.2005.32","url":null,"abstract":"This paper provides two contributions to R&D on model-driven development (MDD) techniques that help codify the impact of middleware configurations on end-to-end distributed real-time and embedded (DRE) system quality of service (QoS). First, we describe how MDD techniques can help select middleware configuration parameters that satisfy key functional and QoS requirements of DRE systems. Second, we apply our MDD techniques to empirically evaluate the end-to-end QoS of representative DRE systems in the avionics and industrial manufacturing domains. Our results show how MDD techniques significantly enhance conventional ad hoc processes used by developers to configure middleware that meets the QoS needs of DRE systems.","PeriodicalId":291045,"journal":{"name":"11th IEEE Real Time and Embedded Technology and Applications Symposium","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125337721","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}
引用次数: 26
An approach for designing reusable, embedded software components for spacecraft flight instruments 航天器飞行仪表可重用嵌入式软件组件的设计方法
Pub Date : 2005-03-07 DOI: 10.1109/RTAS.2005.7
D. Mathur, B. W. Edwards, Jacob Goldstein, H. Nguyen, Jeffrey Pine, B. Plante, J. Thacker, C. Hoover
Current flight software (FSW) systems embed customized pieces of software to control spacecraft instrumentation. Because spacecraft contain unique hardware components, reusing software device drivers or higher-level FSW subsystems dependent on the drivers across different missions is difficult; and changing instrumentation for an FSW is complicated and time-consuming. This paper outlines an innovative approach to design software components that interact reliably with aerospace instruments and applications while promoting reuse and ease of change. As building blocks for a flight instruments reuse & standardization library (FIRSL), the reusable software drivers are in the form of low-level devices or high-level composite devices for space-based missions. The paper also describes the proof of concept used to verify the results of applying the FIRSL design approach.
当前的飞行软件(FSW)系统嵌入了定制的软件来控制航天器仪表。由于航天器包含独特的硬件组件,在不同任务中重用软件设备驱动程序或依赖于驱动程序的高级FSW子系统是困难的;而且为FSW更换仪器既复杂又耗时。本文概述了一种创新的方法来设计与航空航天仪器和应用程序可靠交互的软件组件,同时促进重用和易于更改。作为飞行仪器重用与标准化库(FIRSL)的构建模块,可重用软件驱动程序以用于天基任务的低级设备或高级复合设备的形式存在。本文还描述了用于验证应用FIRSL设计方法的结果的概念证明。
{"title":"An approach for designing reusable, embedded software components for spacecraft flight instruments","authors":"D. Mathur, B. W. Edwards, Jacob Goldstein, H. Nguyen, Jeffrey Pine, B. Plante, J. Thacker, C. Hoover","doi":"10.1109/RTAS.2005.7","DOIUrl":"https://doi.org/10.1109/RTAS.2005.7","url":null,"abstract":"Current flight software (FSW) systems embed customized pieces of software to control spacecraft instrumentation. Because spacecraft contain unique hardware components, reusing software device drivers or higher-level FSW subsystems dependent on the drivers across different missions is difficult; and changing instrumentation for an FSW is complicated and time-consuming. This paper outlines an innovative approach to design software components that interact reliably with aerospace instruments and applications while promoting reuse and ease of change. As building blocks for a flight instruments reuse & standardization library (FIRSL), the reusable software drivers are in the form of low-level devices or high-level composite devices for space-based missions. The paper also describes the proof of concept used to verify the results of applying the FIRSL design approach.","PeriodicalId":291045,"journal":{"name":"11th IEEE Real Time and Embedded Technology and Applications Symposium","volume":"332 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134022295","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
期刊
11th 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