Papers published in 2007

An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms
S. Poulding, P. Emberson, I. Bate and J. Clark

Knowledge-Theoretic Protocols for Wireless Sensor Networks
Ioanna Symeou

A Priority-based Consensus Protocol
G. M. A. Lima and A. Burns

Evaluating timebands as a tool for structuring the design of socio-technical systems
G. Baxter, A. Burns and K. Tan

Minimising Task Migrations and Priority Changes In Mode Transitions
P. Emberson and I. Bate

Knowledge Theoretic Design for Data Transmission Protocols of Wireless Sensor Networks
Ioanna Symeou

A Self-Optimising Simulator For a Coarse-Grained Reconfigurable Array
Jack Whitham and Neil Audsley

A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis
Micheal Ward and Neil Audsley

A FIRST STEP TOWARDS USING REAL-TIME JAVA FOR SPACECRAFT ON-BOARD SOFTWARE
M. Prochazka, R. Ward and A. J. Wellings

A framework for real-time utilities for Ada 2005
A.J. Wellings and A. Burns

A model for real time mobility based on the RTSJ
Mohammed ALRahmawy and Andy Wellings

An engineering process for the verification of real-time systems
A. Burns and T.-M. Lin

Analysis of Hierarchical EDF Pre-emptive Scheduling
Fengxiang Zhang and Alan Burns

Applying Artificial Immune Systems to Real-Time Embedded Systems
N. Lay and I. Bate

Asynchronous event handling in the real-time specification for Java
MinSeong Kim and Andy Wellings

Beyond Ada 2005: allocating tasks to processors in SMP systems
A.J. Wellings and A. Burns

Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised
R. I. Davis, A. Burns, R. J. Bril and J. J. Lukkien

Correcting the EDF protocol in Ada 2005
A. Zerzelidis, A. Burns and A.J. Wellings

Cost enforcement in the real-time specification for Java
O. M. Santos and A. Wellings

Delivering Real-Time Behaviour
A. Burns and A.J. Wellings

Efficient Exact Schedulability Tests for Fixed Priority Real-time Systems
Robert Davis, Attila Zabos and Alan Burns

Efficient Page lock/release mechanism in OS for out-of-core Embedded Applications
Ameet Patil and Neil Audsley

Efficiently Accessing Remote Resources in Distributed Real-Time Systems
Paul Usher and Neil Audsley

Exact Response Time Analysis for Multiframe Tasks
A. Zuhily

Identifying Opportunities for Worst-case Execution Time Reduction in an Avionics System
G. Bernat, R.I. Davis, N. Merriam, J. Tuffen, A. Gardner, M. Bennett and D. Armstrong

Integrating OOP and tasking: the missing requeue
A.J. Wellings and A. Burns

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java
A. Wellings, A. Burns, O. M. Santos and B. M. Brosgol

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java
A. Wellings, A. Burns, O. M. Santos and B. M. Brosgol

Knowledge-Based Analysis of Directed Diffusion
Ioanna Symeou and Alan Burns

Optimal (D - J) - monotonic priority assignment
A. Zuhily and A. Burns

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

Programming execution-time servers in Ada 2005
A. Burns and A.J. Wellings

Real-Time Java
A.J. Wellings and A. Burns

Real-Time Utilities for Ada 2005
A. J. Wellings and A. Burns

Robust Priority Assignment for Fixed Priority Real-Time Systems
R. I. Davis and A. Burns

Suggestions for stream based parallel systems in Ada
M. Ward and N. C. Audsley

Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach
Yanching Chu and Alan Burns