Papers published in 1995 | Real-Time Systems Group

A Performance Analysis of a Hard Real-Time System
C.M. Bailey, A. Burns, A.J. Wellings and C.H. Forsyth

Adding Instruction Cache Effect to Schedulability Analysis of Preemptive Real-Time Systems
J.V. Busquets-Mataix and A.J. Wellings

An Action-Based Formal Model for Concurrent, Real-Time Systems
C.J. Fidge and A.J. Wellings

An Efficient and Practical Synchronous Bandwidth Allocation Scheme for Deadline Guarantees of Synchronous Messages in an FDDI Network
S. Zhang

An Optimal Synchronous Bandwidth Allocation Scheme for Guaranteeing Synchronous Message Deadlines with the Timed-Token MAC Protocol
S. Zhang and A. Burns

Analysis of Hard Real-Time Communications
K. Tindell, A. Burns and A.J. Wellings

Calculating Controller Area Network (CAN) Message Response Time
K. Tindell, 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

Dual Priority Scheduling
R. Davis and A.J. Wellings

Effective Analysis for Engineering Real-Time Fixed Priority Schedulers
A. Burns, K. Tindell and A.J. Wellings

Engineering a Hard Real-Time System: From Theory to Practice
A. Burns and A.J. Wellings

Fixed Priority Pre-emptive Scheduling: An Historical Perspective
N.C. Audsley, A. Burns, R.I. Davis, K. Tindell and A.J. Wellings

Flexible Scheduling for Adaptable Real-Time Systems
R.I. Davis, S. Punnekkat, N.C. Audsley and A. Burns

Generating Feasible Cyclic Schedules
A. Burns, N. Hayes and M.F. Richardson

Guaranteeing Synchronous Message Sets in FDDI Networks
S. Zhang and A. Burns

Hybrid Algorithms for Dynamic Schedulability Testing
C. McElhone, A. Burns and R. Davis

Hybrid Instruction Cache Partitioning for Preemptive Real-Time Systems
J.V. Busquets-Mataix and A.J. Wellings

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

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

On the Schedulability of Synchronous Message Sets with the Minimum Message Deadline Less Than 2-TTRT in an FDDI Network
S. Zhang and A. Burns

Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines in Fixed Priority
R.I. Davis and A. Burns

Proving Properties of Real-Time Semaphores
D.J. Scholefield

Real-Time Distributed Computing
A. Burns, N. Audsley and A.J. Wellings

Real-Time System Scheduling
N.C. Audsley, A. Burns, R.I. Davis, K. Tindell and A.J. Wellings and

SPATS - A New Toolset for High-Integrity Ada Development
R. Chapman, A. Burns and A. Wellings

Safety Kernels: Specification and Implementation
A. Burns and A.J. Wellings

Sporadic Tasks in Hard Real-Time Systems
R.K. Allen, A. Burns and A.J. Wellings

The Design and Analysis of a Close-In Weapons System Simulator using HRT-HOOD
P. Cornwell, A. Burns and A. J. Wellings

Transformational VS Reactive Refinement in Real-time Systems
S.K. Atkinson and D.J. Scholefield