发布求助
文献互助 智能选刊 最新文献

15th Euromicro Conference on Real-Time Systems, 2003. Proceedings.最新文献

筛选
英文 中文
Issues in mapping HRT-HOOD to UML 将HRT-HOOD映射到UML中的问题
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings. Pub Date : 2003-07-02 DOI: 10.1109/EMRTS.2003.1212747
S. Mazzini, M. D'Alessandro, M. Natale, G. Lipari, T. Vardanega
{"title":"Issues in mapping HRT-HOOD to UML","authors":"S. Mazzini, M. D'Alessandro, M. Natale, G. Lipari, T. Vardanega","doi":"10.1109/EMRTS.2003.1212747","DOIUrl":"https://doi.org/10.1109/EMRTS.2003.1212747","url":null,"abstract":"HRT-HOOD has methodological strengths that deserve to be preserved in the face of the commercial decline of HOOD technology. The UML (Unified Modeling Language) meta-model, on the other hand, has a level of flexibility that makes it an especially attractive platform to express the specific real-time design minded features of the HRT-HOOD method. The object-oriented connotation of the method that results from mapping HRT-HOOD onto UML raises methodological issues that we deem of interest to the real-time community at large. This paper discusses three such issues in particular: the prevalence of objects over classes in real-time design, with the consequent inversion of the standard object-oriented development paradigm; the need to derive classes \"by example\", which arises from the demand to allow multiple, yet static, instances of real-time objects initially designed as singleton; the opportunity of reuse-oriented component-based real-time development, which descends from using interfaces instead of classes as the target of associations among objects.","PeriodicalId":120694,"journal":{"name":"15th Euromicro Conference on Real-Time Systems, 2003. Proceedings.","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134521930","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
Modeling flexible real time systems with preemptive time Petri nets 基于抢占时间Petri网的柔性实时系统建模
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings. Pub Date : 2003-07-02 DOI: 10.1109/EMRTS.2003.1212753
G. Bucci, A. Fedeli, L. Sassoli, E. Vicario
{"title":"Modeling flexible real time systems with preemptive time Petri nets","authors":"G. Bucci, A. Fedeli, L. Sassoli, E. Vicario","doi":"10.1109/EMRTS.2003.1212753","DOIUrl":"https://doi.org/10.1109/EMRTS.2003.1212753","url":null,"abstract":"Preemptive Time Petri nets are obtained by extending Time Petri nets with an additional mechanism of resource assignment which makes the progress of timed transitions be dependent on the availability of a set of preemptable resources, and with the capability to make transition times and priorities be dependent on the marking. The combination of these capabilities supports description and verification of flexible real time systems running under preemptive scheduling, with periodic, sporadic and one shot processes, with non-deterministic execution times, with semaphore synchronizations and precedence relations deriving from internal task sequentialization and from interprocess communication. The expressive capabilities of the model and the type of results that can be derived through symbolic enumeration of its dense-timed state space are illustrated with reference to a flexible system mixing dynamic acceptance and performance polymorphism.","PeriodicalId":120694,"journal":{"name":"15th Euromicro Conference on Real-Time Systems, 2003. Proceedings.","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134578509","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}
引用次数: 35
The control server: a computational model for real-time control tasks 控制服务器:实时控制任务的计算模型
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings. Pub Date : 2003-07-02 DOI: 10.1109/EMRTS.2003.1212734
A. Cervin, J. Eker
{"title":"The control server: a computational model for real-time control tasks","authors":"A. Cervin, J. Eker","doi":"10.1109/EMRTS.2003.1212734","DOIUrl":"https://doi.org/10.1109/EMRTS.2003.1212734","url":null,"abstract":"The paper presents a computational model for real-time control tasks, with the primary goal of simplifying the control and scheduling codesign problem. The model combines time-triggered I/O and inter-task communication with dynamic, reservation-based task scheduling. To facilitate short input-output latencies, a task may be divided into several segments. Jitter is reduced by allowing communication only at the beginning and at the end of a segment. A key property of the model is that both schedulability and control performance of a control task will depend on the reserved utilization factor only. This enables controllers to be treated as scalable real-time components. The model has been implemented in a real-time kernel and validated in a real-time control application.","PeriodicalId":120694,"journal":{"name":"15th Euromicro Conference on Real-Time Systems, 2003. Proceedings.","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129939020","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}
引用次数: 62
An improved schedulability test for uniprocessor periodic task systems 一种改进的单处理器周期任务系统可调度性测试方法
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings. Pub Date : 2003-07-02 DOI: 10.1109/EMRTS.2003.1212723
Umamaheswari Devi
{"title":"An improved schedulability test for uniprocessor periodic task systems","authors":"Umamaheswari Devi","doi":"10.1109/EMRTS.2003.1212723","DOIUrl":"https://doi.org/10.1109/EMRTS.2003.1212723","url":null,"abstract":"We present a sufficient linear-time schedulability test for preemptable, asynchronous, periodic task systems with arbitrary relative deadlines, scheduled on a uniprocessor by an optimal scheduling algorithm. We show that this test is more accurate than the commonly-used density condition. We also present and discuss the results of our test with that of a pseudo-polynomial-time schedulability test presented previously for a restricted class of task systems in which utilization is strictly less than one.","PeriodicalId":120694,"journal":{"name":"15th Euromicro Conference on Real-Time Systems, 2003. Proceedings.","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126408905","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 synthetic utilization bound for aperiodic tasks with resource requirements 具有资源需求的非周期性任务的综合利用界限
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings. Pub Date : 2003-07-02 DOI: 10.1109/EMRTS.2003.1212737
T. Abdelzaher, V. Sharma
{"title":"A synthetic utilization bound for aperiodic tasks with resource requirements","authors":"T. Abdelzaher, V. Sharma","doi":"10.1109/EMRTS.2003.1212737","DOIUrl":"https://doi.org/10.1109/EMRTS.2003.1212737","url":null,"abstract":"Utilization bounds for schedulability of aperiodic tasks are new in real-time scheduling literature. All aperiodic bounds known to date apply only to independent tasks. They either assume a liquid task model (one with infinitely many infinitesimal tasks) or are limited to deadline-monotonic and earliest-deadline first scheduling. In this paper, the authors make two important contributions. First, they derive the first aperiodic utilization bound that considers a task model with resource requirements. Second, the new bound is a function of a parameter called preemptable deadline ratio that depends on the scheduling policy. We show that many scheduling policies can be classified by this parameter allowing per-policy bounds to be derived. Simulation results demonstrating the applicability of aperiodic utilization bounds are presented.","PeriodicalId":120694,"journal":{"name":"15th Euromicro Conference on Real-Time Systems, 2003. Proceedings.","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121522572","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
Scheduling of early quantum tasks 调度早期的量子任务
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings. Pub Date : 2003-07-02 DOI: 10.1109/EMRTS.2003.1212745
P. Jansen, F. Hanssen, M. Lijding
{"title":"Scheduling of early quantum tasks","authors":"P. Jansen, F. Hanssen, M. Lijding","doi":"10.1109/EMRTS.2003.1212745","DOIUrl":"https://doi.org/10.1109/EMRTS.2003.1212745","url":null,"abstract":"An Early Quantum Task (EQT) is a Quantum EDF task that has shrunk its first period into one quantum time slot. Its purpose is to be executed as soon as possible, without causing deadline overflow of other tasks. We derive the conditions under which an EQT can be admitted and can have an immediate start. The advantage of scheduling EQTs is shown by its use in a buffered multimedia server. The EQT is associated with a multimedia stream and it will use its first invocation to fill the buffer, such that a client can start receiving data immediately.","PeriodicalId":120694,"journal":{"name":"15th Euromicro Conference on Real-Time Systems, 2003. Proceedings.","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123054713","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems 针对异构实时系统的安全、QoS可扩展、特定于应用程序的调度程序的综合
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings. Pub Date : 2003-07-02 DOI: 10.1109/EMRTS.2003.1212754
C. Kloukinas, S. Yovine
{"title":"Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems","authors":"C. Kloukinas, S. Yovine","doi":"10.1109/EMRTS.2003.1212754","DOIUrl":"https://doi.org/10.1109/EMRTS.2003.1212754","url":null,"abstract":"We present a new scheduler architecture, which permits adding QoS (quality of service) policies to the scheduling decisions. We also present a new scheduling synthesis method which allows a designer to obtain a safe scheduler for a particular application. Our scheduler architecture and scheduler synthesis method can be used for heterogeneous applications where the tasks communicate through various synchronization primitives. We present a prototype implementation of this scheduler architecture and related mechanisms on top of an open-source OS (operating system) for embedded systems.","PeriodicalId":120694,"journal":{"name":"15th Euromicro Conference on Real-Time Systems, 2003. Proceedings.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122675551","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}
引用次数: 57
Initial values for online response time calculations 联机响应时间计算的初始值
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings. Pub Date : 2003-07-02 DOI: 10.1109/EMRTS.2003.1212722
R. J. Bril, W. Verhaegh, E. Pol
{"title":"Initial values for online response time calculations","authors":"R. J. Bril, W. Verhaegh, E. Pol","doi":"10.1109/EMRTS.2003.1212722","DOIUrl":"https://doi.org/10.1109/EMRTS.2003.1212722","url":null,"abstract":"Many real-time systems needing an online schedulability test requires exact schedulability analysis. In this paper we evaluate standard initial values for the iterative procedure to calculate worst-case response times of periodic tasks under fixed priority preemptive scheduling and arbitrary phasing. For discrete scheduling, we show that the number of iterations needed to determine the worst-case response time of a task using standard initial values increases logarithmically for an increasing worst-case computation time of that task. We present a new initial value, and prove that the number of iterations for that value is bounded. The costs of using the standard and new initial values are compared by means of an experiment. We briefly discuss the applicability of the initial value in other contexts, such as best-case response time analysis and jitter analysis.","PeriodicalId":120694,"journal":{"name":"15th Euromicro Conference on Real-Time Systems, 2003. Proceedings.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131099634","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
Processor support for temporal predictability - the SPEAR design example 处理器对时间可预测性的支持——SPEAR设计示例
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings. Pub Date : 2003-07-02 DOI: 10.1109/EMRTS.2003.1212740
M. Delvai, Wolfgang Huber, P. Puschner, A. Steininger
{"title":"Processor support for temporal predictability - the SPEAR design example","authors":"M. Delvai, Wolfgang Huber, P. Puschner, A. Steininger","doi":"10.1109/EMRTS.2003.1212740","DOIUrl":"https://doi.org/10.1109/EMRTS.2003.1212740","url":null,"abstract":"The demand for predictable timing behavior is characteristic for real-time applications. Experience has shown that this property cannot be achieved by software alone but rather requires support from the processor. This situation is analyzed and mapped to a design rationale for SPEAR (Scalable Processor for Embedded Applications in Real-time Environments), a processor that has been designed to meet the specific temporal demands of real-time systems. At the hardware level, SPEAR guarantees interrupt response with minimum temporal jitter and minimum delay. Furthermore, the processor provides an instruction set that only has constant-time instructions. At the software level, SPEAR supports the implementation of temporally predictable code according to the single-path programming paradigm. Altogether, these features support writing of code with minimal jitter and provide the basis for exact temporal predictability. Experimental results show that SPEAR indeed exhibits the anticipated highly predictable timing behavior.","PeriodicalId":120694,"journal":{"name":"15th Euromicro Conference on Real-Time Systems, 2003. Proceedings.","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131138911","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}
引用次数: 47
Establishing timing requirements and control attributes for control loops in real-time systems 建立实时系统中控制回路的时序要求和控制属性
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings. Pub Date : 2003-07-02 DOI: 10.1109/EMRTS.2003.1212735
I. Bate, P. Nightingale, A. Cervin
{"title":"Establishing timing requirements and control attributes for control loops in real-time systems","authors":"I. Bate, P. Nightingale, A. Cervin","doi":"10.1109/EMRTS.2003.1212735","DOIUrl":"https://doi.org/10.1109/EMRTS.2003.1212735","url":null,"abstract":"Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more responsive, more flexible and more maintainable. However, experience has shown that engineers find it difficult to exploit these advantages due o the difficulty in determining the \"real\" timing requirements of systems and therefore the techniques have delivered less benefit than expected. Part of the reason for this is that the models used by engineers when developing systems do not allow for emergent properties such as timing. This paper presents an approach and framework for addressing the problem of identifying an appropriate and valid set of timing requirements and their corresponding control parameters based on a combination of static analysis and simulation.","PeriodicalId":120694,"journal":{"name":"15th Euromicro Conference on Real-Time Systems, 2003. Proceedings.","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132734421","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}
引用次数: 20
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信