RTSS
1995
IEEE
13 years 11 months ago
1995
IEEE
RTSS
1995
IEEE
13 years 11 months ago
1995
IEEE
We present a scheme to guarantee that the execution of real-time tasks can tolerate transient and intermittent faults assuming any queue- based scheduling technique. The scheme is...
RTSS
1995
IEEE
13 years 11 months ago
1995
IEEE
In this paper, we present a new strategy for providing flexibility in hard real-time systems. This approach, based on dual priorities, retains the offline guarantees afforded to...
RTSS
1995
IEEE
13 years 11 months ago
1995
IEEE
RTSS
1995
IEEE
13 years 11 months ago
1995
IEEE
RTSS
1997
IEEE
13 years 11 months ago
1997
IEEE
Resource allocation for high-performance real-time applications is challenging due to the applications' data-dependent nature, dynamic changes in their external environment, ...
HYBRID
1995
Springer
13 years 11 months ago
1995
Springer
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...
HYBRID
1995
Springer
13 years 11 months ago
1995
Springer
HYBRID
1995
Springer
13 years 11 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
HYBRID
1995
Springer
13 years 11 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...