Concurrent C, is a parallel superset of C (and of C++) that provides facilities such as specifying timeouts during process interactions, delaying program execution, accepting messages in a user-specified order, and asynchronous messages that can be used for writing real-time programs. However, Concurrent C does not provide facilities for specifying strict timing constraints, e.g., Concurrent C only ensures that the lower bounds on the specified delay and timeout periods are satisfied. Real-Time Concurrent C extends Concurrent C by providing facilities to specify periodicity or deadline constraints, to seek guarantees that timing constraints will be met, and to perform alternative actions when either the timing constraints cannot be met or ...
Abstract. Concurrent objects encapsulate a processor each and com-municate by asynchronous message p...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
This paper describes a general model for pre-run-time scheduling of distributed real-time systems th...
This paper presents language constructs for the expression of timing and concurrency requirements in...
In this paper, we present a model and language constructs for a distributed real-time system with th...
RTC: Language Support For Real-Time Concurrency This paper presents language constructs for the expr...
For many distributed applications, it is not sufficient for programs to be logically correct. In add...
. In this paper, we describe an approach to the representation, specification and implementation of ...
This paper presents language constructs for the expression of timing and concurrency requirements in...
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We...
We propose a method for the timing analysis of concur-rent real-time programs with hard deadlines. W...
Concurrent real-time applications are complicated since both timing and consistency constraints must...
In hard real-time applications, programs must not only be functionally correct but must also meet ti...
This article presents a complete scheme for the development of Critical Embedded Systems with Multip...
. We extend the specification language of temporal logic, the corresponding verification framework, ...
Abstract. Concurrent objects encapsulate a processor each and com-municate by asynchronous message p...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
This paper describes a general model for pre-run-time scheduling of distributed real-time systems th...
This paper presents language constructs for the expression of timing and concurrency requirements in...
In this paper, we present a model and language constructs for a distributed real-time system with th...
RTC: Language Support For Real-Time Concurrency This paper presents language constructs for the expr...
For many distributed applications, it is not sufficient for programs to be logically correct. In add...
. In this paper, we describe an approach to the representation, specification and implementation of ...
This paper presents language constructs for the expression of timing and concurrency requirements in...
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We...
We propose a method for the timing analysis of concur-rent real-time programs with hard deadlines. W...
Concurrent real-time applications are complicated since both timing and consistency constraints must...
In hard real-time applications, programs must not only be functionally correct but must also meet ti...
This article presents a complete scheme for the development of Critical Embedded Systems with Multip...
. We extend the specification language of temporal logic, the corresponding verification framework, ...
Abstract. Concurrent objects encapsulate a processor each and com-municate by asynchronous message p...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
This paper describes a general model for pre-run-time scheduling of distributed real-time systems th...