RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
High performance monitoring and control of real-time environments over the Internet is of importance to many users. The general public, as well as professionals, desires the abili...
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
In this paper we present improved techniques for the schedulability analysis of tasks with precedence relations in multiprocessor and distributed systems, scheduled under a preemp...
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
Reward-based scheduling refers to the problem in which there is a reward associated with the execution of a task. In our framework, each real-time task comprises a mandatory and a...
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
Statistical Rate Monotonic Scheduling (SRMS) is a generalization of the classical RMS results of Liu and Layland [LL73] for periodic tasks with highly variable execution times and...
RTSS
1999
IEEE
14 years 3 months ago
1999
IEEE
