Papers published in 1996

A Semantics for Limited Resource Refinement
S.K. Atkinson

A Worst-Case Behaviour Analysis for Hard Real-Time Transactions
J. Byun, A. Burns and A.J. Wellings

Ada 95: An Effective Concurrent Programming Language
A. Burns and A.J. Wellings

Adding Instruction Cache Effect to Schedulability Analysis of Preemptive Real-Time Systems
J. Busquets, A.J. Wellings, J.J. Serrano-Martin, R. Ors-Carot and P. Gill

Adding Instruction Cache Effect to an Exact Schedulability Analysis of Preemptive Real-Time Systems
J. Busquets, A.J. Wellings, J.J. Serrano-Martin, R. Ors-Carot and P. Gill

An Efficient and Practical Local Synchronous Bandwidth Allocation Scheme for the Timed-Token MAC Protocol
S. Zhang, A. Burns and A.J. Wellings

Analysing APEX Applications
N.C. Audsley and A.J. Wellings

Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems
A. Burns and R.I. Davis

Combining Static Worst-Case Timing Analysis and Program Proof
R. Chapman, A. Burns and A.J. Wellings

Design Synthesis using Adaptive Search Techniques and Multi-Criteria Decision Analysis
M. Nicholson and D. Prasad

Dual Priority Scheduling in Ada95 and Real-Time Posix
A. Burns and A.J. Wellings

Feasibility Analysis of Fault-Tolerant Real-Time Task Sets
A. Burns, R.I. Davis and S. Punnekkat

Flexible Scheduling Theory for Advanced Engine Controllers
N.C. Audsley, I.J. Bate and A. Burns

Formal Analysis of a Real-Time Kernel Specification
S. Fowler and A.J. Wellings

Genericity and Upgradability in Ultra-Dependable Real-Time Architectures
A.J. Wellings, Lj. Beus-Dukic, A. Burns and D. Powell

Implementing Atomic Actions in Ada 95
A.J. Wellings and A. Burns

Integrating Optional Software Components into Hard Real-Time Systems
N.C. Audsley, A. Burns, R.I. Davis, D.J. Scholefield and A.J. Wellings

Object-Oriented Programming with Protected Types in Ada 95
A.J. Wellings, S. Mitchell and A. Burns

Programming Replicated Systems in Ada 95
A.J. Wellings and A. Burns

Putting Fixed Priority Scheduling Theory into Engineering Practice for Safety Critical Applications
I.J. Bate, A. Burns and N.C. Audsley

Real-Time Programming in the Concurrent Object-Oriented Language TAO
S.E. Mitchell and A.J. Wellings

Real-Time Scheduling for Parallel Architectures
A. Burns and J. Chen

Real-time refinement in Manna and Pnueli's temporal logic
D. Scholefield

Reflection, Real-Time and Object-Orientation in DeVa
S.E. Mitchell, A. Burns, A.J. Wellings, R.J. Stroud and B. Randell

Synchronisation, Concurrent Object-Oriented Programming and the Inheritance Anomaly
S.E. Mitchell and A.J. Wellings

Technology Transfer: An Integrated `Culture Friendly' Approach
I.J. Bate, A. Burns, T.O. Jackson, T.P. Kelly, W. Lam, P. Tongue, J.A. McDermid, A.L. Powell, J.E. Smith, A.J. Vickers, A.J. Wellings and B.R. Whittle

Timing Analysis of the ARINC 629 Databus for Real-time Applications
N.C. Audsley and A. Grigg

Towards a Fixed Priority Scheduler for an Aircraft Application
I.J. Bate, A. Burns, J.A. McDermid and A.J. Vickers

Transaction Integration for Reusable Hard Real-Time Components
P. Cornwell and A.J. Wellings

Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD
P. Cornwell and A.J. Wellings

Using Harmonic Task-Sets to Increase the Schedulable Utilization of Cache-Based Preemptive Real-Time Systems
J. Busquets-Mataix, A.J. Wellings, J.J. Serrano, R. Ors and P. Gill