Sciweavers

RTSS
1999
IEEE
13 years 11 months ago
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality
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...
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinks...
RTSS
1999
IEEE
13 years 11 months ago
Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems
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...
José C. Palencia Gutiérrez, Michael ...
RTSS
1999
IEEE
13 years 11 months ago
Optimal Reward-Based Scheduling of Periodic Real-Time Tasks
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...
Hakan Aydin, Rami G. Melhem, Daniel Mossé, ...
RTSS
1999
IEEE
13 years 11 months ago
Design and Implementation of Statistical Rate Monotonic Scheduling in KURT Linux
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...
Alia Atlas, Azer Bestavros
RTSS
1999
IEEE
13 years 11 months ago
Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines
Marco Caccamo, Giuseppe Lipari, Giorgio C. Buttazz...
RTSS
1999
IEEE
13 years 11 months ago
Parallel Switching in Connection-Oriented Networks
Packet switching in connection-oriented networks that may have multiple parallel links between pairs of switches is considered. An e cient packet-scheduling algorithm that guarant...
James H. Anderson, Sanjoy K. Baruah, Kevin Jeffay
RTSS
1999
IEEE
13 years 11 months ago
A Framework for Scheduler Synthesis
In this paper we present a framework integrating speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tas...
Karine Altisen, Gregor Gößler, Amir Pnu...
RSP
1999
IEEE
116views Control Systems» more  RSP 1999»
13 years 11 months ago
Performance Analysis of a RTOS by Emulation of an Embedded System
This paper analyzes the performance of two different real-time operating systems. Therefore, we used a real benchmark embedded system design with fast external reaction times of a...
Karlheinz Weiß, Thorsten Steckstor, Wolfgang...