Pub Date : 1995-04-25DOI: 10.1109/WPDRTS.1995.470490
M. Wieczorek
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.<>
{"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}
Pub Date : 1995-04-25DOI: 10.1109/WPDRTS.1995.470491
Abhishek Choudhary, V. Gehlot, B. Narahari, M. Benincasa, R. Metzger
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.<>
{"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}
Pub Date : 1995-04-25DOI: 10.1109/WPDRTS.1995.470496
C. Zimmermann, V. Cahill
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.<>
{"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}
Pub Date : 1995-04-25DOI: 10.1109/WPDRTS.1995.470505
R. D. Powers
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.<>
{"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}
Pub Date : 1995-04-25DOI: 10.1109/WPDRTS.1995.470517
M. Boasson
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.<>
{"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}
Pub Date : 1995-04-25DOI: 10.1109/WPDRTS.1995.470485
A. Saha, R. Neogi
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.<>
{"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}
Pub Date : 1995-04-25DOI: 10.1109/WPDRTS.1995.470489
Y. Okawa, T. Yoneda
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.<>
{"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}
Pub Date : 1995-04-25DOI: 10.1109/WPDRTS.1995.470487
G. Greenwood, C. Lang, S. Hurley
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.<>
{"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}
Pub Date : 1995-04-25DOI: 10.1109/WPDRTS.1995.470501
Tatsuhiro Tsuchiya, Yoshiaki Kakuda, T. Kikuno
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.<>
{"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}
Pub Date : 1995-04-25DOI: 10.1109/WPDRTS.1995.470493
W. Jonker, L. Nieuwenhuis
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.<>
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：