Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002最新文献

筛选
英文 中文
Exact best-case response time analysis of fixed priority scheduled tasks 固定优先级计划任务的精确最佳情况响应时间分析
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002 Pub Date : 2002-06-19 DOI: 10.1109/EMRTS.2002.1019196
Ola Redell, Martin Sanfridson
{"title":"Exact best-case response time analysis of fixed priority scheduled tasks","authors":"Ola Redell, Martin Sanfridson","doi":"10.1109/EMRTS.2002.1019196","DOIUrl":"https://doi.org/10.1109/EMRTS.2002.1019196","url":null,"abstract":"We present a solution for exact calculation of the best-case response times of a periodic task set with fixed priorities. The solution is based on the identification of the best-case phasing of a low priority task compared to the higher priority tasks. This phasing occurs when the low priority task is released such that it finishes simultaneously with the releases of all the higher priority tasks, when these have experienced their maximum release jitter. A recurrence equation is applied to find the best-case response time. The dualism between worst-case and best-case response time calculation is characterized. The most important application of the solution is in the analysis of response jitter.","PeriodicalId":183227,"journal":{"name":"Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125293189","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}
引用次数: 90
A hard real-time bus arbitration protocol based on EIA-709 基于EIA-709的硬实时总线仲裁协议
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002 Pub Date : 2002-06-19 DOI: 10.1109/EMRTS.2002.1019192
A. Bauer, Peter Rössler
{"title":"A hard real-time bus arbitration protocol based on EIA-709","authors":"A. Bauer, Peter Rössler","doi":"10.1109/EMRTS.2002.1019192","DOIUrl":"https://doi.org/10.1109/EMRTS.2002.1019192","url":null,"abstract":"Field area networks (fieldbus) are used in a wide area of applications. A lot of different protocols satisfy the needs of the manifold demands of these applications. In process automation, hard real-time requirements make it difficult to use flexible, well established OSI fieldbus systems like e.g. LonWorks (standardized as ANSI/EIA-709) which is now mainly used for home and building automation. Companies developing LonWorks products are starting to evaluate the possibilities of using the same technology for high-speed and real-time applications in order to avoid the overhead of several different communication protocols. This paper describes the development and implementation of a hard real-time bus arbitration scheme for the high-speed network controller \"L-Chip\", which processes the lower three layers of the EIA-709 protocol. It is shown that the approach presented herein combines optimized bandwidth utilization, fault tolerance and compatibility to existing implementations with the adherence to hard deadlines.","PeriodicalId":183227,"journal":{"name":"Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122371796","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
Formal data analysis of timed finite state systems 时间有限状态系统的形式化数据分析
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002 Pub Date : 2002-06-19 DOI: 10.1109/EMRTS.2002.1019206
Jürgen Ruf, T. Kropf
{"title":"Formal data analysis of timed finite state systems","authors":"Jürgen Ruf, T. Kropf","doi":"10.1109/EMRTS.2002.1019206","DOIUrl":"https://doi.org/10.1109/EMRTS.2002.1019206","url":null,"abstract":"Formal verification has become an alternative to simulation for the validation of systems. In particular, temporal logic model checking of finite state machines is a widely accepted verification technique. It automatically proves the correctness of design specifications. There exist several approaches extending model checking for the verification of timed systems. Things become more complex if additional multivalued signals are added to the systems. In this constellation, time effects and data dependencies merge. Therefore, a stand-alone model checking approach is in many cases not sufficient for verification, especially if extreme values of signals have to be determined. We extend an existing real-time finite state model by multivalued signals (ranges, enumerations and bit vectors). We present algorithms for computing minimal and maximal values of signals in specified states or within certain time bounds. We show the practicability of our approach by means of a case study.","PeriodicalId":183227,"journal":{"name":"Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123908652","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On relaxing task isolation in overrun handling to provide probabilistic guarantees to soft real-time tasks with varying execution times 放宽超限处理中的任务隔离,为不同执行时间的软实时任务提供概率保证
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002 Pub Date : 2002-06-19 DOI: 10.1109/EMRTS.2002.1019199
Kanghee Kim, L. L. Bello, S. Min, O. Mirabella
{"title":"On relaxing task isolation in overrun handling to provide probabilistic guarantees to soft real-time tasks with varying execution times","authors":"Kanghee Kim, L. L. Bello, S. Min, O. Mirabella","doi":"10.1109/EMRTS.2002.1019199","DOIUrl":"https://doi.org/10.1109/EMRTS.2002.1019199","url":null,"abstract":"Task-level or job-level isolation is commonly used in real-time systems to prevent a job that overruns from affecting jobs belonging to other tasks (task-level isolation) or to the same task (job-level isolation). Although such an isolation provides the desired protection and simplifies analysis, it often results in degraded performance (in terms of deadline meeting) because it limits the exploitation of residual processor time resulting from jobs that underruns. We propose a new overrun handling method called randomized dropping that relaxes the isolation to make effective use of such residual processor time. We apply the proposed randomized dropping to the EDF scheduling and give an analysis technique to compute the probability of deadline meeting. Experimental results show that the proposed overrun handling method outperforms previous approaches based task-level or job-level isolation.","PeriodicalId":183227,"journal":{"name":"Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128155694","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
'QoS Safe' kernel extensions for real-time resource management 用于实时资源管理的“QoS安全”内核扩展
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002 Pub Date : 2002-06-19 DOI: 10.1109/EMRTS.2002.1019188
R. West, Jason Gloudon
{"title":"'QoS Safe' kernel extensions for real-time resource management","authors":"R. West, Jason Gloudon","doi":"10.1109/EMRTS.2002.1019188","DOIUrl":"https://doi.org/10.1109/EMRTS.2002.1019188","url":null,"abstract":"General-purpose operating systems are ill-equipped to meet the quality of service (QoS) requirements of complex real-time applications. Consequently, many classes of realtime applications have either been carefully developed to compensate for inadequate system support, or they have been developed to run on special purpose systems. This paper focuses on a safe extension architecture for general purpose systems, to allow applications to customize the behavior of the system for their individual needs. Using Linux as the basis for our work, we describe how application programmers can safely incorporate `service extensions¿ into the kernel, so that application-specific QoS guarantees can be provided. We introduce the notion of `QoS safety¿, which is concerned with meeting the QoS constraints of applications while maintaining system integrity. Our safe extension architecture supports the dynamiclinking of code into the address space of the kernel, to affect service management decisions. Extensions are written in a type-safe language, to monitor and adapt resource usage on behalf of specific applications. Experimental results show that safe kernel extensions can lead to fewer service violations (and, hence, better qualities of service) for realtime tasks, compared to user-level methods that monitor and adapt system resources.","PeriodicalId":183227,"journal":{"name":"Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116962630","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}
引用次数: 12
Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis 用最优离散控制综合方法管理具有时间成本和质量水平的多模式任务
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002 Pub Date : 2002-06-19 DOI: 10.1109/EMRTS.2002.1019204
H. Marchand, É. Rutten
{"title":"Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis","authors":"H. Marchand, É. Rutten","doi":"10.1109/EMRTS.2002.1019204","DOIUrl":"https://doi.org/10.1109/EMRTS.2002.1019204","url":null,"abstract":"Real-time control systems are complex to design, and automation support is important. We are interested in systems with multiple tasks, each with multiple modes, implementing a functionality with different levels of quality (e.g., computation approximation), and cost (e.g., computation time, energy). It is complex to control the switching of modes in order to insure properties like bounding cost while maximizing quality. We outline a technique for the automatic generation of such controllers involving an automaton-based formal model, and using optimal discrete control synthesis.","PeriodicalId":183227,"journal":{"name":"Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122335928","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
Robustness results concerning EDF scheduling upon uniform multiprocessors 统一多处理机上EDF调度的鲁棒性结果
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002 Pub Date : 2002-06-19 DOI: 10.1109/EMRTS.2002.1019189
Sanjoy Baruah
{"title":"Robustness results concerning EDF scheduling upon uniform multiprocessors","authors":"Sanjoy Baruah","doi":"10.1109/EMRTS.2002.1019189","DOIUrl":"https://doi.org/10.1109/EMRTS.2002.1019189","url":null,"abstract":"The earliest-deadline-first (EDF) scheduling of hard-real-time systems upon uniform multiprocessor machines is considered. It is shown that EDF scheduling upon uniform multiprocessors is robust with respect to processor computing capacity. This result is used to derive a new multiprocessor EDF-feasibility analysis algorithm, which is superior to previously-proposed algorithms.","PeriodicalId":183227,"journal":{"name":"Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002","volume":"28 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131000871","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}
引用次数: 44
Scope-tree: a program representation for symbolic worst-case execution time analysis 作用域树:用于符号最坏情况执行时间分析的程序表示法
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002 Pub Date : 2002-06-19 DOI: 10.1109/EMRTS.2002.1019185
Antoine Colin, G. Bernat
{"title":"Scope-tree: a program representation for symbolic worst-case execution time analysis","authors":"Antoine Colin, G. Bernat","doi":"10.1109/EMRTS.2002.1019185","DOIUrl":"https://doi.org/10.1109/EMRTS.2002.1019185","url":null,"abstract":"Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of code depends on the sizes or values of its input data or local parameters. The WCET of a function call may vary depending on the caller and parameters. We propose an approach to express the WCET of a program or sub-program as a symbolic expression. The obtained parametric WCET can then be later evaluated using the knowledge of input data and system configuration parameters. In this paper we present the concept of scope-tree as a generalisation of the traditional syntax tree representation of programs. In addition to their WCET, scopes are associated with an expression stating their maximum execution frequency and some variable declarations. These variables may be used for example to express data-dependent number of iterations or non-rectangular loops. We also present how the scope tree may be used to express inter-scope relations (e.g. mutually exclusive paths, loop down-sampling). Finally, this paper presents the use of scope-trees and scope-tree modifications on an example.","PeriodicalId":183227,"journal":{"name":"Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123938040","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}
引用次数: 65
A QoS-sensitive approach for timeliness and freshness guarantees in real-time databases 一种在实时数据库中保证时效性和新鲜度的qos敏感方法
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002 Pub Date : 2002-06-19 DOI: 10.1109/EMRTS.2002.1019200
K. Kang, S. Son, J. Stankovic, T. Abdelzaher
{"title":"A QoS-sensitive approach for timeliness and freshness guarantees in real-time databases","authors":"K. Kang, S. Son, J. Stankovic, T. Abdelzaher","doi":"10.1109/EMRTS.2002.1019200","DOIUrl":"https://doi.org/10.1109/EMRTS.2002.1019200","url":null,"abstract":"The demand for real-time database services has been increasing recently. Examples include sensor data fusion, decision support, Web information services, and online trading. In these applications, it is desirable to execute transactions within their deadlines using temporally consistent data. Due to the high service demand, real-time databases can be overloaded. As a result, many transactions may miss their deadlines, or data temporal consistency constraints can be violated. To address these problems, we present a QoS management scheme to support guarantees on deadline miss ratio and data freshness (temporal consistency) even in the presence of unpredictable workloads and data access patterns. Using our approach, admitted user transactions can be processed in time using fresh data. A simulation study shows that our QoS-sensitive approach can achieve a significant performance improvement, in terms of deadline miss ratio and data freshness, compared to several baseline approaches. Furthermore, our approach shows a comparable performance to the theoretical oracle that is privileged by a complete future knowledge of data accesses.","PeriodicalId":183227,"journal":{"name":"Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125007969","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}
引用次数: 105
Schedulability analysis of window-constrained execution time tasks for real-time control 基于窗口约束的实时控制任务可调度性分析
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002 Pub Date : 2002-06-19 DOI: 10.1109/EMRTS.2002.1019181
Patricia Balbastre Betoret, I. Ripoll, A. Crespo
{"title":"Schedulability analysis of window-constrained execution time tasks for real-time control","authors":"Patricia Balbastre Betoret, I. Ripoll, A. Crespo","doi":"10.1109/EMRTS.2002.1019181","DOIUrl":"https://doi.org/10.1109/EMRTS.2002.1019181","url":null,"abstract":"Feasibility tests for hard real-time systems provide information about the schedulability of a set of tasks. However, this information is a yes or no answer whether the task set achieves the test or not. From the system design point of view, it would be useful to have more information, for example, how much can one vary some task parameters, such as computation time, without jeopardizing the system feasibility. The aim of the work is to provide a method to determine how much a task can increase its computation time, maintaining the system feasibility under a dynamic priority scheduling. This extra time can be determined not only in all the task activations, but in n of a window of m task invocations. This is what we call a window-constrained execution time system. In control applications, this information can be used to execute supervision activities, such as model updating which is not required to be executed in all the periods, or to determine new controller parameters for the current operating conditions. In fault tolerance, this information allows us to recover n faults in m activations.","PeriodicalId":183227,"journal":{"name":"Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123177796","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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信