Sciweavers

RTSS
1998
IEEE
15 years 3 months ago
Real-Time Scheduling in a Generic Fault-Tolerant Architecture
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...
Andy J. Wellings, Ljerka Beus-Dukic, David Powell
RTSS
1998
IEEE
15 years 3 months ago
Improved Response-Time Analysis Calculations
Schedulability analysis of fixed priority preemptive scheduled systems can be performed by calculating the worst-case response-time of the involved processes. The system is deemed...
Mikael Sjödin, Hans Hansson
RTSS
1998
IEEE
15 years 3 months ago
Fault-Tolerant Clock Synchronization in CAN
Luís Rodrigues, Mário Luís Gu...
RTSS
1998
IEEE
15 years 3 months ago
Practical Solutions for QoS-Based Resource Allocation
Abstract: The QoS-based Resource Allocation Model (QRAM) proposed in [20] presented an analytical approach for satisfying multiple quality-of-service dimensions in a resource-const...
Ragunathan Rajkumar, Chen Lee, John P. Lehoczky, D...
RTSS
1998
IEEE
15 years 3 months ago
Symbolic Schedulability Analysis of Real-Time Systems
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Youn...
RTSS
1998
IEEE
15 years 3 months ago
The Time-Triggered Model of Computation
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
Hermann Kopetz
RTSS
1998
IEEE
15 years 3 months ago
Proportional Share Scheduling of Operating System Services for Real-Time Applications
Kevin Jeffay, F. Donelson Smith, A. Moorthy, James...
RTSS
1998
IEEE
15 years 3 months ago
Synthesis Techniques for Low-Power Hard Real-Time Systems on Variable Voltage Processors
The energy efficiency of systems-on-a-chip can be much improved if one were to vary the supply voltage dynamically at run time. In this paper we describe the synthesis of systems-...
Inki Hong, Gang Qu, Miodrag Potkonjak, Mani B. Sri...
87
Voted
RTSS
1998
IEEE
15 years 3 months ago
Statistical Delay Guarantee of Virtual Clock
In this paper, we derive a statistical delay guarantee of the generalized Virtual Clock scheduling algorithm. We define the concept of an equivalent fluid and packet source and pr...
Pawan Goyal, Harrick M. Vin
87
Voted
RTSS
1998
IEEE
15 years 3 months ago
A General Model for Recurring Real-Time Tasks
Sanjoy K. Baruah