Papers published in 1999

A Framework for Scheduling in Safety-Critical Embedded Control Systems
I. Bate and A. Burns

A Method for Design and Analysis of Next Generation Aircraft Computer Systems
A. Grigg, N. C. Audsley, M. A. Fletcher and A. S. Wake

An Approach to Task Attribute Assignment for Uniprocessor Systems
I. Bate and A. Burns

An Incremental Recovery Cache Supporting Software Fault Tolerance
P. Rogers and A. J. Wellings

Communications Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilisation
E. Tovar, F. Vasques and A. Burns

Dynamic CPU Scheduling With Imprecise Knowledge Of Computation-Time
S. A. Aldarmi and Alan Burns

Dynamic CPU Scheduling with Imprecise Knowledge of Computation-Time
S. Aldarmi and A. Burns

Dynamic Ceiling Priorities and Ada 95
J. Real and A. J. Wellings

Dynamic Value-Density For Scheduling Real-Time Systems
S. A. Aldarmi and A. Burns

Implementing Mode Changes and Shared Resources in Ada
J. Real and A. J. Wellings

Loop-Free Asynchronous Data Sharing in Multiprocessor Real-time Systems Based on Timing Properties
J. Chen and A. Burns

New results on fixed priority aperiodic servers
G. Bernat and A. Burns

Portable Code for Complex, Critical Systems
N. Audsley, I. Bate and A. Grigg

Requirements Engineering for Hard Real-Time Systems: theΣNotation and a Case Study
M. Piveropoulos and A. J. Wellings

The Ceiling Protocol in Multi-moded Real-Time Systems
J. Real and A. J. Wellings

The Ravenscar Profile
Alan Burns

Towards a Scheduling and Timing Analysis Solution for Integrated Modular Avionic Systems
A. Grigg and NC. Audsley

Weakly hard Real-Time Systems
G. Bernat, A. Burns and A. Llamosi

GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems
D. Powell, J. Arlat, Lj. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabejac and A. J. Wellings