Papers published in 2015

Evaluating Mixed Criticality Scheduling Algorithms with Realistic Workloads
David Griffin, Iain Bate, Benjamin Lesage and Frank Soboczenski

Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment
Zhao Shuai, Wellings Andy and Korsholm Stephan Erbs

Deriving Hierarchical Safety Contracts
Omar Jaradat and Iain Bate

Using Design of Experiments to Optimise a Decision of Sufficient Testing
Mahnaz Malekzadeh, Iain Bate and Sasikumar Punnekkat

Influential Nuisance Factors on a Decision of Sufficient Testing
Mahnaz Malekzadeh and Iain Bate

Reducing the Implementation Overheads of IPCP and DFP
H. Almatary, N.C. Audsley and A. Burns

Mixed Criticality Systems: Beyond Transient Faults
A. Thekkilakattil, A. Burns, R. Dobrin and S. Punnekkat

Investigating Mixed Criticality Cyclic Executive Schedule Generation
T. Fleming and A. Burns

Semi-partitioned Cyclic Executives for Mixed Criticality Systems
A. Burns and S. Baruah

Static Probabilistic Timing Analysis for Multi-path Programs
Benjamin Lesage, David Griffin, Sebastian Altmeyer and Robert I. Davis

Quantifying the Exact Sub-Optimality of Non-Preemptive Scheduling
Robert I. Davis, Abhilash Thekkilakattil, Oliver Gettings, Radu Dobrin and Sasikumar Punnekkat

Semi-partitioned Model for Dual-core Mixed Criticality System
H. Xu and A. Burns

On Priority Assignment for Controller Area Network when some Message Identifiers are Fixed
R.I. Davis, A. Burns, V. Pollex and F.Slomka

A Generic and Compositional Framework for Multicore Response Time Analysis
S. Altmeyer, R.I. Davis, L. Indrusiak, C. Maiza, V. Nelis and J. Reineke

Multiprocessor Fixed Priority Scheduling with Limited Preemptions
A. Thekkilakattil, R.I. Davis, R. Dobrin, S. Punnekkat and M. Bertogna

Mixed Criticality Systems with Weakly-Hard Constraints
O. Gettings, S. Quinton and R.I. Davis

On the Compatibility of Exact Schedulability Tests for Global Fixed Priority Preemptive Scheduling with Audsley’s Optimal Priority Assignment Algorithm
R.I. Davis, M. Bertogna and V. Bonifaci

Response Time Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting
Y. Abdeddaïm, Y. Chandarli, R. I. Davis and D. Masson

Exact Comparison of Fixed Priority and EDF Scheduling based on Speedup Factors for both Pre-emptive and Non-pre-emptive Paradigms
R.I. Davis, A. Burns, S. Baruah, T. Rothvoss, L. George, O. Gettings

Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers
P. Souto, P. Baltarejo Sousa, R. I. Davis, K. Bletsas and E. Tovar

Hard Real-time Guarantee of Automotive Applications during Mode Changes
Piotr Dziurzanski, Amit Singh, Leandro Indrusiak and Bjorn Saballus

Modelling Fault Dependencies when Execution Time Budgets are Exceeded
David Griffin, Benjamin Lesage, Frank Soboczenski, Iain Bate and Robert I. Davis

Study of the Reliability of Statistical Timing Analysis for Real-Time Systems
Dorin Maxim, Frank Soboczenski, Iain Bate and Eduardo Tovar

A Framework For The Evaluation Of Measurement-based Timing Analyses
Benjamin Lesage, David Griffin, Frank Soboczenski, Iain Bate and Robert I. Davis

Safety-Critical Java Virtual Machine Services
Baxter James, Cavalcanti Ana, Wellings Andy and Freitas Leo

Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment
Zhao Shuai, Wellings Andy and Korsholm Stephan Erb

Bio-inspired Distributed Task Remapping for Multiple Video Stream Decoding on Homogeneous NoCs
Mendis Hashan Roshantha, Indrusiak Leandro Soares and Audsley Neil C

Decentralised Load Balancing in Event-Triggered WSNs Based on Ant Colony Work Division
Paulo R. Ferreira, Lisane Brisolara and Leandro Soares Indrusiak

Exploring Storage Bottlenecks in Linux-based Embedded Systems
Russell Joyce and Neil Audsley

Transparent hardware synthesis of Java for predictable large-scale distributed systems
I. Gray, N. Audsley, J. Garside, Y. Chan and A. J. Wellings

Integrating Java 8 Streams with The Real-Time Specification for Java
H. Mei, I. Gray and A. J. Wellings

