Papers published in 1993

A Proof System for Real-Time Programs
D.J. Scholefield

A Standard for Finite TAM
D.J. Scholefield and H.S.M. Zedan

Allocating and Scheduling Hard Real-Time Tasks on a Point-To-Point Distributed System
A. Burns, M. Nicholson, K. Tindell and N. Zhang

Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling
N. Audsley, A. Burns, M. Richardson, K. Tindell and A. Wellings

Bridging the Gap between Formal Methods and Scheduling Theory
N. C. Audsley, A. Burns, M. F. Richardson, D.J Scholefield, A. J. Wellings and H.S.M. Zedan

Bridging the Real-time Gap between Ada 83 and Ada 9X
A. Burns and A.J. Wellings

Data Consistency in Hard Real-Time Systems
N. C. Audsley, A. Burns, M. F. Richardson and A. J. Wellings

Deadline Monotonic Scheduling Theory and Application
N.C. Audsley, A. Burns and A.J. Wellings

Dual Priority Assignment: A Practical Method of Increasing Processor Utilisation
A. Burns and A.J. Wellings

HRT-HOOD A Structured Design Method for Hard Real-Time Systems
A. Burns and A. J. Wellings

Holistic Schedulability Analysis for Distributed Hard Real-Time Systems
K.W. Tindell

Implementing Analysable Hard Real-Time Sporadic Tasks in Ada9X
A. Burns and A. Wellings

Incorporating Unbounded Algorithms Into Predictable Real-Time Systems
N. C. Audsley, A. Burns, M. F. Richardson and A. J. Wellings

Large, Distributed Parallel Architecures for Real-Time Systems
A. Burns and A. Wellings

Measuring, Monitoring and Enforcing CPU Execution Time Usage
A. Burns and A.J. Wellings

Pipelined Processors and Worst Case Execution Time
N. Zhang, A. Burns and M. Nicholson

Proceedings of the 6th International Workshop on Real Time Ada Issues
A. Burns and A.J. Wellings (eds.)

Real-Time Refinement: Semantics and Application
D.J. Scholefield, H.S.M. Zedan and J. He

Scheduling Hard Real-Time Disk Traffic
K.W. Tindell and A. Burns

Scheduling Slack Time in Fixed Priority Pre-emptive Systems
R.I. Davis, K.W. Tindell and A. Burns

The End of the Line for Static Cyclic Scheduling?
N.A. Audsley, K. Tindell and A. Burns

The Impact of an Ada Run-time System's Performance Characteristics on Scheduling Models
A. Burns, A.J. Wellings and A.D. Hutcheon

The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-time System Design and Implementation
A. Burns, A.J. Wellings, C.M. Bailey and E. Fyfe

The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-time System Design and Implementation
A. Burns, A.J. Wellings, C.M. Bailey and E. Fyfe