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

Proceedings Seventh Euromicro Workshop on Real-Time Systems最新文献

筛选
英文 中文
Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems 分布式实时系统的混合规范和形式化分布式异构原型
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514311
Nabil Zakhama, P. Estraillier
{"title":"Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems","authors":"Nabil Zakhama, P. Estraillier","doi":"10.1109/EMWRTS.1995.514311","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514311","url":null,"abstract":"The Boehm spiral model is a generic risk-driven software development model. The design of low level risk elements is postponed until the high risk elements are stabilized. The Spiral model accommodates to rapid prototyping to solve various risk kinds. It also accommodates to incremental distributed heterogeneous prototyping to support concurrent engineering, which may be organized around subsystems and/or levels of risk. The approach presented in this paper supports rapid prototyping through target code generation, and incremental distributed heterogeneous prototyping via interconnection of high level models (SA/RT-VDM-SL) to generated target code (Ada). The approach is formal, suitable for the development of real-time systems and enables validation twofolds. Formal verification of a kernel low level notation specification, and simulation testing based validation of the high level notation specification.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124285194","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
Incremental Experimentation: a methodology for designing and analyzing distributed safety-critical systems 增量实验:一种设计和分析分布式安全关键系统的方法
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514329
H. Wedde, J. Lind, A. Eiss
{"title":"Incremental Experimentation: a methodology for designing and analyzing distributed safety-critical systems","authors":"H. Wedde, J. Lind, A. Eiss","doi":"10.1109/EMWRTS.1995.514329","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514329","url":null,"abstract":"In safety-critical systems requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to unpredictable environmental needs the trade-off between measures to accommodate the conflicting objectives has to adapt to the external situation. Finally there cannot be any closed-form (formal) approach taking care at the same time of the (external) time constraints or deadlines, and the synchronization requirements in the distributed design. These two aspects are causally independent. In this situation we worked out a heuristic experimental, performance-driven and performance-based methodology that allows in an educated way to start with a coarse system model, with accurate expectations regarding its behavior. Through experiments these expectations are validated. We termed this methodology Incremental Experimentation, and demonstrated its use for our prototypal operating system MELODY.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114308769","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
Issues in schedulability analysis of real-time systems 实时系统可调度性分析中的问题
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514297
R. Yerraballi, R. Mukkamala, K. Maly, H. Abdel-Wahab
{"title":"Issues in schedulability analysis of real-time systems","authors":"R. Yerraballi, R. Mukkamala, K. Maly, H. Abdel-Wahab","doi":"10.1109/EMWRTS.1995.514297","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514297","url":null,"abstract":"Due to the critical nature of real-time systems, there is an ever growing burden on the designer to not only guarantee that the tasks would meet their deadlines at design time, but would continue to do so as the system evolves. This implies that the schedulability analysis has to he robust. We identify the sensitivity of schedulability analysts to the task execution times. The impact this parameter has on the schedulability analyses is captured by formulating a general scaling problem. This problem is shown to relate to the problems of scalability, portability and execution time estimation. A technique to solve this general problem is developed. A proof of correctness and optimality of the technique is presented.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132171571","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}
引用次数: 24
Dynamic replacement of software in hard real-time systems: practical assessment 硬实时系统中软件的动态替换:实用评估
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514288
A. Alonso, Ignacio Casillas, J. A. Puente
{"title":"Dynamic replacement of software in hard real-time systems: practical assessment","authors":"A. Alonso, Ignacio Casillas, J. A. Puente","doi":"10.1109/EMWRTS.1995.514288","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514288","url":null,"abstract":"There are systems that cannot be stopped without losses. However, these systems require modifications during their operational life. Dynamic software replacement is a mechanism that allows components updating without stopping the whole system. The paper deals with dynamic replacement in hard real time systems. A protocol for dynamic replacement of software components in embedded hard real time systems was described and proved theoretically. In order to assess it practically, an implementation of the most critical aspects of this protocol has been carried out. Special attention has been devoted to ensure that the protocol does not interfere with the fulfillment of the deadlines of the real time processes and that the schedulability test can be applied.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116426648","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
A multi-agent distributed real-time system for a microprocessor field-bus network 微处理器现场总线网络的多智能体分布式实时系统
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514325
G. Schrott
{"title":"A multi-agent distributed real-time system for a microprocessor field-bus network","authors":"G. Schrott","doi":"10.1109/EMWRTS.1995.514325","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514325","url":null,"abstract":"A new conception of a multi agent distributed real time system (MAD-RTS) is presented, comprising compiler, operating system kernel and communication tools. It allows for a uniform programming of complex process control systems on a microprocessor field bus network. The key idea is to decompose the whole control task into small execution units, called agents which communicate by sending and executing contracts. The specification of the agents is done in an hardware independent language using the notion of states and guarded commands. At compile time the agents are distributed to specified target microprocessors. The system automatically translates each agent to the particular code and realizes the communication between the agents either on the same processor or through the field bus.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"142 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124885930","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}
引用次数: 10
Simulation of real time scheduling at design levels 设计层面的实时调度仿真
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514304
Juan C. Dueñas, G. León
{"title":"Simulation of real time scheduling at design levels","authors":"Juan C. Dueñas, G. León","doi":"10.1109/EMWRTS.1995.514304","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514304","url":null,"abstract":"Real time systems (RTS) development adds-at least-two complexity factors to the traditional development tasks: time and resource constraints, and differences between development and final architecture. They make the development cycle longer. The paper presents one use of the well known formalism called High Level Time Petri nets (HLTPN) applied to the design of RTS in the form of subnets that can be easily attached to any functional specification given in Petri net terms, in order to include timing and resource allocation information early on in the development. Thus, creating a model of timing and resources available at the final architecture; it is feasible to validate them before generating the implementation code, and to obtain results about timing, scheduling and resource allocation at a previous stage in the development cycle. The results of the timing validation can be applied to the implementation code, or more cycle design/evaluations can be performed until a satisfactory alternative is found. The contribution of the paper can be included in the design level for RTS, although the solution is general enough to be applied to more specific fields, like embedded systems, hardware/software codesign, etc.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131326418","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
Hybrid algorithms for dynamic schedulability testing 动态可调度性测试的混合算法
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514319
C. McElhone, A. Burns, Robert I. Davis
{"title":"Hybrid algorithms for dynamic schedulability testing","authors":"C. McElhone, A. Burns, Robert I. Davis","doi":"10.1109/EMWRTS.1995.514319","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514319","url":null,"abstract":"The paper describes an investigation into the performance of a variety of algorithms for dynamic schedulability testing. A real time node may run its own set of resident periodic tasks and may also receive aperiodic requests for computations to be completed within hard deadlines. In order to decide whether each request is schedulable, and can therefore be accepted, the node may use a guarantee algorithm. Such algorithms trade off complexity against pessimism. The paper describes how algorithms of hybrid complexity can achieve the best trade off for given characteristics of the resident periodic task set.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121305540","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
One solution for the non-determinism problem in the SCEPTRE 2 fault tolerance technique 一种解决sceptre2容错技术中不确定性问题的方法
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514332
S. Bestaoui
{"title":"One solution for the non-determinism problem in the SCEPTRE 2 fault tolerance technique","authors":"S. Bestaoui","doi":"10.1109/EMWRTS.1995.514332","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514332","url":null,"abstract":"SCEPTRE 2 is a normative report on the basic mechanisms of the real-time executive kernels. No fault tolerance technique exists in its current version. So, in order to develop fault tolerant real time applications, redundancy management service must be provided. In this paper we present the difficulties we have found during the implementation of fault tolerance in SCEPTRE 2. These difficulties are principally due to the non determinism present in SCEPTRE 2. So our objective in this paper is to present the solution we propose for the resolution of this problem. Our approach to fault tolerance is based upon the replication of capsules on distinct sites. The adopted replication strategy is the semi-active redundancy.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116219086","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
Scheduling complex real-time tasks in an embedded distributed system 嵌入式分布式系统中复杂实时任务的调度
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514293
L. Maillet, C. Fraboul
{"title":"Scheduling complex real-time tasks in an embedded distributed system","authors":"L. Maillet, C. Fraboul","doi":"10.1109/EMWRTS.1995.514293","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514293","url":null,"abstract":"Most current real time scheduling algorithms allocate the processing unit independently of other resources. Some of them integrate processing unit and passive resource allocation to avoid deadlocks or data coherency failures, but the proposed mechanisms often rely on the access to shared control variables (e.g. semaphores) and have been mainly implemented in monoprocessor contexts. Moreover, they use over reservation extensively, which reduces overall system disponibility. Embedded real time systems often require a distributed architecture for flexibility and disponibility reasons and a more complex task model: real time tasks must be able to communicate, synchronize, and access distributed resources. We propose cooperation mechanisms between distributed local monitors that allow coordination between processing unit allocation, intertask communication synchronization, and resource allocation. The paper outlines the main characteristics of the resulting monitor architecture.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133902277","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
Using TOOMS/TROL for specifying a cellular phone 使用TOOMS/TROL指定手机
Proceedings Seventh Euromicro Workshop on Real-Time Systems Pub Date : 1995-06-14 DOI: 10.1109/EMWRTS.1995.514291
G. Bucci, P. Nesi
{"title":"Using TOOMS/TROL for specifying a cellular phone","authors":"G. Bucci, P. Nesi","doi":"10.1109/EMWRTS.1995.514291","DOIUrl":"https://doi.org/10.1109/EMWRTS.1995.514291","url":null,"abstract":"Dual models tend to integrate operational and descriptive (i.e., denotational) capabilities in a single powerful method. TROL is an object oriented dual language and model expressively defined for the specification of real time systems. It is supported by the CASE tool TOOMS which is documented in the literature. The TOOMS/TROL model allows one to describe the system at different levels of structural abstraction, and at different levels of specification detail without boundaries among the specification steps. It also supports the verification of consistency at each level of specification, thus allowing the incremental system specification. The experience in using the TOOMS/TROL tool and model for specifying a real time system-i.e., a cellular phone-is reported.","PeriodicalId":156501,"journal":{"name":"Proceedings Seventh Euromicro Workshop on Real-Time Systems","volume":"255 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122642460","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
下一页 尾页
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学术官方微信