Papers published in 2006

Hard Real-time Hybrid Garbage Collection with Low Memory Requirements
Y. Chang and A. J. Wellings

Programming Execution-Time Servers in Ada 2005
A. Burns and A.J. Wellings

Sustainable Scheduling Analysis
S. Baruah and A. Burns

MCGREP - A Predictable Architecture for Embedded Real-time Systems
J. Whitham and N. Audsley

Model-based Verification of a Framework for Flexible Scheduling in the Real-Time Specification for Java
Alexandros Zerzelidis and Andy Wellings

Low Memory Overhead Real-Time Garbage Collection for Java
Yang Chang and Andy Wellings

Real-Time Memory Management: Life and Times
Andrew Borg, Andy Wellings, Christopher Gill and Ron K. Cytron

Learning Worst-Case Execution Time Loop Bounds with Inductive Logic Programming
D. Kazakov and I. Bate

Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning
D. Kazakov and I. Bate

Towards a File System Interface for Mobile Resources in Networked Embedded Systems
N. C. Audsley, R. Gao and A. Patil

Efficient OS Resource Management for Distributed Embedded Real-Time Systems
N. Audsley, R. Gao, A. Patil and P. Usher

Getting More Flexible Scheduling in the RTSJ
A. Zerzelidis and A. J. Wellings

Tree-Based WCET Analysis on Instrumentation Point Graphs
A. Betts and G. Bernat

Incorporating Scenarios And Heuristics To Improve Flexibility In Real-Time Embedded Systems
I. Bate and P. Emberson

Integrating Custom Instruction Specifications into C Development Processes
Jack Whitham and Neil Audsley

A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications
B.M. Brosgol and A.J. Wellings

A co-design strategy for embedded Java applications based on a hardware interface with invocation semantics
Andrew Borg, Rui Gao and Neil Audsley

Controller Area Network (CAN) Schedulability Analysis: Refuted, Revisited and Revised
Robert Davis, Alan Burns, Reinder Bril and Johan Lukkien

Formal analysis of aperiodic and sporadic real-time threads in the RTSJ
O. M. Santos and A. Wellings

Hard Real-time Hybrid Garbage Collection with Low Memory Requirement
Y. Chang

Model-based Verification of a Framework for Flexible Scheduling in the Real-Time Specification for Java
A. Zerzelidis

Motivations and Support for Single Nested Scoping in the Ravenscar-Java Profile
J. Kwon and A.J. Wellings

On Fixed Priority Preemptive Scheduling for Imprecise Computation
Yanching Chu

Optimal priority assignment in the presence of blocking
K. Bletsas and N. C. Audsley

Optimality of (D-J)-monotonic Priority Assignment
A. Zuhily

Resource Sharing in Hierarchical Fixed Priority Pre-emptiveSystems
R.I Davis and A. Burns

Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applications
A. Borg and A. J. Wellings