Papers published in 2004

High Level Organisation of Safety Arguments
Iain Bate, Simon Bates and John McDermid

Synthesis of Legacy Real-Time Ada Software to FPGA
N. Audsley and I. Bate

An Assessment Framework for Automatic Code Generator Tools
N. Audsley, I. Bate and C. O'Halloran

Improving Certification Capability Through Autocode Generation
N. Audsley, I. Bate, S. Crook-Dawkins and J. McDermid

An Application Adaptive Generic Module-based Reflective Framework for Real-time Operating Systems
A. Patil and N. Audsley

Applying Random Arrival Models to Fixed Priority Analysis
I. Broster and A. Burns

Rewriting History to Exploit Gain Time
G. Bernat, I. Broster and A. Burns

Comparing Real-time Communication under Electromagnetic Interference
I. Broster, A. Burns and G. Rodríguez-Navas

Memory Management Based on Method Invocation in RTSJ
J. Kwon and A. Wellings

A Few What-Ifs on Using Statistical Analysis of Stochastic Simulation Runs to Extract Timeliness Properties
Nuno Pereira, Eduardo Tovar, Berta Batista, Luis Miguel Pinho and Ian Broster

Random Arrivals in Fixed Priority Analysis
I. Broster and A. Burns

Fixed Priority Timing Analysis of Real-Time Systems with Limited Parallelism
N. C. Audsley and K. Bletsas

Cost Enforcement and Deadline Monitoring in The Real-Time Specification for Java
A.J. Wellings, G. Bollella, P. Dibble and D. Holmes

The Real-Time Specification for Java: Current Status and Future Work
P. Dibble and A.J. Wellings

Flexible Design of Complex High-Integrity Systems Using Trade Offs
I. Bate and N. Audsley

A Real-time Isolate Specification For Ravenscar-Java
Hao Cai and Andy Wellings

A Selection Mechanism Based upon the Explcit Expression of Preference
R. E. Baker and N. C. Audsley

Architecture for dynamically reconfigurable real-time lossless compression
A. J. Carter and N. C. Audsley

Concurrent and Real-Time Programming in Java
A. J. Wellings

Dynamic Ceiling Priorities: A Proposal for Ada OY
J. Real, A. Burns, J. Miranda, E. Schonberg and A. Crespo

Hard Real-Time Communication with the Timed Token Protocol: Current State and
S. Zhang, A. Burns, J. Chen and E.S. Lee

Improving certification capability through automatic code generation
Neil C. Audsley, Iain Bate, Steve Crook-Dawkins and John McDermid

Improving the Efficiency of Remote Resource Usage in Distributed Real-Time Systems
P. S. Usher and N. C. Audsley

Model Driven Architectures as a Facilitator for Automatic Code Generation
N. Audsley and S.K. Crook-Dawkins

OpenAda: Compile-Time Reflection for Ada 95
P. Rogers and A.J. Wellings

Real Time Scheduling Theory: A Historical Perspective
Lui Sha, Tarek Abdelzaher, Karl-Erik Arzen, Anton Cervin, Theodore Baker, Alan Burns, Giorgio Buttazzo, Marco Caccamo, John Lehoczky and Aloysious K. Mok

Realistic Analysis of Limited Parallel Software / Hardware Implementations
N. C. Audsley and K. Bletsas

Replication Management in Reliable Real-Time Systems
L. M. Pinho, F. Vasques and A. J. Wellings

Requirements for a Real-Time .NET Framework
A. Zerzelidis and A. J. Wellings

Safety Arguments for use of an Ada to FPGA Compiler
I. Bate, S. Bates and J. McDermid

Supporting Deadlines and EDF Scheduling in Ada
A. Burns, A.J. Wellings and T. Taft

Supporting Mixed Criticality Applications in a Ravenscar-Java Environment
Hao Cai and Andy Wellings

Worst-Case Execution Time Analysis for Dynamic Branch Predictors
I. Bate and R. Reutemann