Papers published in 2012

A Statistical Response-Time Analysis of Real-Time Embedded Systems
Y. Lu, T. Nolte, I. Bate and L. Cucu-Grosjean

A Programmable Look-Up Table-Based Interpolator with Nonuniform Sampling Scheme
E. C. Dutra e Silva Jnior, L. S. Indrusiak, W. A. Finamore and M. Glesner

Optimising Task Layout to Increase Schedulability via Reduced Cache Related Pre-emption Delays
W. Lunniss, S. Altmeyer and R.I. Davis

Re-Sampling for Statistical Timing Analysis of Real-Time Systems
D. Maxim, M. Houston, L. Santinelli, G. Bernat, R.I. Davis and L. Cucu-Grosjean

Challenges in Software Development for Multicore System-on-Chip Development
Ian Gray and Neil Audsley

ToucHMore Toolchain and System Software for Energy and Variability Customisation
Neil C. Audsley, Ian Gray, Andrea Acquaviva and Ralph Haines

Systematic Experimental Analysis and Evaluation of Routing Protocol in Wireless Sensor Networks
T. H. Lim, I. Bate and J. Timmis

Better, Faster, Cheaper, and Safer Too Is This Really Possible?
I. Bate, H. Hansson and S. Punnekkat

Validation of Performance Data using Experimental Verification Process in Wireless Sensor Network
T. H. Lim, I. Bate and J. Timmis

Optimized Frame Packing for Embedded Systems
F. Polzlbauer, I. Bate and E. Brenner

Immune-Inspired Self Healing in Wireless Sensor Networks
H. K. Lau T. H. Lim, J Timmis and I. Bate

Controller Area Network (CAN) Schedulability Analysis for Messages with Arbitrary Deadlines in FIFO and Work-Conserving Queues
R.I. Davis and N. Navet

Controller Area Network (CAN): Response Time Analysis with Offsets
P. M. Yomsi, D. Bertrand, N. Navet and R.I.Davis

Optimal Program Partitioning for Predictable Performance
Jack Whitham and Neil Audsley

Traffic Shaping to Reduce Jitter in Controller Area Network (CAN)
R.I. Davis and N. Navet

Translating Java for Resource Constrained Embedded Systems
G. J. Plumbridge and N. C. Audsley

On Voting Strategies for Loosely Synchronized Dependable Real-Time Systems
H. Aysan, R. Dobrin, S. Punnekkat and I. Bate

Efficient Constraint Handling During Designing Reliable Automotive Real-time Systems
F. Polzlbauer, I. Bate and E. Brenner

Developing Predictable Real-Time Embedded Systems using AnvilJ
Ian Gray and Neil C. Audsley

A Control Theoretic Approach for Workflow Management
Hashem Ali Ghazzawi, Iain Bate and Leandro Soares Indrusiak

A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems
L. S. Indrusiak, I. Quadri, I. Gray, N. Audsley and A. Sadovykh

Comparative Analysis of Dynamic Task Mapping Heuristics in Heterogeneous NoC-based MPSoCs
L. Moller, L. S. Indrusiak, L. Ost, F. Moraes and M. Glesner

Distributed, Embedded and Real-time Java Systems
M. Teresa Higuera-Toledano and Andy J. Wellings

Enabling Adaptive Techniques in Heterogeneous MPSoCs Based on Virtualization
L. Ost, S. Varyani, L. S. Indrusiak, M. Mandelli, G. M. Almeida, E. Wachter, F. Moraes and G. Sassatelli

Evolutionary and Principled Search Strategies for Sensornet Protocol Optimization
J. Tate, and B. Woolford-Lim, I. Bate and X. Yao

FPSL, FPCL and FPZL schedulability analysis
R.I. Davis and S. Kato

From Fault Injection to Mutant Injection: the Next Step for Safety Analysis?
G. Rodriguez-Navas, P. Graydon and I. Bate

Implementing and Verifying EDF Preemption-Level Resource Control
M.L. Fairbairn and A. Burns

Improved pre-emption cost aware response time analysis for fixed priority pre-emptive systems
S. Altmeyer, R.I. Davis and C. Maiza

Interfacing Java to Hardware Coprocessors and FPGAs
Jack Whitham and Neil Audsley

Investigation of Scratchpad Memory for Preemptive Multitasking
J.Whitham, R.I. Davis, N.C. Audsley, S.Altmeyer and C. Maiza

MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems
I. R. Quadri, E. Brosse, I. Gray, N. Matragkas, L. S. Indrusiak, M. Rossi, A. Bagnato and A. Sadovykh

MPC vs. PID Controllers in Multi-CPU Multi-Objective Real-Time Scheduling Systems
Hashem Ali Ghazzawi, Iain Bate and Leandro Soares Indrusiak

Modelling Temporal Behaviour in Complex Systems with Timebands
K. Wei, J. Woodcock and A. Burns

Networked embedded systems for active ow control in aircraft
Eduardo Tovar, Nuno Pereira, Iain Bate, Leandro Soares Indrusiak, Sergio Penna, Jose Negrao, Julio C. Viana, Francois Philipp, Dirk Mayer, Jose Heras, Filipe Pacheco and Joao Loureiro

Optimal Fixed Priority Scheduling with Deferred Pre-emption
R.I. Davis and M. Bertogna

Partitioned EDF scheduling for multiprocessors using a C=D task splitting
A. Burns, R. I. Davis, P. Wang and F. Zhang

Programming Embedded Systems: Interacting with the Embedded Platform
Peter Dibble, James Hunt, Andy J. and Wellings

RT-OSGi: Integrating the OSGi Framework with the Real-Time Specification for Java
Thomas Richardson and Andy J. Wellings

Runtime optimisation in WSNs for load balancing using pheromone signalling
I. Caliskanelli, J. Harbin, L.S. Indrusiak, P. Mitchell, D. Chesmore and F. Polack

Schedulability Analysis for Controller Area Network (CAN) with FIFO Queues Priority Queues and Gateways
R.I. Davis, S. Kollmann, V. Pollex and F. Slomka

Supporting Multiprocessors in the Real-Time Specification for Java Version 1.1
Andy J. Wellings, Peter Dibble and David Holmes

Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages
Shiyao Lin, Andy Wellings and Alan Burns

The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada
N.K. Singh, A.J. Wellings and A.L.C. Cavalcanti

Using Genetic Algorithms to Map Hard Real-Time NoC-based Systems
A. Racu and L. S. Indrusiak