Papers published in 2013

Improving Reliability of Real-Time Systems through Value and Time Voting
H. Aysan, I. Bate, P. Graydon and S. Punnekkat
Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling
P. Graydon and I. Bate
Towards A More Practical Model for Mixed Criticality Systems
A. Burns and S. Baruah
Incorporating the Deadline Floor Protocol in Ada
M. Aldea, A Burns, M. Gutirrez and M. González Harbour
Investigating Shared Memory Tree Prefetching within Multimedia NoC Architectures
Jamie Garside and Neil C Audsley
Locking Policies for Multiprocessor Ada
A. Burns and.J. Wellings
Parallel Ada - A Requirement for Ada 2020
A. Burns
Prefetching Across a Shared Memory Tree within a Network-on-Chip Architecture
Jamie Garside and Neil C Audsley
Programming Simple Reactive Systems in Ada: Premature Program Termination
A.J. Wellings, A. Burns, A.L.C. Cavalcanti and N.K. Singh
Search-Based Parameter Tuning on Application-Level Load Balancing For Distributed Embedded Systems.
I. Caliskanelli and L.S. Indrusiak
Improved Priority Assignment for the Abort-and-Restart (AR) Model
H. C. Wong and A. Burns
An optimisation algorithm for minimising energy dissipation in NoC-based hard real-time embedded systems
M. Norazizi Sham Mohd Sayuti, Leandro Soares Indrusiak and Alberto Garcia-Ortiz
Fixed-priority scheduling of dual-criticality systems
S.K. Baruah and A. Burns
PFT- A Low Overhead Predictability Enhancement Technique for Non-Preemptive NoCs
Bharath Sudev and Leandro Soares Indrusiak
Scheduling HPC Workflows for Responsiveness and Fairness with Networking Delays and Inaccurate Estimates of Execution Times
Andrew Burkimsher, Iain Bate and Leandro Soares Indrusiak
The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment
Omar Jaradat, Patrick Graydon and Iain Bate
Immune-Inspired Error Detection for Multiple Faulty Robots in Swarm Robotics
H. K. Lau, I. Bate and J. Timmis
An Extended Fixed Priority Scheme for Mixed Criticality Systems
S. Baruah, A. Burns and R.I. Davis
The Application of the Original Priority Ceiling Protocol to Mixed Criticality Systems
A. Burns
Real-Time Low-Power Task Mapping in Networks-on-Chip
M. N. S. M. Sayuti and L. S. Indrusiak
A Review of Fixed Priority and EDF Scheduling for Hard Real-Time Uniprocessor Systems
R.I. Davis
Analysis of Probabilistic Cache Related Pre-emption Delays
R.I. Davis, L. Santinelli, S. Altmeyer, C. Maiza and L. Cucu-Grosjean
Global Fixed Priority Scheduling with Deferred Pre-emption
R.I. Davis, A. Burns, J. Marinho, V. Nelis, S.M. Petters and M. Bertogna
Improvements to Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies
R.I.Davis
Static Probabilistic Timing Analysis for Multicore Processors with Shared Cache
R.I. Davis, J. Whitham and D. Maxim
Dynamic Task Remapping For Power and Latency Performance Improvement In Priority-Based Non-Preemptive Networks On Chip
J. Harbin and Leandro S. Indrusiak
Fast Transaction-Level Dynamic Power Consumption Modelling in Priority Preemptive Wormhole Switching Networks On Chip
James Harbin and Leandro S. Indrusiak
Searching for the Minimum Failures that Can Cause a Hazard in a Wireless Sensor Network
I. Bate and M. Fairbairn
Bioinspired Load Balancing in Large-Scale WSNs Using Pheromone Signalling
I. Caliskanelli, J. Harbin, L. S. Indrusiak, P. Mitchell, F. Polack and D. Chesmore
Improving the Dependability of Sensornets
Mark L Fairbairn, Iain Bate and John Stankovic
Using Feedback Control Within WSN’s to Meet Application Requirements
Mark L Fairbairn and Iain Bate
On Extensible Networks for Embedded Systems
F. Polzlbauer, I. Bate and E. Brenner
Improved Priority Assignment for the Abort-and-Restart (AR) Model
H.C. Wong and A. Burns
A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP
A. Burns and A.J. Wellings
A survey of scheduling metrics and an improved ordering policy for list schedulers operating on workloads with dependencies and a wide variation in execution times
Andrew Burkimsher, Iain Bate and Leandro Soares Indrusiak
Ada 2012: Resource Sharing and Multiprocessors
S. Lin and A. Burns A. J. Wellings
An EDF Run-Time Profile based on Ravenscar
A. Burns
Burns Standard Notation for real time scheduling
R.I. Davis
Comparing Degrees of Non-Determinism in Expression Evaluation
I.J. Hayes, A. Burns, B. Dongol and C.B. Jones
Explicit Java Control of Low-Power Heterogeneous Parallel Processing in the ToucHMore Project
L. Gauthier, I. Gray, A. Larkham, G. Ayad, A. Acquaviva and K. Nilsen
Extending Mixed Criticality Scheduling
T. Fleming and A. Burns
Integrating Cache Related Pre-emption Delay Analysis into EDF Scheduling
W. Lunniss, S. Altmeyer, C. Maiza and R.I. Davis
Is Audsley's Scheme the Most Expressive Optimal Priority Assignment Algorithm?
A. Burns
Mixed Criticality on Controller Area Network
A. Burns and R.I. Davis
Modelling temporal behaviour in complex systems with Timebands
K. Wei, J. Woodcock and A. Burns
Power-aware dynamic mapping heuristics for NoC-based MPSoCs using a unified model-based approach
L. Ost, M. Mandelli, G. M. Almeida, L. Moller, L. S. Indrusiak, G. Sassatelli, P. Benoit, M. Glesner, M. Robert and F. Moraes
Safety-critical Java level 2: motivations, example applications and issues
Andy Wellings, Matt Luckcuck and Ana Cavalcanti
Safety-critical Java programs from Circus models
A. Cavalcanti, F. Zeyda, A.J. Wellings, J. Woodcock and K. Wei
Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing
F. Zhang and A. Burns
Support for Multiprocessor Platforms
A. Burns and A.J. Wellings
TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications
A. Burns, A.J. Wellings and A.H. Malik
The Safety-Critical Java memory model formalised
Ana Cavalcanti, Andy Wellings and Jim Woodcock