For many distributed applications, it is not sufficient for programs to be logically correct. In addition, they must satisfy various timing constraints. This paper discusses primitives that support the construction of distributed real-time programs. Our discussion is focused in two areas: timing specification and communication. To allow the specifications of timing constraints, we introduce the language constructs for defining temporal scope and specifying message deadline. We also identify communication primitives needed for real-time programming. The issues underlying the selection of the primitives are explained, including handling of timing exceptions. The primitives will eventually be provided as part of a distributed programming syste...
This paper summarises, in tabular form, the results of a wide-ranging survey of specification langua...
We have developed and implemented the RTC language constructs and run-time system to support both ti...
Many distributed real-time applications are structured as a set of processes communicating through s...
For many distributed applications, it is not sufficient for programs to be logically correct. In add...
In this paper, we present a model and language constructs for a distributed real-time system with th...
In hard real-time applications, programs must not only be functionally correct but must also meet ti...
This paper presents language constructs for the expression of timing and concurrency requirements in...
In hard real-time applications, programs must not only be functionally correct but must also meet ti...
In this paper we propose a method for extending programming languages that enables the specification...
This paper presents language constructs for the expression of timing and concurrency requirements in...
In distributed real-time systems, communicating processes cannot be delayed for arbitrary amounts of...
A distributed programming system designed to support the construction and execution of a real-time d...
RTC: Language Support For Real-Time Concurrency This paper presents language constructs for the expr...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
The timing behavior of a real-time system depends not only on delays due to process synchronization,...
This paper summarises, in tabular form, the results of a wide-ranging survey of specification langua...
We have developed and implemented the RTC language constructs and run-time system to support both ti...
Many distributed real-time applications are structured as a set of processes communicating through s...
For many distributed applications, it is not sufficient for programs to be logically correct. In add...
In this paper, we present a model and language constructs for a distributed real-time system with th...
In hard real-time applications, programs must not only be functionally correct but must also meet ti...
This paper presents language constructs for the expression of timing and concurrency requirements in...
In hard real-time applications, programs must not only be functionally correct but must also meet ti...
In this paper we propose a method for extending programming languages that enables the specification...
This paper presents language constructs for the expression of timing and concurrency requirements in...
In distributed real-time systems, communicating processes cannot be delayed for arbitrary amounts of...
A distributed programming system designed to support the construction and execution of a real-time d...
RTC: Language Support For Real-Time Concurrency This paper presents language constructs for the expr...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
The timing behavior of a real-time system depends not only on delays due to process synchronization,...
This paper summarises, in tabular form, the results of a wide-ranging survey of specification langua...
We have developed and implemented the RTC language constructs and run-time system to support both ti...
Many distributed real-time applications are structured as a set of processes communicating through s...