Papers published in 2014

A self-adaptive fault-tolerant system for a dependable Wireless Sensor Network
Tiong Lim, Iain Bate and Jon Timmis

Optimistic Medium Access Control using Gait Analysis in body sensor networks
T. Lim, T. Weng and I. Bate

The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward
P. Graydon and I. Bate

Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling
W. Lunniss, S. Altmeyer, G. Lipari and R.I. Davis

Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler
W. Lunniss, S. Altmeyer and R.I. Davis

Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting
Y.Abdeddam, Y.Chanderli, R.I.Davis and D.Masson

Architecture-Awareness for Real-Time Big Data Systems
I. Gray, N. C. Audsley, Y. Chan and A. Wellings

Automatic Development of Embedded Systems Using Model Driven Engineering and Compile-Time Virtualisation, in Embedded and Real Time System Development: A Software Engineering Perspective
I. Gray, N. C. Audsley, D. Kolovos, N. Matragkas, R. Paige and L. S. Indrusiak

Designing Resource-Constrained Embedded Heterogeneous Systems to Cope with Variability, in Industry and Research Perspectives on Embedded System Design
I. Gray, A. Acquaviva and N. C. Audsley

Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches
David Griffin, Benjamin Lesage, Alan Burns and Robert I. Davis

Static Probabilistic Timing Analysis of Random Replacement Caches Using Lossy Compression
David Griffin, Benjamin Lesage, Alan Burns and Robert I. Davis

Predictability and Utilisation Trade-off in the Dynamic Management of Multiple Video Stream Decoding on Network-on-Chip Based Homogeneous Embedded Multi-cores
Hashan Roshantha Mendis, Leandro Soares Indrusiak and Neil C. Audsley

Schedulability Analysis for the Abort-and-Restart (AR) Model
H.C. Wong and A. Burns

WCET Preserving Hardware Prefetch for Many-Core Real-Time Systems
Jamie Garside and Neil C. Audsley

End-to-end schedulability tests for multiprocessor embedded systems based on networks-on-chip with priority-preemptive arbitration
L. S. Indrusiak

Using Mobile Robotic Agents to Increase Service Availability and Extend Network Lifetime on WSRNs
I. Caliskanelli and L. S. Indrusiak

Evaluation of Cache Partitioning for Hard Real-Time Systems
S. Altmeyer, R. Douma, W. Lunniss and R.I. Davis

On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis
S. Altmeyer and R.I. Davis

On the application of Static Probabilistic Timing Analysis to Memory Hierarchies
B. Lesage, D. Griffin, R.I. Davis and S.Altmeyer

Progress on Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies
S Altmeyer, L Cucu-Grosjean, R.I. Davis and B.Lesage

Schedulability Tests for Tasks with Variable Rate-Dependent Behaviour under Fixed Priority Scheduling
R.I. Davis, T. Feld, V. Pollex and F. Slomka

Predictability Enhancement in Non-preemptive NoCs using Selective Packet Splitting
B. Sudev and L.S. Indrusiak

Deadline-Aware Programming and Scheduling
A. Burns and A.J. Wellings

Low Overhead Predictability Enhancement in Non-preemptive Network-On-Chip Routers using Priority Forwarded Packet Splitting
B. Sudev and L.S. Indrusiak

An Approach to Maintaining Safety Case Evidence After A System Change
O. Jaradat, P. Graydon and I. Bate

A Characterisation of the Workload on an Engineering Design Grid
A. Burkimsher, l. Bate and L. S. Indrusiak

A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays
W. Lunniss, S. Altmeyer and R.I. Davis

Software Deployment for Distributed Embedded Real-Time Systems of Automotive Applications
F. Polzlbauer, I. Bate and E. Brenner

Assuring Safety for Component Based Software Engineering
Philippa Conmy and Iain Bate

Making an ALARP Decision of Sufficient Testing
Mahnaz Malekzadeh and Iain Bate

On the Nature and Content of Safety Contracts
Patrick Graydon and Iain Bate

A Wormhole NoC Protocol for Mixed Criticality Systems
A. Burns, J. Harbin and L.S. Indrusiak

Achieving temporal isolation in multiprocessor mixed-criticality systems
S. Baruah and A. Burns

Adaptive Mixed Criticality Scheduling with Deferred Preemption
A. Burns and R.I. Davis

Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems, in Industry and Research Perspectives on Embedded System Design
A. Bagnato, E. Brosse, I. R. Quadri, A. Sadovykh, L. S. Indrusiak, R. Paige, M. Rossi, M. C. Crippa, S. Genolini, S. Hansen, G. Meisel-Blohm, I. Gray, N. Audsley, D. S. Kolovos, N. Matragkas and L. Baresi

Explicit Reservation of Cache Memory in a Predictable, Preemptive Multitasking Real-time System
J. Whitham, N.C. Audsley and R.I. Davis

Exploiting Multicore Architectures in Big Data Applications: The JUNIPER Approach
Y. Chan, I. Gray, A. Wellings and N. C. Audsley

Feedback-Based Admission Control for Task Allocation
P. Dziurzanski, H. A. Ghazzawi and L. S. Indrusiak

Incorporating The Notion of Importance into Mixed Criticality Systems
T. Fleming and A. Burns

On the Locality of Java 8 Streams in Real-Time Big Data Applications
Yu Chan, Andy Wellings, Ian Gray and Neil Audsley

PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems
R.I. Davis, T.Vardanega, J.Andersson, F.Vatrinet, M. Pearce, I. Broster, M. Azkarate-Askasua, F. Wartel, L. Cucu-Grosjean, G. Farrall M. Patte and F.J. Cazorla

System Mode Changes - General and Criticality-Based
A. Burns

Using JetBench to Evaluate the Efficiency of Multiprocessor Support for Parallel Processing
HaiTao Mei and Andy Wellings