Papers published in 2017

Improving efficiency of persistent storage access in embedded Linux
Russell Joyce and Neil Audsley

An Enhanced Bailout Protocol for Mixed Criticality Embedded Software
I. Bate, A. Burns and R. I. Davis

A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks
Timo Feld, Alessandro Biondi, Robert I. Davis, Giorgio Buttazzo and Frank Slomka

Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines
Alan Burns and Robert I. Davis

Exact speedup factors and sub-optimality for non-preemptive scheduling
Robert I. Davis, Abhilash Thekkilakattil, Oliver Gettings, Radu Dobrin, Sasikumar Punnekkat and Jian-Jia Chen

A Survey of Research into Mixed Criticality Systems
Alan Burns and Robert I. Davis

On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
Benjamin Lesage, David Griffin, Sebastian Altmeyer, Liliana Cucu-Grosjean and Robert I. Davis

Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads
Syed Aftab Rashid, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis and Eduardo Tovar

Analysis and Optimization of Message Acceptance Filter Configurations for Controller Area Network (CAN)
Florian Polzlbauer , Robert I. Davis and Iain Bate

Probabilistic Analysis for Mixed Criticality Systems using Fixed Priority Preemptive Scheduling
Dorin Maxim, Robert I. Davis, Liliana Cucu-Grosjean and Arvind Easwaran

Forecast-Based Interference: Modelling Multicore Interference from Observable Factors
David Griffin, Benjamin Lesage, Iain Bate, Frank Soboczenski and Robert I. Davis

Corrections to and Discussion of "Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks"
T. Fleming, H-M.Huang, A. Burns, C. Gill, S. Baruah and C. Lu

Multi-core Cyclic Executives for Safety-Critical Systems
C. Deutschbein and T. Fleming and A. Burns and S. Baruah

Real-time dense wired sensor network based on traffic shaping
Joao Loureiro, Raghuraman Rangarajan, Borislav Nikolic, Leandro Soares Indrusiak and Eduardo Tovar

Deadline, Energy and Buffer-Aware Task Mapping Optimization in NoC-Based SoCs Using Genetic Algorithms
Jaison Valmor Bruch, Eduardo Alves da Silva, Cesar Albenes Zeferino and Leandro Soares Indrusiak

Safety-Critical Java: level 2 in practice
Luckcuck Matt, Wellings Andy and Cavalcanti Ana

A Distributed Stream Library for Java 8
Y. Chan, A. Wellings, I. Gray and N. Audsley

New schedulability analysis for MrsP
S. Zhao, J. Garrido, A. Burns and A. Wellings

Java in the Safety-Critical Domain
Cavalcanti, Ana and Miyazawa, Alvaro and Wellings, Andy and Woodcock, Jim and Zhao, Shuai

The Pi-puck extension board: a Raspberry Pi interface for the e-puck robot platform
Alan G. Millard, Russell Joyce, James A. Hilder, Cristian Fleșeriu, Leonard Newbrook, Wei Li, Liam J. McDaid and David M. Halliday

sing Safety Contracts to Guide the Maintenance of Systems and Safety Cases
Omar Jaradat and Iain Bate

Analysis of a statistical regression approach for NO2 pollution modelling
G Makrai and I Bate

Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time
Samuel Jiménez Gil, Iain Bate, George Lima, Luca Santinelli, Adriana Gogonel and Liliana Cucu-Grosjean

Side-Channel Attack Resilience through Route Randomisation in Secure Real-Time Networks-on-Chip
L. S. Indrusiak, J. Harbin and M. J. Sepulveda

Dynamic and Static Task Allocation for Hard Real-time Video Stream Decoding on NoCs
H. R. Mendis, N. C. Audsley, L. S. Indrusiak

Hardware-accelerated analysis of real-time Networks-on-Chip
Y. Ma and L. S. Indrusiak

Multi-criteria Resource Allocation in Modal Hard Real-Time Systems
P. Dziurzanski, A. K. Singh and L. S. Indrusiak

Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework
A. Burns and S. Baruah

Supporting Nested Resources in MrsP
J. Garrido, S. Zhao, A. Burns and A.J. Wellings

Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems
X. Dai and A. Burns

An extensible framework for multicore response time analysis
Robert I. Davis, Sebastian Altmeyer, Leandro S. Indrusiak, Claire Maiza and·Vincent Nelis and Jan Reineke

On the Pitfalls of Resource Augmentation Factors and Utilization Bounds in Real-Time Scheduling
J.J. Chen, G. von der Brüggen, W-H.Huang and R.I. Davis

On the Meaning of pWCET Distributions and their use in Schedulability Analysis
R.I. Davis, A. Burns and D. Griffin

A Survey and Comparative Study of Hard and Soft Real-time Dynamic Resource Allocation Strategies for Multi/Many-core Systems
A. K. Singh, P. Dziurzanski, H. R. Mendis and L. S. Indrusiak

Exploring and Understanding Multicore Interference from Observable Factors
Benjamin Lesage, David Griffin Iain Bate and Frank Soboczenski

Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements
George Lima and Iain Bate

Using Multi-parameters for Calibration of Low-cost Sensors in Urban Environment
Xinwei Fang and Iain Bate

Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation
Reinder J. Bril, Sebastian Altmeyer, Martijn M. H. P. van den Heuvel, Robert I. Davis and Moris Behnam