Papers published in 1997 | Real-Time Systems Group

A Fully Asynchronous Reader/Writer Mechanism for Multiprocessor Real-Time Systems
J. Chen and A. Burns

A Three-Slot Asynchronous Reader/Writer Mechanism for Multiprocessor Real-Time Systems
J. Chen and A. Burns

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

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

Analysis of Checkpointing for Schedulability of Real-Time Systems
S. Punnekkat and A. Burns

Building a Preliminary Safety Case: An Example from Aerospace
I.J. Bate, A. Burns, T.P. Kelly and J.A. McDermid

Combining (n/m)-Hard deadlines and Dual Priority Scheduling
G. Bernat and A. Burns

Developing a Real-Time Metaobject Protocol
S.E. Mitchell, A.J. Wellings and A. Burns

Efficient Transient Overload Tests for Real-Time
G. Bernat, A. Burns and A. Llamosi

Emergence of an Architectural Topology for Safety-Critical Real-Time Systems
M. Nicholson and A. Burns

Feature Interactions with Dynamic Priorities
A. Burns and A.J. Wellings

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

Guaranteeing Timing Constraints Under Shortest Remaining Processing Time Scheduling
R.I. Davis, A. Burns and W. Walker

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

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

Object-Oriented Programming and Real-Time
A.J. Wellings

On Programming Atomic Actions in Ada 95
A. Romanovsky, S.E. Mitchell and A.J. Wellings

On the Use of Cache to Improve Performance and Dependability of Preemptive Real-Time Systems under Faulty Conditions
J.V. Busquets-Mataix, J.J. Serrano and A.J. Wellings

Proceedings of IRTAW8
A.J. Wellings

Reflection for Open Real-Time Systems
S. Mitchell and A. Burns

Regular Path Algebra Applied to Non-Functional Properties of Critical Software
R. Chapman, A. Burns and A.J. Wellings

Restricted Tasking Models
A. Burns and A.J. Wellings

Schedulability Analysis of Fixed Priority Real-Time Systems with Offsets
I. Bate and A. Burns

Scheduling Optional Computations for Adaptive Real-Time Systems
C. McElhone and A. Burns

Sensitivity Analysis of Real-Time Task Sets
S. Punnekkat, R. Davis and A. Burns

Structuring Architectural Topologies for Real-Time Safety-Critical Systems
M. Nicholson and A. Burns

Synchronous Sessions and Fixed Priority Scheduling
A. Burns and A.J. Wellings

Task Termination and Ada 95
A.J. Wellings, A. Burns and O. Pazy

Task Termination in Ada 95
A.J. Wellings, A. Burns and O. Pazy

Tasking Profiles
A. Burns

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

Timing Properties of the Timed Token MAC Protocol
S. Zhang and A. Burns

Towards a Scheduling and Timing Analysis Solution for Integrated Modular Avionic Systems
A. Grigg and N.C. Audsley

Ultra-Dependable and Real-Time Systems: The GUARDS Approach
D. Powell, J. Arlat, L. Beus-Dukic, A.J. Wellings, A. Bondavalli and F. Di Giandomenico

Using Modecharts to Define Terminal HRT-HOOD Object Structure
D. Priddin and A. Burns

Worst Case Response Time Analysis of Hard Real-Time Sporadic Traffic in FIP Networks
P. Pedro and A. Burns