Papers published in 1991

A Database Model for Hard Real-Time Systems
N Audsley, A. Burns, M. Richardson and A.J. Wellings

A Framework for Building Dependable Systems
A. Burns and A. M. Lister

A Framework for Building Real-Time Responsive Systems
A. Burns

Criticality and Utility in the Next Generation
A. Burns and A.J. Wellings

Hard Real-Time Scheduling: The Deadline Monotonic Approach
N.C. Audsley, A. Burns, M.F. Richardson and A.J. Wellings

Issues and Approaches to Testing the Timing Properties of Time Constrained Protocols
Lj. Beus-Dukic and C. Grant

Optimal Priority Assignment and Feasibility of Static Priority Tasks With Arbitrary Start Times
N. C. Audsley

Priority Inheritance and Message Passing: A Formal Treatment
A. Burns and A.J. Wellings

Programming and Debugging Distributed Target Systems
A.D. Hutcheon, D.S. Snowden and A.J. Wellings

Resource Control For Hard Real-Time Systems: A Review
N. C. Audsley

STRESS: A Simulator for Hard Real-Time Systems
N.C. Audsley, A. Burns, M.F. Richardson and A.J. Wellings

Scheduling Hard Real-Time Systems: A Review
A. Burns

Scheduling Time Constrained Messages on MiniMAP
Lj. Beus-Dukic and A. J. Wellings

Specifying an Ada Tasking Run-time Support System
A. Burns and A.J. Wellings

TARDIS: an architectural framework for timely and reliable distributed information systems
A. Burns, A.M. Lister and J.A. McDermid

The DrTee Architecture for Distributed Hard Real-Time Systems
N. C. Audsley, K. Tindell, A. Burns, M. F. Richardson and A. J. Wellings

The DrTee Architecture for Distributed Hard Real-Time Systems
N. C. Audsley, K. Tindell, A. Burns, M. F. Richardson and A. J. Wellings

The Temporal Agent Model: Theory and Practice
D.J. Scholefield and H.S.M. Zedan