T-CREST: Time-predictable Multi-Core Architecture for Embedded Systems
Martin Schoeberl, Sahar Abbaspour, Benny Akesson, Neil Audsley and Raffaele Capasso, Jamie Garside, Kees Goossens, Sven Goossens, Scott Hansen, Reinhold Heckmann, Stefan Hepp and Benedikt Huber, Alexander Jordan, Evangelia Kasapaki, Jens Knoop, Yonghui Li, Daniel Prokesch, Wolfgang Puffitsch and Peter Puschner, André Rocha, Cláudio Silva, Jens Sparsø and Alessandro Tocchi

Fast Simulation of Networks-on-Chip with Priority-Preemptive Arbitration
Leandro Soares Indrusiak, James Harbin and Osmar Marchi dos Santos

Keynote on Mixed Criticality
A. Burns

An Augmented Model for Mixed Criticality
A. Burns

Priority-based Functional Reactive Programming (P-FRP) using Deferred Abort
H.C. Wong and A. Burns

Deriving period restrictions from a given utilization bound under RMS
D. Muller and A. Burns

A Deadline-Floor Inheritance Protocol for EDF Scheduled Embedded Real-Time Systems with Resource Sharing
A. Burns, M. Gutierrez, M. Aldea and M. González Harbour

Cyclic Executives, Multi-Core Platforms and Mixed Criticality Applications
A. Burns, T. Fleming and S. Baruah

Task Allocation for Decoding Multiple Hard Real-time Video Streams on Homogeneous NoCs
Hashan R. Mendis, Neil C. Audsley and Leandro Soares Indrusiak

An Interval Algebra for Multiprocessor Resource Allocation
Leandro Soares Indrusiak and Piotr Dziurzanski

Market-inspired Dynamic Resource Allocation in Many-core High Performance Computing Systems
Amit Kumar Singh, Piotr Dziurzanski and Leandro Soares Indrusiak

Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases
Omar Jaradat, Iain Bate and Sasikumar Punnekkat

Extending Optimistic Transmission Protocol for Other Movement Patterns
Tiong Hoo Lim and Iain Bate

Facilitating the Maintenance of Safety Cases
Omar Jaradat, Iain Bate and Sasikumar Punnekkat

An Opportunistic Transmission Protocol for Body Sensor Networks using RSSI and On-board Accelerometer
Tiong Hoo Lim and Iain Bate

A Function for Hard Real-Time System Search-Based Task Mapping Optimisation
M. Norazizi Sham Mohd Sayuti and Leandro Soares Indrusiak

Simultaneous Optimisation of Task Mapping and Priority Assignment for Real-Time Embedded NoCs
M. Norazizi Sham Mohd Sayuti and Leandro Soares Indrusiak

Network-on-Chip Packet Prioritisation based on Instantaneous Slack Awareness
Bharath Sudev Leandro Soares Indrusiak and James Harbin

FPGA-based acceleration for Real-Time Big Data Systems
I. Gray, N. Audsley, J. Garside, Y. Chan, A. Wellings

A toolchain-based approach to handling variability in embedded MPSoCs
I. Gray, N. C. Audsley and A. Acquaviva

Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole Networks-on-Chip
Leandro Soares Indrusiak, James Harbin and Alan Burns

GMCB: An Industrial Benchmark for use in Real-Time Mixed-Criticality Networks-on-Chip
James Harbin, Tom Fleming, Leandro Soares Indrusiak and Alan Burns

A Bailout Protocol for Mixed Criticality Systems
I. Bate, A. Burns and R.I. Davis

What is the Exact Speedup Factor for Fixed Priority Pre-emptive versus Fixed Priority Non-pre-emptive Scheduling?
R. I. Davis , O. Gettings, A. Thekkilakattil, R. Dobrin and S. Punnekkat

Cache related pre-emption delays in hierarchical scheduling
W. Lunniss, S. Altmeyer, G. Lipari and R.I. Davis

Partial Paging for Real-Time NoC Systems
Adrian McMenamin and Neil C. Audsley

Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Preemption
R.I. Davis, A. Burns, J. Marinho, V. Nelis, S.M. Petters and M. Bertogna

Tunable Response Time Upper Bound for Fixed Priority Real-Time Systems
Q. Lu, A.M.K. Cheng and R.I. Davis

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems
Irfan Sljivo, Omar Jaradat, Iain Bate and Patrick Graydon

Static probabilistic timing analysis for real-time systems using random replacement caches
S. Altmeyer, L. Cucu-Grosjean and R.I. Davis