Papers published in 1990

A Database Model for Real-time Systems
A. Burns and M. Richardson

Ada and Distributed Systems
A. Burns, A.M. Lister and A.J. Wellings

Adapting Ada for Distribution and Fault Tolerance
A.B. Gargaro, S.J. Goldsack, R.K. Power, R.A. Volz and A.J. Wellings

Allocating Real-Time Tasks (An NP-Hard Problem made Easy)
K. Tindell

An Assessment of the use of Occam for Dependable Real-Time Systems
A. Burns, A.J. Wellings and H. Zedan

Asynchronous Transfer of Control and the Ada Programming Language
A Burns, A.J. Wellings and G.L. Davies

Deadline Monotonic Scheduling
N. C. Audsley

Distributed Hard Real-Time Systems: What Restrictions are Necessary?
A. Burns

Dynamic code replacement and Ada
K. Tindell

Effective Use of Abort in Programming Mode Changes
A. Burns and T.J. Quiggle

Formal Specification and Proofs of Inheritance Protocols for Real-Time Scheduling
M. Pilling, A. Burns and K. Raymond

Real-Time System Scheduling
N. C. Audsley and A. Burns

Real-time Ada: Outstanding Problem Areas
A. Burns and A.J. Wellings

Real-time Systems and their Programming Languages
A. Burns and A.J. Wellings

Supporting Reliable Distributed Systems in Ada 9X: An Initial Proposal
A.B. Gargaro, S.J. Goldsack, R.A. Volz and A.J. Wellings

The Formal Development of Real-Time Systems: A Review
D.J. Scholefield and H.S.M. Zedan

The Notion of Priority in Real-time Programming Languages
A. Burns and A.J. Wellings

The York Distributed Ada Project
A.D. Hutcheon and A.J. Wellings

Tolerating Processor Failure using the Virtual Node Approach to the Distributed Execution of Ada Programs
A.D. Hutcheon and A.J. Wellings

Towards Supporting Distributed Systems in Ada 9X
A.B. Gargaro, S.J. Goldsack, R.A. Volz and A.J. Wellings

Usability of the Ada Tasking Model
A. Burns and A.J. Wellings