Papers published in 2009

Implementing Transactions in a Distributed Real-Time System without Global Time
A. Burns and Y. Chen
A Survey of Hard Real-Time Scheduling Algorithms and Schedulability Analysis Techniques for Multiprocessor Systems
R.I. Davis and A. Burns
Improvement of Schedulability Analysis with a Priority Share Policy in On-ChipNetworks
Z. Shi and A. Burns
Quantifying the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling for Sporadic Tasksets with Arbitrary Deadlines
R.I. Davis, T. Rothvoß, S.K. Baruah and A. Burns
Exposing Non-Standard Architectures to Embedded Software Using Compile-Time Virtualisation
Ian Gray and Neil Audsley
An Improved Lightweight Synchronisation Primitive For Sensornets
J. Tate and I. Bate
Implementing Time-predictable Load and Store Operations
Jack Whitham and Neil Audsley
A Generic and Accurate RTOS-centric Embedded System Modelling and Simulation Framework
K. Yu and N. Audsley
A Mixed Timing System-Level Embedded Software Modelling and Simulation Approach
K. Yu and N. Audsley
A high abstraction, high accuracy power estimation model for networks-on-chip
Luciano Ost, Guilherme Guindani, Leandro Soares Indrusiak, Cezar Reinbrecht, Thiago Raupp and Fernando Moraes
An RTSJ-based reconfigurable server component
M. Alrahmawy and A. Wellings
Design patterns for supporting RTSJ component models
M. Alrahmawy and A. Wellings
Providing Temporal Isolation in the OSGi Framework
T. Richardson and A.J. Wellings
Using Hardware Methods to Improve Time-predictable Performance in Real-time Java Systems
Jack Whitham, Neil Audsley and Martin Schoeberl
An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics
HK Lau, I. Bate and J. Timmis
Schedulability Analysis for Real-Time Systems with EDF Scheduling
Fengxiang Zhang and Alan Burns
Improvement to Quick Processor-demand Analysis for EDF-Scheduled Real-Time Systems
Fengxiang Zhang and Alan Burns
Refactoring Asynchronous Event Handling in the Real-Time Specification for Java
MinSeong Kim and Andy Wellings
Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks
Z. Shi and A. Burns
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005
A. Burns, A. J. Wellings and F. Zhang
Energy Efficient Duty Allocation Protocols For Wireless Sensor Networks
J. Tate and I. Bate
Anomaly Detection Inspired by Immune Network Theory: A Proposal
HK Lau, J.Timmis and I.Bate
WCET Analysis of Modern Processors Using Multi-Criteria Optimisation
U. Khan and I. Bate
Understanding Behavioural Tradeoffs In Large-Scale Sensornet Design
J. Tate and I. Bate
Comparing Design Of Experiments and Evolutionary Approaches To Multi-Objective Optimisation Of Sensornet Protocols
J. Tate, B. Woolford-Lim, I. Bate and X. Yao
Priority Assignment for Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Real-Time Systems
R.I. Davis and A. Burns
Semi-automated Safety Analysis for Field Programmable Gate Arrays
P. Conmy and I. Bate
The Scratchpad Memory Management Unit for Microblaze: Implementation, Testing, and Case Study
Jack Whitham and Neil Audsley
Guaranteed Loop Bound Identification from Program Traces for WCET
M. Bartlett, I. Bate and D. Kazakov
Tuning Complex Sensornet Systems Using Principled Engineering Methods
J. Tate and I. Bate
Certification of FPGAs - Current Issues and Possible Solutions
P. Conmy and I. Bate
Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ
M-S. Kim and A.J. Wellings
Characterising Embedded Applications using a UML Profile
Sanna Mtt, Leandro Soares Indrusiak, Luciano Ost, Leandro Mller, Manfred Glesner, Fernando Gehm Moraes and Jari Nurmi
Concurrency Vulnerabilities
A. Burns and A.J. Wellings
Contract based management of the memory resource
I. Ripoll, P. Balbastre, M. Masmano, A. Crespo and A. Burns
Enhancing the platform independence of the real-time specification for Java
A.J. Wellings, Y. Chang and T. Richardson
Exact Quantification of the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling
R. I. Davis, T. Rothvoß, S. K. Baruah and A. Burns
Exact Scheduling Analysis of Non-Accumulatively Monotonic Multiframe Tasks
A. Zuhily and A. Burns
JSR-282 status report
P.C. Dibble and A.J. Wellings
Low-Power Coding for Networks-on-Chip with Virtual Channels
A. Garcia-Ortiz, L. S. Indrusiak, T. Murgan and M. Glesner
NoCScope: a Graphical Interface to Improve Networks-on-Chip Monitoring and Design Space Exploration
L. Moller, L. S. Indrusiak and M. Glesner
Priority Assignment for Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Real-Time Systems
R.I.Davis and A.Burns
Probabilistic Methods For Dynamic Node Population Management In Sensornets
J. Tate and I. Bate
Providing Memory Management Abstraction for Self-Reconfigurable Video Processing Platforms
K. F. Ackermann, B. Hoffmann, L. S. Indrusiak and M. Glesner
Robust priority assignment for messages on Controller Area Network (CAN)
Robert Davis and Alan Burns
Sensitivity Analysis for Real-Time Systems
Fengxiang Zhang, Alan Burns and Sanjoy Baruah
Spare Capacity Distribution Using Exact Response-Time Analysis
Attila Zabos, Robert I. Davis, Alan Burns and Michael González Harbour
Synchronising Timing Signals In Cellular Sensornets Using A Hybrid Algorithm
J. Tate and I. Bate
Thread-Local Scope caching for Real-time Java
A.J. Welling and M. Schoeberl
Predicated Worst-Case Execution-Time Analysis
A. Marref and G. Bernat