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

Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)最新文献

筛选
英文 中文
A non-temporized approach for temporized analysis 一种用于临时分析的非临时方法
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) Pub Date : 1998-06-17 DOI: 10.1109/EMWRTS.1998.685080
F. Calzolari, M. Pezzè
{"title":"A non-temporized approach for temporized analysis","authors":"F. Calzolari, M. Pezzè","doi":"10.1109/EMWRTS.1998.685080","DOIUrl":"https://doi.org/10.1109/EMWRTS.1998.685080","url":null,"abstract":"Real-time critical systems require extensive analysis. The potentially considerable damage caused by failures of real-time critical systems justify the use of expensive verification techniques, such as timed reachability analysis. Unfortunately the cost of timed reachability analysis inhibits its systematic application at the early stages of development, when long verification sessions could slow down the development process. Moreover the large reachability space for proving temporal properties reduces the size of specification for which timed reachability analysis can be applied. The authors show how reachability analysis of the nontemporized underlying Petri net can reduce the size of timed reachability analysis. In this way, timed reachability analysis can be used for analyzing industrial-size safety critical systems, paying an acceptable overhead.","PeriodicalId":318810,"journal":{"name":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117122655","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
XTG-an engineering approach to modelling and analysis of real-time systems xtg—实时系统建模和分析的工程方法
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) Pub Date : 1998-06-17 DOI: 10.1109/EMWRTS.1998.685072
M. Ammerlaan, R. L. Spelberg, H. Toetenel
{"title":"XTG-an engineering approach to modelling and analysis of real-time systems","authors":"M. Ammerlaan, R. L. Spelberg, H. Toetenel","doi":"10.1109/EMWRTS.1998.685072","DOIUrl":"https://doi.org/10.1109/EMWRTS.1998.685072","url":null,"abstract":"The paper addresses the ongoing research on verification and simulation of real time systems at SEPC. The approach taken is an engineering approach dedicated to tool development aiming at a wider dissemination of formal methods and techniques in industrial application. The tool environment under construction TVS, is dedicated to formal verification and simulation of real time systems. TVS comprises language front ends for both specification and implementation languages, a verification notation XTG and a simulation language SL. XTG is a new formalism for describing real time systems. It is an engineering notation based on timed automata aimed at providing a simple representation for high level specification languages. By translating a high level specification into an XTG system, a representation is obtained that better suits the application of automatic verification and simulation techniques. XTG is suited as concrete representation for languages that allow extensive modeling of data, have a maximal progress semantics, and model interprocess communication by value passing through data channels.","PeriodicalId":318810,"journal":{"name":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115293709","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
ETHNOS-a real time programming environment for robotic systems ethnos -机器人系统的实时编程环境
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) Pub Date : 1998-06-17 DOI: 10.1109/EMWRTS.1998.685091
M. Piaggio
{"title":"ETHNOS-a real time programming environment for robotic systems","authors":"M. Piaggio","doi":"10.1109/EMWRTS.1998.685091","DOIUrl":"https://doi.org/10.1109/EMWRTS.1998.685091","url":null,"abstract":"A great number of applications for robotic systems and, in particular, for mobile vehicles, require the ability to handle highly dynamic environments such as those typically involving human activity. In order to operate correctly, the systems are subject to many different timing constraints coming from many different sources: hardware, software and human intervention. In embedded systems, these real-time constraints are often dealt with ad hoc solutions that, as a consequence, cannot evolve or be adapted in any way. In contrast to this approach, the author believes that support both at the architectural, programming and operating system level, especially designed for this specific field of applications, is essential to the development of adaptive intelligent robotic systems. The paper tackles this problem, presenting a programming environment called ETHNOS (Expert Tribe in a Hybrid Network Operating System) that has been successfully used to develop autonomous robots operating in civil environments.","PeriodicalId":318810,"journal":{"name":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126683620","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
Facilitating worst-case execution times analysis for optimized code 促进优化代码的最坏情况执行时间分析
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) Pub Date : 1998-06-17 DOI: 10.1109/EMWRTS.1998.685079
Jakob Engblom, Andreas Ermedahl, P. Altenbernd
{"title":"Facilitating worst-case execution times analysis for optimized code","authors":"Jakob Engblom, Andreas Ermedahl, P. Altenbernd","doi":"10.1109/EMWRTS.1998.685079","DOIUrl":"https://doi.org/10.1109/EMWRTS.1998.685079","url":null,"abstract":"The authors present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-case execution time (WCET) analysis. Their approach is designed to handle the problems introduced by optimizing compilers, i.e. that the structure of the object code is very different from the structure of the source code. The co-transformer allows one to keep track of how different compiler transformations, including optimizations, influence the execution time of a program. This allows one to statically calculate the execution time of a program at the object code level, using information about the program execution obtained at the source code level.","PeriodicalId":318810,"journal":{"name":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130440727","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}
引用次数: 63
Integration of task scheduling and file services in the safety-critical system MELODY 任务调度和文件服务在安全关键系统MELODY中的集成
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) Pub Date : 1998-06-17 DOI: 10.1109/EMWRTS.1998.684935
H. Wedde, J. Lind
{"title":"Integration of task scheduling and file services in the safety-critical system MELODY","authors":"H. Wedde, J. Lind","doi":"10.1109/EMWRTS.1998.684935","DOIUrl":"https://doi.org/10.1109/EMWRTS.1998.684935","url":null,"abstract":"The distributed operating system MELODY, was developed for supporting safety critical applications in unpredictable environments. Requirements for safety and reliability have to be accommodated, as well as things like real time responsiveness. All features have to be adaptive. While developing MELODY through a number of different phases, we created a heuristic experimental, performance-relate methodology termed Incremental experimentation. Based on this novel system building approach as well as on preliminary simulation studies for non critical tasks, the focus of the paper is on different policies of file server and task scheduler integration. This is a central issue in the MELODY concept due to the specific problems of distributed file management (where copies of different \"quality\" are dynamically distributed over the sites). We establish three integration policies: the Periodic, Joined, and Adjusted models, and we comparatively evaluate them in distributed environments. In particular the significant results for critical task profiles are presented and discussed.","PeriodicalId":318810,"journal":{"name":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","volume":"82 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131983858","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
Dynamic disk bandwidth management and metadata pre-fetching in a real-time file system 实时文件系统中的动态磁盘带宽管理和元数据预取
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) Pub Date : 1998-06-17 DOI: 10.1109/EMWRTS.1998.685086
A. Molano, R. Rajkumar, K. Juvva
{"title":"Dynamic disk bandwidth management and metadata pre-fetching in a real-time file system","authors":"A. Molano, R. Rajkumar, K. Juvva","doi":"10.1109/EMWRTS.1998.685086","DOIUrl":"https://doi.org/10.1109/EMWRTS.1998.685086","url":null,"abstract":"The authors focus on two practical considerations that arise in the design of a real-time file system. Firstly, disk bandwidth management should be dynamic, which in turn would allow a QoS manager to dynamically reallocate disk bandwidth to running applications based on their changing needs. Secondly, real-time access to file system data structures should be deterministic, in order to avoid unexpected latencies when accessing files from disk. These issues have implications to the design of the file system and to its schedulability analysis. They address both these problems and present an implementation in RTFS (Real-Time Filesystem Server), a real-time file system supporting disk bandwidth reservation running on top of the Real-Time Mach microkernel. Finally, quantitative comparisons of actual achieved file system bandwidth and response times are used to validate the approach.","PeriodicalId":318810,"journal":{"name":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133228525","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}
引用次数: 7
Schedulability analysis for mode changes in flexible real-time systems 柔性实时系统模式变化的可调度性分析
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) Pub Date : 1998-06-17 DOI: 10.1109/EMWRTS.1998.685082
P. Pedro, A. Burns
{"title":"Schedulability analysis for mode changes in flexible real-time systems","authors":"P. Pedro, A. Burns","doi":"10.1109/EMWRTS.1998.685082","DOIUrl":"https://doi.org/10.1109/EMWRTS.1998.685082","url":null,"abstract":"One important requirement of many real-time systems is the ability to undergo several mutually exclusive modes of operation. By means of a mode change the system changes its functionality over time, thus being able to adapt to changing environmental situations. In order to successfully include mode changes in real-time systems, a mode change protocol with well known real-time behaviour is necessary. The authors provide a new model and related schedulability analysis for mode changes in flexible real-time systems.","PeriodicalId":318810,"journal":{"name":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","volume":"830 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123081319","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}
引用次数: 96
Routing and admission control of real-time channels 实时信道的路由和接纳控制
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) Pub Date : 1998-06-17 DOI: 10.1109/EMWRTS.1998.685075
R. Yerraballi, R. Mukkamala
{"title":"Routing and admission control of real-time channels","authors":"R. Yerraballi, R. Mukkamala","doi":"10.1109/EMWRTS.1998.685075","DOIUrl":"https://doi.org/10.1109/EMWRTS.1998.685075","url":null,"abstract":"Two important aspects that any study of message communication has to address are routing and admission control. The routing problem seeks to find a route for a channel and admission control involves assessing the ability to meet the demands of a channel along the chosen route. Most efforts in the area of real-time communication have been directed, primarily towards the admission control problem, not many have been targeted rewards the routing problem. The authors show that these two problems are inter-related. They address these two problems in a general framework that can abstract many practical scenarios. They assume the use of an arbitrary dynamic/fixed priority link level scheduling, thereby increasing the utility of the derived results. Their approaches for both routing and admission control are based on extending a result we have derived in a different context, viz., task scalability. A simulation study, was performed to study the effectiveness of their approach in improving both utilization of the link and admissibility of channels.","PeriodicalId":318810,"journal":{"name":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115856981","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 recurring branching tasks 重复分支任务的可行性分析
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) Pub Date : 1998-06-17 DOI: 10.1109/EMWRTS.1998.685078
Sanjoy Baruah
{"title":"Feasibility analysis of recurring branching tasks","authors":"Sanjoy Baruah","doi":"10.1109/EMWRTS.1998.685078","DOIUrl":"https://doi.org/10.1109/EMWRTS.1998.685078","url":null,"abstract":"A new model for hard-real-time tasks-the recurring branching task model-is introduced, which is capable of modelling some restricted forms of conditional real-time process code. This model generalizes earlier models such as the sporadic task model and the generalized multiframe task model. It is shown that feasibility analysis in this model-determining whether a system of several recurring branching tasks that share a processor can all be scheduled to always meet all deadlines-can be performed efficiently, in pseudo-polynomial time.","PeriodicalId":318810,"journal":{"name":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","volume":"160 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122079579","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}
引用次数: 59
On the scheduling of real-time multihop packet-switching networks 实时多跳分组交换网络的调度研究
Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) Pub Date : 1998-06-17 DOI: 10.1109/EMWRTS.1998.685076
R. Cayssials, Jorge Santos, J. Orozco, E. Ferro
{"title":"On the scheduling of real-time multihop packet-switching networks","authors":"R. Cayssials, Jorge Santos, J. Orozco, E. Ferro","doi":"10.1109/EMWRTS.1998.685076","DOIUrl":"https://doi.org/10.1109/EMWRTS.1998.685076","url":null,"abstract":"The purpose of the paper is to present a method to validate tentative routes to establish calls with end-to-end timing-constraints in a multihop packet-switching network. Timing release counters are proposed as a mechanism to guarantee that intervals between consecutive releases of messages of the same call are not shorter than the call period. A comparative evaluation of the proposed timing release counters vs. the alternative method of stop-and-go queues is performed.","PeriodicalId":318810,"journal":{"name":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122963684","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
首页 上一页 下一页 尾页
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学术官方微信