In hard real-time applications, programs must not only be functionally correct but must also meet timing constraints. Unfortunately, little work has been done to allow a high-level incorporation of timing constraints into distributed real-time programs. Instead the programmer is required to ensure system timing through a complicated synchronization process or through low-level programming, making it difficult to create and modify programs. In this report, we describe six features that must be integrated into a high level language and underlying support system in order to promote time to a first class position in distributed real-time programming systems: expressibility of time, real-time communication, enforcement of timing constraints, fa...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
A model for distributed hard real-time programs should incorporate real-time characteristics and be ...
In this paper we propose a dynamic constraint transformation technique for ensuring timing requireme...
In hard real-time applications, programs must not only be functionally correct but must also meet ti...
In hard real-time applications, programs must not only be functionally correct but must also meet ti...
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 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 this paper, we describe a run-time environment for monitoring distributed real-time systems. In p...
This paper presents language constructs for the expression of timing and concurrency requirements in...
Embedded real-time systems often operate under strict timing and dependability constraints. To ensur...
In distributed real-time systems, communicating processes cannot be delayed for arbitrary amounts of...
In this paper we describe a solution to the problem of implementing time-optimal evaluation of timin...
To date, research in reasoning about timing properties of real-time programs has considered specific...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
A model for distributed hard real-time programs should incorporate real-time characteristics and be ...
In this paper we propose a dynamic constraint transformation technique for ensuring timing requireme...
In hard real-time applications, programs must not only be functionally correct but must also meet ti...
In hard real-time applications, programs must not only be functionally correct but must also meet ti...
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 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 this paper, we describe a run-time environment for monitoring distributed real-time systems. In p...
This paper presents language constructs for the expression of timing and concurrency requirements in...
Embedded real-time systems often operate under strict timing and dependability constraints. To ensur...
In distributed real-time systems, communicating processes cannot be delayed for arbitrary amounts of...
In this paper we describe a solution to the problem of implementing time-optimal evaluation of timin...
To date, research in reasoning about timing properties of real-time programs has considered specific...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
A model for distributed hard real-time programs should incorporate real-time characteristics and be ...
In this paper we propose a dynamic constraint transformation technique for ensuring timing requireme...