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

Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems最新文献

筛选
英文 中文
Atomic broadcast: a case study in locative temporal logic 原子广播:位置时态逻辑的一个案例研究
Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems Pub Date : 1995-04-25 DOI: 10.1109/WPDRTS.1995.470490
M. Wieczorek
{"title":"Atomic broadcast: a case study in locative temporal logic","authors":"M. Wieczorek","doi":"10.1109/WPDRTS.1995.470490","DOIUrl":"https://doi.org/10.1109/WPDRTS.1995.470490","url":null,"abstract":"Locative temporal logic (LTL) has been developed for the specification and verification of distributed real time systems. It is a two-sorted modal logic in the sense that linear time temporal logic has been extended by a locative sort modelling communication networks. In its intended application area, LTL is more intuitive and adequate than other observer-based approaches because it is moulded after the paradigm of an external observer in space and time. To demonstrate the basic ideas and concepts of LTL and to give persuasive power to our claim above, we shall present, in this paper, a suitable version of LTL and provide service and protocol specifications in LTL for the well-known paradigm of atomic broadcast in a distributed real-time system. Finally, rue give some intuition for the correctness proof, i.e., a proof that a distributed real-time program implementing the protocol specification satisfies the service specification.<<ETX>>","PeriodicalId":438550,"journal":{"name":"Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124746029","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
A specification language for parallel real-time systems 并行实时系统的规范语言
Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems Pub Date : 1995-04-25 DOI: 10.1109/WPDRTS.1995.470491
Abhishek Choudhary, V. Gehlot, B. Narahari, M. Benincasa, R. Metzger
{"title":"A specification language for parallel real-time systems","authors":"Abhishek Choudhary, V. Gehlot, B. Narahari, M. Benincasa, R. Metzger","doi":"10.1109/WPDRTS.1995.470491","DOIUrl":"https://doi.org/10.1109/WPDRTS.1995.470491","url":null,"abstract":"Parallel high-performance computing is gaining momentum as a computing platform for many applications. In recent years, the research in software support for parallel computers has mainly addressed scientific and information processing applications. Very little attention has been paid to real-time embedded system requirements on parallel machines. This research investigates some important issues related to designing real-time system software for parallel computers. In this paper, we discuss a formal specification language for real-time systems on parallel architectures. Towards this end we propose the Parallel REal Time SpEcification Language (PRETSEL). We discuss the computation model on which PRETSEL is based, its syntax, its semantics, and its applicability. PRETSEL extends existing algebraic models by providing structured timing constructs, communication primatives and explicit parallelism constructs.<<ETX>>","PeriodicalId":438550,"journal":{"name":"Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130936942","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
Roo: a framework for real-time threads Roo:用于实时线程的框架
Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems Pub Date : 1995-04-25 DOI: 10.1109/WPDRTS.1995.470496
C. Zimmermann, V. Cahill
{"title":"Roo: a framework for real-time threads","authors":"C. Zimmermann, V. Cahill","doi":"10.1109/WPDRTS.1995.470496","DOIUrl":"https://doi.org/10.1109/WPDRTS.1995.470496","url":null,"abstract":"Traditional object-oriented real-time systems are often limited an that they provide only one approach to real-time object support. Taking the increasing demand for flexible and extensible object support environments into account, we discuss the design and implementation of a small object-oriented real-time executive based on a sub-framework which we call Roo. Roo is a component of the Tigger framework (our proposal for an extensible object support operating system) and is intended to support different object models providing soft real-time behaviour. Roo provides support for different mechanisms and policies for real-time thread management, scheduling and synchronization. In this it serves as a basis for other components of the Tigger framework.<<ETX>>","PeriodicalId":438550,"journal":{"name":"Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124537017","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
Testing Ada Annex E-distributed systems 测试Ada附件e分布式系统
Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems Pub Date : 1995-04-25 DOI: 10.1109/WPDRTS.1995.470505
R. D. Powers
{"title":"Testing Ada Annex E-distributed systems","authors":"R. D. Powers","doi":"10.1109/WPDRTS.1995.470505","DOIUrl":"https://doi.org/10.1109/WPDRTS.1995.470505","url":null,"abstract":"With the addition of special needs annexes to Ada 95, the traditional reliance on Ada Compiler Validation Capability style testing may not suffice. This paper explores some alternatives for testing a portion of the Distributed Systems Annex that deals with the method used to communicate between multi-processors in a real-time Ada system.<<ETX>>","PeriodicalId":438550,"journal":{"name":"Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124753344","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
Model-based system development 基于模型的系统开发
Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems Pub Date : 1995-04-25 DOI: 10.1109/WPDRTS.1995.470517
M. Boasson
{"title":"Model-based system development","authors":"M. Boasson","doi":"10.1109/WPDRTS.1995.470517","DOIUrl":"https://doi.org/10.1109/WPDRTS.1995.470517","url":null,"abstract":"Reactive systems, i.e. systems reacting to events in their environment, base their operation on models of the objects of interest in the environment. In the current practice these models are implemented as algorithms ultimately relating observations to actions. This approach results in systems that are rather inflexible and sometimes difficult to maintain. In addition, the different uses made of the various models easily results in built-in inconsistencies, leading to undesirable systems behaviour. An alternative approach is sketched in this short paper in which models are represented explicitly in the system.<<ETX>>","PeriodicalId":438550,"journal":{"name":"Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116409004","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
A study of network routers for real-time parallel computers 实时并行计算机网络路由器的研究
Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems Pub Date : 1995-04-25 DOI: 10.1109/WPDRTS.1995.470485
A. Saha, R. Neogi
{"title":"A study of network routers for real-time parallel computers","authors":"A. Saha, R. Neogi","doi":"10.1109/WPDRTS.1995.470485","DOIUrl":"https://doi.org/10.1109/WPDRTS.1995.470485","url":null,"abstract":"A candidate network function is accurately defined for real-time parallel computers. A concise, time-driven, flit-based, priority-driven, wormhole-routed, network simulator has been designed. Experimentation is performed by monitoring the latency and the throughput with variations in different network parameters. Initially the destination address, message length and message priority are generated randomly with a uniform distribution. Then, various non-uniformities are introduced to mimic realistic applications. Results are plotted and analyzed.<<ETX>>","PeriodicalId":438550,"journal":{"name":"Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131093768","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
Verification of schedulability of real-time systems with extended time Petri nets 用扩展时间Petri网验证实时系统的可调度性
Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems Pub Date : 1995-04-25 DOI: 10.1109/WPDRTS.1995.470489
Y. Okawa, T. Yoneda
{"title":"Verification of schedulability of real-time systems with extended time Petri nets","authors":"Y. Okawa, T. Yoneda","doi":"10.1109/WPDRTS.1995.470489","DOIUrl":"https://doi.org/10.1109/WPDRTS.1995.470489","url":null,"abstract":"Most verification algorithms for schedulability of real-time systems are based on an approximate computation which only considers worst cases. Although they always find correct schedulings, in which any task never violates its deadline, those schedulings are sometimes too strict. In this paper, in order to verify schedulability more precisely we propose a verification method based on the state space traversal of the time Petri net that models the given real-time system and the given scheduling. We also extend time Petri nets in order to model round-robin scheduling easily. Some experimental results obtained by the proposed method are shown.<<ETX>>","PeriodicalId":438550,"journal":{"name":"Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems","volume":"218 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125364981","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
Scheduling tasks in real-time systems using evolutionary strategies 利用进化策略在实时系统中调度任务
Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems Pub Date : 1995-04-25 DOI: 10.1109/WPDRTS.1995.470487
G. Greenwood, C. Lang, S. Hurley
{"title":"Scheduling tasks in real-time systems using evolutionary strategies","authors":"G. Greenwood, C. Lang, S. Hurley","doi":"10.1109/WPDRTS.1995.470487","DOIUrl":"https://doi.org/10.1109/WPDRTS.1995.470487","url":null,"abstract":"Finding feasible schedules for tasks running in hard, real-time distributed computing systems is generally NP-hard. This paper describes a heuristic algorithm using evolutionary strategies. Our results indicate that the evolutionary strategies can find feasible schedules (assuming they exist) in very short periods of time.<<ETX>>","PeriodicalId":438550,"journal":{"name":"Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems","volume":"166 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126173500","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
Fault-tolerant scheduling algorithm for distributed real-time systems 分布式实时系统的容错调度算法
Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems Pub Date : 1995-04-25 DOI: 10.1109/WPDRTS.1995.470501
Tatsuhiro Tsuchiya, Yoshiaki Kakuda, T. Kikuno
{"title":"Fault-tolerant scheduling algorithm for distributed real-time systems","authors":"Tatsuhiro Tsuchiya, Yoshiaki Kakuda, T. Kikuno","doi":"10.1109/WPDRTS.1995.470501","DOIUrl":"https://doi.org/10.1109/WPDRTS.1995.470501","url":null,"abstract":"In a distributed real-time system, tolerance to faults on processing nodes in the system is achieved by means of redundant nodes and a fault-tolerant scheduling algorithm. Since redundant nodes increase total failure rate of the system, the number of such redundant nodes should be small. This paper proposes a procedure for fault-tolerant scheduling, which realizes fault-tolerance via a small number of redundant nodes. The procedure is based on such a technique that allows multiple copies of a task to be executed concurrently. It achieves efficient utilization of nodes by forcing copies being executed to terminate immediately after having obtained the first result of these copies. A fundamental scheduling algorithm, into which the procedure is incorporated, is defined and its simulation results are shown.<<ETX>>","PeriodicalId":438550,"journal":{"name":"Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems","volume":"41 21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126070803","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}
引用次数: 27
Overview of databases requirements for intelligent networks 智能网络对数据库的需求概述
Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems Pub Date : 1995-04-25 DOI: 10.1109/WPDRTS.1995.470493
W. Jonker, L. Nieuwenhuis
{"title":"Overview of databases requirements for intelligent networks","authors":"W. Jonker, L. Nieuwenhuis","doi":"10.1109/WPDRTS.1995.470493","DOIUrl":"https://doi.org/10.1109/WPDRTS.1995.470493","url":null,"abstract":"We discuss requirements and techniques for the service data point (SDP) in intelligent network (IN) architectures in telecommunications systems. The SDP must provide real-time, simultaneous access to high volume databases. We give a short overview of SDP requirements derived from currently developed and future IN telecommunications services.<<ETX>>","PeriodicalId":438550,"journal":{"name":"Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129273614","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学术官方微信