Papers published in 2002

A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation
A. J. Wellings, R. Clark, D. Jensen and D. Wells
A Meta-model Facility for a Family of UML Constraint Languages
A.N. Clark, A. S. Evans and S. Kent
A Metamodel for Package Extension with Renaming
A.N. Clark, A. S. Evans and S. Kent
A Novel Gain Time Reclaiming Framework Integrating WCET Analysis for Object-Oriented Real-Time Systems
E. Yu-Shing Hu, Andy J. Wellings and G. Bernat
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems
E. Yu-Shing Hu, G. Bernat and A. Wellings
Accessing Delay Queues
A. Burns and A. J. Wellings
Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems
E. Yu-Shing Hu, G. Bernat and A. Wellings
Architectural Considerations in the Certification of Modular Systems
I. Bate and T. Kelly
Architecture Trade-off Analysis and Codesign for Safety-Related Real-Time Embedded Systems
I. Bate and N. Audsley
Architecture Trade-off Analysis and the Influence on Component Design
Iain Bate and Neil Audsley
Assessment of the Java Programming Language for use in High Integrity Systems
J. Kwon, A. Wellings and S. King
Asynchronous Event Handling and Real-time Threads in the Real-Time Specification for Java
A. J. Wellings and A. Burns
Communication Response Time in P-Net Networks: Worst-Case Analysis Considering the Actual Token Utilization
E. Tovar, F. Vasques and A. Burns
Cycle-Time Properties of the Timed Token Medium Access Control Protocol
Sijing Zhang, A. Burns and Tee-Hiang Cheng
Dependable and ubitquitous Autocode Generation
N. Audsley, I. J.Bate and S.K. Crook-Dawkins
HARTEX - A safe real-time kernel for distributed computer control systems
C.K. Angelov, I.E. Ivanov and A. Burns
Hardware Implementation of Programming Languages for Real-Time
M. Ward and N. Audsley
Hardware Implementation of the Ravenscar Ada Tasking Profile
M. Ward and N. C. Audsley
Hardware Implementation of the Ravenscar Tasking Profile
M.Ward and N. Audsley
How much Worst Case is Needed in WCET Estimation?
Stefan M. Petters
Java Virtual Machine Support for Portable Worst-Case Execution Time Analysis
I. Bate, G. Bernat and P. Puschner
Language Issues of Compiling Ada to Hardware
M. Ward and N. C Audsley
Language Issues of Compiling Ada to Hardware
M. Ward and N. Audsley
Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling
G. Bernat and A. Burns
Object-Oriented Theories for Model Driven Architecture.
A.N. Clark, A. S. Evans and S. Kent
Probabilistic Analysis of CAN with Faults
I. Broster, A. Burns and G. Rodríguez-Navas
Protected Ceiling Changes
J. Real, A. Crespo, A. Burns and A. J. Wellings
Ravenscar-Java: A High Integrity Profile for Real-Time Java
J. Kwon, A. J. Wellings and S. King
Ravenscar-Java: A High Integrity Profile for Real-Time Java
Jagun Kwon, Andy Wellings and Steve King
Re-targetable Framework for Worst-Case Execution Time Analysis
I. Bate
Real-Time Systems
A. Burns
Scope-tree: a Program Representation for Symbolic Worst-Case Execution Time Analysis
A. Colin and G. Bernat
Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol
S. Zhang, A. Burns, A. Mehaoua, E.S. Lee and H. Yang
Weakly Hard Constraints on Controller Area Network
I. Broster, G. Bernat and A. Burns
Timing-Independent Safety on Top of CAN
G. M. A. Lima and A. Burns
WCET Analysis of Probabilistic Hard Real-Time Systems
G. Bernat, A. Colin and S. M. Petters
Writing Temporally Predictable Code
P. Puschner and A. Burns