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

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems最新文献

筛选
英文 中文
Design of a learning fuzzy production system to solve an NP-hard real-time assignment problem 求解NP-hard实时分配问题的学习模糊生产系统设计
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems Pub Date : 1996-06-12 DOI: 10.1109/EMWRTS.1996.557845
J. Orozco, R. Cayssials, Jorge Santos, E. Ferro
{"title":"Design of a learning fuzzy production system to solve an NP-hard real-time assignment problem","authors":"J. Orozco, R. Cayssials, Jorge Santos, E. Ferro","doi":"10.1109/EMWRTS.1996.557845","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557845","url":null,"abstract":"This paper presents the design of a learning fuzzy production system to solve an NP-hard problem consisting of a set of real-time preemptible tasks to be assigned to a set of heterogeneous processors, with placement, resource, communications and time constraints. Time to obtain the first solution and the number of solutions found for different known problems are given.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133208316","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
Validating the design of real-time systems using a formal specification method 使用形式化规范方法验证实时系统的设计
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems Pub Date : 1996-06-12 DOI: 10.1109/EMWRTS.1996.557787
F. Buendía-García, J. Vila-Carbó
{"title":"Validating the design of real-time systems using a formal specification method","authors":"F. Buendía-García, J. Vila-Carbó","doi":"10.1109/EMWRTS.1996.557787","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557787","url":null,"abstract":"This paper proposes a method for validating the design of a real-time system. The method is based on the formal specification of the target system and the verification of its timing requirements. The main contribution consists in introducing the design issues (e.g. the tasks parameters or the scheduling algorithm) in the system specification. It will allow to check how these design issues may affect the stated timing requirements.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116515130","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
Extension of scheduling algorithms in case of conditional or parametric synchronisation relationships 条件或参数同步关系下调度算法的扩展
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems Pub Date : 1996-06-12 DOI: 10.1109/EMWRTS.1996.557797
Jean-Philippe Babau, F. Cottet
{"title":"Extension of scheduling algorithms in case of conditional or parametric synchronisation relationships","authors":"Jean-Philippe Babau, F. Cottet","doi":"10.1109/EMWRTS.1996.557797","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557797","url":null,"abstract":"A hard real time system is composed of a set of tasks with hard deadlines. Real time scheduling algorithms are used to evaluate the priorities of the tasks and then to drive the validation. To realise the priority mapping, it is necessary to obtain a set of temporal and relational characteristics. We compute precedence constraints in case of conditional and parametric synchronisation relationships. Then, we apply the scheduling algorithms and we carry out the validation based on realistic execution modes of the tasks.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121324908","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
Real-time issues in advanced robotics applications 先进机器人应用中的实时问题
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems Pub Date : 1996-06-12 DOI: 10.1109/EMWRTS.1996.557843
G. Buttazzo
{"title":"Real-time issues in advanced robotics applications","authors":"G. Buttazzo","doi":"10.1109/EMWRTS.1996.557843","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557843","url":null,"abstract":"The aim of this paper is to discuss some important real-time issues involved in the design of complex robotic applications. In particular the problem of evaluating why and when a robotics application needs real-time computing is discussed first. The second issue concerns the definition of time constraints for each task of the robot. We show how time constraints, such as periods and deadlines, can be derived from the application, even though they are not explicitly specified in the requirements. As a third issue, we describe a general hierarchical control architecture, which can be built on top of a real-time system, to greatly simplify the development of complex robotics applications having real-time requirements.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126264038","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}
引用次数: 15
Context reorder buffer: an architectural support for real-time processing on RISC architectures 上下文重排序缓冲区:在RISC架构上支持实时处理的架构
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems Pub Date : 1996-06-12 DOI: 10.1109/EMWRTS.1996.557937
Pierguido V. C. Caironi, L. Mezzalira, M. Sami
{"title":"Context reorder buffer: an architectural support for real-time processing on RISC architectures","authors":"Pierguido V. C. Caironi, L. Mezzalira, M. Sami","doi":"10.1109/EMWRTS.1996.557937","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557937","url":null,"abstract":"In this article the authors present a hardware solution to the problem of precise interrupts and exceptions in superscalar RISC CPU architectures. This solution, called context reorder buffer (abbreviated as CRB), is based both on the reorder buffer architecture presented by Smith and Pleszkun in (1988), and on the concept of context, whose application to interrupt processing is an original idea of this work. The CRB architecture assures precise nested interrupts and exceptions, minimal interrupt fetching latency and high throughput. Moreover, our architecture supports speculative execution of depth limited only by the number of entries within the CRB and does not require a change to the current programming model of RISC and real-time CPUs.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115661500","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}
引用次数: 1
Conjunction of synchronous and asynchronous languages for reactive programming 结合同步和异步语言进行响应式编程
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems Pub Date : 1996-06-12 DOI: 10.1109/EMWRTS.1996.557944
Martin Richard, O. Roux
{"title":"Conjunction of synchronous and asynchronous languages for reactive programming","authors":"Martin Richard, O. Roux","doi":"10.1109/EMWRTS.1996.557944","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557944","url":null,"abstract":"In the framework of reactive programming, we examine the complementarity between the synchronous and asynchronous approaches. Some issues related to the synchrony assumption of the Esterel language are highlighted. We claim that it is possible to obtain asynchronous features (e.g. lengthening actions and memorized events) while keeping the benefits of the synchronous approach (e.g. proofs on the correctness of behaviors). From this comparison, principles are derived in order to translate the asynchronous Electre programs into the common code of the reactive languages (using the Esterel synchronous language). Furthermore, the idea of a mixed programming style is presented. It makes it possible to write programs consisting with a synchronous part together with an asynchronous part. Some aspects of this new approach called ambisynchronism are illustrated through an example.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125624423","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}
引用次数: 2
Feasibility analysis of fault-tolerant real-time task sets 容错实时任务集的可行性分析
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems Pub Date : 1996-06-12 DOI: 10.1109/EMWRTS.1996.557785
A. Burns, Robert I. Davis, S. Punnekkat
{"title":"Feasibility analysis of fault-tolerant real-time task sets","authors":"A. Burns, Robert I. Davis, S. Punnekkat","doi":"10.1109/EMWRTS.1996.557785","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557785","url":null,"abstract":"Many safety critical real-time systems, employ fault tolerant strategies in order to provide predictable performance in the presence of failures. One technique commonly employed is time redundancy using retry/re-execution of tasks. This can in turn affect the correctness of the system by causing deadlines to be missed. This paper provides exact schedulability tests for fault tolerant task sets under specified failure hypothesis.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127051918","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}
引用次数: 147
The MORIS control system MORIS控制系统
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems Pub Date : 1996-06-12 DOI: 10.1109/EMWRTS.1996.557818
P. Ancilotti, G. Buttazzo, M. Natale, M. Bizzarri
{"title":"The MORIS control system","authors":"P. Ancilotti, G. Buttazzo, M. Natale, M. Bizzarri","doi":"10.1109/EMWRTS.1996.557818","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557818","url":null,"abstract":"We present a real-time computer architecture dedicated to the control of a motorbike simulator. The proposed system is being developed within the MORIS Esprit project, for a multimedia control application. In this work, we focus our attention on the hard real-time aspects of the control system, by addressing both the design issues of the operating system kernel for achieving predictable response time in all workload conditions and the tools of the development environment used as a support for the implementation of the control application.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122770219","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}
引用次数: 1
An embedded accelerator for real-time image processing 用于实时图像处理的嵌入式加速器
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems Pub Date : 1996-06-12 DOI: 10.1109/EMWRTS.1996.557821
R. Hartenstein, J. Becker, R. Kress
{"title":"An embedded accelerator for real-time image processing","authors":"R. Hartenstein, J. Becker, R. Kress","doi":"10.1109/EMWRTS.1996.557821","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557821","url":null,"abstract":"The paper presents an embedded reconfigurable accelerator called Xputer, comprising a novel kind of sequencer hardware (data sequencer). For many real-time signal processing, multimedia, and other high-performance applications this new data-driven architecture increases the performance of a single processor system enormously by integrating it as a co-processor for accelerating computation-intensive parts of an application. The reconfigurable architecture and programming environment is described. Its use is illustrated with an automotive application requiring real-time image processing.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122132323","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}
引用次数: 11
Closed world specification of embedded real-time controllers 嵌入式实时控制器的封闭世界规范
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems Pub Date : 1996-06-12 DOI: 10.1109/EMWRTS.1996.557887
K. Brink, L. Bun, J. Katwijk, H. Toetenel
{"title":"Closed world specification of embedded real-time controllers","authors":"K. Brink, L. Bun, J. Katwijk, H. Toetenel","doi":"10.1109/EMWRTS.1996.557887","DOIUrl":"https://doi.org/10.1109/EMWRTS.1996.557887","url":null,"abstract":"We propose integrated engineering of embedded controllers where process control engineering (PCE) and software engineering (SWE) are fully integrated into one process of development. The PCE products are transformed into a formal hybrid specification language, H-ASTRAL, an extension of ASTRAL currently being developed at TU Delft, which enables the specification of closed models, such that both the discrete controller and the continuous controlled system are modeled in H-ASTRAL. The H-ASTRAL specification can be simulated and is starting point for implementation. In our approach the abstract closed-world specification is transformed into a concrete open-world model, in which the continuous mathematical model of the controlled process is replaced with the interface to reality. The paper reports on work in progress, summarizes the approach and discusses a real-world example.","PeriodicalId":262733,"journal":{"name":"Proceedings of the Eighth Euromicro Workshop on Real-Time Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131395967","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}
引用次数: 1
首页 上一页 下一页 尾页
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学术官方微信