Papers published in 2010 | Real-Time Systems Group

Sensitivity Analysis of the Minimum Task Period for Arbitrary Deadline Real-Time Systems
F. Zhang, A. Burns and S. Baruah

Reasoning about the Reliability of Multi-Version, Diverse Real-Time Systems
A. Burns and B. Littlewood

Quantifying the Sub-optimality of Uniprocessor Fixed Priority Non-Pre-emptive Scheduling
R. I. Davis, L. George and P. Courbin

Reducing Queue Lock Pessimism in Multiprocessor Schedulability Analysis
Y. Chang, R. I. Davis and A. J. Wellings

A Feedback-Driven Timing Synchronisation Protocol For Cellular Sensornets
J. Tate and I. Bate

Partitioned EDF Scheduling for Multiprocessors using a C=D Scheme
A. Burns, R.I. Davis, P. Wang and F. Zhang

VHDL Guidance for Safe and Certifiable FPGA Design
P Conmy, C Pygott and I Bate

Combining Behavioural Real-time Software Modelling with the OSCI TLM-2.0 Communication Standard
Ke Yu and Neil Audsley

Instruction Cache Prediction Using Bayesian Networks
M. Bartlett, I. Bate and J. Cussens

Evaluating the impact of communication latency on applications running over on-chip multiprocessing platforms: a layered approach
L. S. Indrusiak, L. C. Ost, F. G. Moraes, Sanna Maatta, J. Nurmi, L. Moller and M. Glesner

Dual Priority Scheduling: Is the Processor Utilisation bound 100%?
A. Burns

Investigating average versus worst-case timing behavior of data caches and data scratchpads
Jack Whitham and Neil Audsley

Realism in Statistical Analysis of Worst Case Execution Times
D Griffin and A Burns

Supporting Islands of Coherency for highly-parallel embedded architectures using Compile-Time Virtualisation
Ian Gray and Neil Audsley

Routing in cellular sensornets with uniquely identified destination nodes
J. Tate and I. Bate

Improved Schedulability Analysis for Multiprocessor Systems with Resource Sharing
Y. Chang, R.I. Davis and A. Wellings

A Timeband Framework for Modelling Real-Time Systems
Alan Burns and Ian J. Hayes

Instruction Set Simulator for MPSoCs based on NoCs and MIPS Processors
L. Moller, A. Rodrigues, F. Moraes, L. S. Indrusiak and M. Glesner

An Admission Control Protocol for Real-Time OSGi
T. Richardson and A. Wellings

Timing Analyzing for Systems with Execution Dependencies between Tasks
Y. Lu, T. Nolte, I. Bate and C. Norstrom

Timing Analyzing for Systems with Task Execution Dependencies
Y. Lu, T. Nolte, I. Bate and C. Norstrom

FPZL Schedulability Analysis
R.I. Davis and A. Burns

On Optimal Priority Assignment for Response Time Analysis of Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Hard Real-Time Systems
R.I. Davis and A. Burns

Studying the Applicability of the Scratchpad Memory Management Unit
Jack Whitham and Neil Audsley

Maintaining Stable Node Populations In Long-Lifetime Sensornets
Jonathan Tate and Iain Bate

Do sensornet protocol variants yield real benefits?
J. Tate and I. Bate

A Timed Model of Circus with the Reactive Design Miracle
Kun Wei, Jim Woodcock and Alan Burns

A case study of hierarchically heterogeneous application modelling using UML and Ptolemy II
Sanna Maatta, Leandro Soares Indrusiak, Luciano Ost, Leandro Moller, Manfred Glesner, Fernando Gehm Moraes and Jari Nurmi

A framework for flexible scheduling in the RTSJ
Alexandros Zerzelidis and Andy Wellings

A locality model for the real-time specification for Java
Abdul Haseeb Malik, Andy Wellings and Yang Chang

Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis
M. Bartlett, I. Bate and D. Kazakov

Ada and cc-NUMA architectures what can be achieved with Ada 2005?
A. J. Wellings, A. H. Malik, N. C. Audsley and A. Burns

Ada and the Software Vulnerabilities Project
A. Burns and J.L. Tokar

Ada and the Software Vulnerabilities Project: The SPARK Annex
A. Burns and J. L. Tokar

Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ
MinSeong Kim and Andy Wellings

Asynchronous event handling and safety critical Java
Andy Wellings and MinSeong Kim

Component-Based Safety Analysis of FPGAs
P Conmy and I Bate

Dispatching Domains for Multiprocessor Platforms and their Representation in Ada
A. Burns and A. J. Wellings

Dividing point value selections for Improved Quick Processor-demand Analysis
Fengxiang Zhang and Alan Burns

Efficient asynchronous event handling in the real-time specification for Java
Minseong Kim and Andy Wellings

Garbage Collection for Flexible Hard Real-Time Systems
Yang Chang and Andy Wellings

Generalizing the EDF scheduling support in Ada 2005
A. J. Wellings and A. Burns

Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems
Robert Davis and Alan Burns

Improving QoS of Multi-Layer Networks-on-Chip with Partial and Dynamic Reconfiguration of Routers
L. Moller, P. Fischer, F. G. Moraes, L. S. Indrusiak and M. Glesner

Language Vulnerabilities - Let's not forget Concurrency
A. Burns and A.J. Wellings

Learning Bayesian Networks for Improved Instruction Cache Analysis
Mark Bartlett, Iain Bate and James Cussens

Measuring and policing blocking times in real-time systems
Osmar Marchi Dos Santos and Andy Wellings

Model-Based Power Estimation of NoC-Based MPSoCs
L. Ost, G. Guindani, L. S. Indrusiak and F. Moraes

Model-based Design Flow for NoC-based MPSoCs
Luciano Ost, Leandro Soares Indrusiak, Sanna Maatta, Marcelo Mandelli, Jari Nurmi and Fernando Moraes

Modelling and Implementing Complex Systems with Timebands
Jim Woodcock, Marcel Oliveira, Alan Burns and Kun Wei

Schedulability Analysis for Real Time On-Chip Communication with Wormhole Switching
Z. Shi, A. Burns and L. S. Indrusiak

Scheduling and Timing Analysis for Safety-Critical Real-Time Systems
A. Burns and C. Dale

Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems
F. Zhang, A. Burns and S. Baruah

Sensitivity analysis of relative deadline for EDF scheduled real-time systems
F. Zhang, A. Burns and S. Baruah

Sensitivity analysis of task period for EDF scheduled arbitrary deadline real-time systems
F. Zhang, A. Burns and S. Baruah

Sensornet Protocol Tuning Using Principled Engineering Methods
Jonathan Tate and Iain Bate

Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems
P. Emberson and I. Bate

Supporting Execution on Multiprocessor Platforms
A. Burns and A.J. Wellings

TART: Timed-Automata to Real-Time Java Tool
Niusha Hakimipour, Paul Strooper and Andy Wellings

Task parameter computations for constraint deadline real-time systems with EDF scheduling
F. Zhang, A. Burns and S. Baruah

Techniques For The Synthesis Of Multiprocessor Tasksets
P. Emberson, R. Stafford and R.I. Davis

The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005
A.J. Wellings and A. Burns

Time-Predictable Out-of-Order Execution for Hard Real-Time Systems
Jack Whitham and Neil Audsley

Towards memory management for service-oriented real-time systems
T. Richardson, A. J. Wellings, J. A. Dianes and M. Diaz

User-defined clocks is it the right time now?
A. J. Wellings and A. Burns

Using the executor framework to implement asynchronous event handling in the RTSJ
MinSeong Kim and Andy Wellings