Papers published in 2016

Synthetic Workload Generation of Broadcast Related HEVC Stream Decoding for Resource Constrained Systems
Hashan Roshantha Mendis and Leandro Soares Indrusiak

Mapping of real-time applications on a packet switching NoC-based MPSoC
G. A. Madalozzo, L. S. Indrusiak, F. G. Moraes

PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis
Francisco J. Cazorla and Jaume Abella and Jan Andersson and Tullio Vardanega and Francis Vatrinet and Iain Bate and Ian Broster and Mikel Azkarate-Askasua and Franck Wartel and Liliana Cucu and Fabrice Cros and Glenn Farrall and Adriana Gogonel and Andrea Gianarro and Benoit Triquet and Carles Hernández and Code Lo and Cristian Maxim and David Morales and Eduardo Quiñones and Enrico Mezzetti and Leonidas Kosmidis and Irune Agirre and Mikel Fernández andMladen Slijepcevic and Philippa Conmy and Walid Talaboulma

Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC
D. Maxim, R.I. Davis, L. Cucu-Grosjean and A. Easwaran

A Globally Arbitrated Memory Tree for Mixed-Time-Criticality Systems
N. C. Audsley, M. Gonomy, J. Garside, B. Akesson and K. Goossens

Utilising Asymmetric Parallelism in Multi-Core MCS Implemented via Cyclic Executives
Fleming Tom and Burns Alan

Improving the Schedulability of Mixed Criticality Cyclic Executives via Limited Task Splitting
Fleming Tom, Baruah Sanjoy and Burns Alan

Scheduling for Mixed-criticality Hypervisor Systems in the Automotive Domain
C. Evripidou and A. Burns

Architecting Time-Critical Big-Data Systems
N. C. Audsley, P. Basanta-Val, A. J. Wellings, I. Gray and N. Fernandez-Garcio

Architecting Time-Critical Big-Data Systems
Audsley, N. C., Basanta-Val, P., Wellings, A. J., Gray, I. & Fernandez-Garcio, N

Application modeling for performance evaluation on event-triggered wireless sensor networks
Lisane Brisolara, Paulo R. Ferreira Jr. and Leandro Soares Indrusiak

Eboracum: An Extensible Framework for High-level Modeling and Evaluation of Reactive and Adaptable WSNs
Milena R. S. Marques, Lisane Brisolara, Paulo R. Ferreira and Leandro Soares Indrusiak

Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing
Leandro Soares Indrusiak, Piotr Dziurzanski and Amit Kumar Singh

The Deadline Floor Protocol and Ada
A. Burns and A.J. Wellings

Synchronous Task Control and Synchronous Barriers
A. Burns and A.J. Wellings

Identifying usage anomalies for ECG-based sensor nodes
Lei Chen, Iain Bate

A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility
F. Pölzlbauer, R. I. Davis and I. Bate

Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor
H. Rihani, M. Moy, C. Maiza, R. I. Davis and S. Altmeyer

Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling
R.I. Davis, S. Altmeyer and J. Reineke

On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs
B. Nikolic, L. M. Pinho and L. S. Indrusiak

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

Many suspensions, many problems: A review of self-suspending tasks in real-time systems
Chen JJ, Nelissen G, Huang WH, Yang M, Brandenburg B, Bletsas K, Liu C, Richard P, Ridouard F, Audsley N, Rajkumar R. and de Niz D.

Session Summary: Deadline Floor Protocol
Burns Alan and Wellings Andy

Implementing Safety-Critical Java Missions in Ada
Wellings A. J., Cholpanov V. and Burns A.

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

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment
Freitas, Leo and Baxter, James and Cavalcanti, Ana and Wellings, Andy

A Formal Model of the Safety-Critical Java Level 2 Paradigm
Luckcuck, Matt and Cavalcanti, Ana and Wellings, Andy

Systematic Maintenance of Safety Cases to Reduce Risk
Omar Jaradat and Iain Bate

Exact Response Time Analysis for Fixed Priority Memory-Processor Co-scheduling
A. Melani, M. Bertogna, R. I. Davis, V. Bonifaci, A. Marchetti-Spaccamela and G. Buttazzo

Value and Energy Aware Adaptive Resource Allocation of Soft Real-Time Jobs on Many-Core HPC Data Centers
Amit Kumar Singh and Piotr Dziurzanski and Leandro Soares Indrusiak

Exact Speedup Factors for Linear-Time Schedulability Tests for Fixed-Priority Preemptive and Non-preemptive Scheduling
G. von der Bruggen, J-J. Chen, R. I. Davis and W-H. K. Huang

Energy-Aware Resource Allocation in Multi-mode Automotive Applications with Hard Real-Time Constraints
Piotr Dziurzanski and Amit Kumar Singh and Leandro Soares Indrusiak

Design space exploration for complex automotive applications: an engine control system case study
Khalid Latif and Manuel Selva and Charles Effiong and Roman Ursu and Abdoulaye Gamatié and Gilles Sassatelli and Leonardo Zordan and Luciano Ost and Piotr Dziurzanski and Leandro Soares Indrusiak

Feedback-Based Admission Control for Hard Real-Time Task Allocation Under Dynamic Workload on Many-Core Systems
Piotr Dziurzanski and Amit Kumar Singh and Leandro Soares Indrusiak

Hardware-Accelerated Parallel Genetic Algorithm for Fitness Functions with Variable Execution Times
Yunfeng Ma and Leandro Soares Indrusiak

Low Communication Overhead Dynamic Mapping of Multiple HEVC Video Stream Decoding on NoCs
Mendis Hashan Roshantha and Indrusiak Leandro Soares

Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis
Stephen A. Law and Iain. Bate

Scheduling mixed-criticality systems to guarantee some service under all non-erroneous behaviors
S. Baruah, A. Burns and Z. Guo

Why the Expressive Power of Programming Languages such as Ada is needed for future Cyber Physical Systems
A. Burns

Real-Time Stream Processing in Java
HaiTao Me Ian Gray and Andy Wellings

A Java-Based Real-Time Reactive Stream Framework
HaiTao Me Ian Gray and Andy Wellings

A Review of Priority Assignment in Real-Time Systems
R. I. Davis, L. Cucu-Grosjean, M. Bertogna and A. Burns

Comparative performance evaluation of latency and link dynamic power consumption modelling algorithms in wormhole switching networks on chip
James Harbin and Leandro Soares Indrusiak

Benchmarking, System Design and Case-studies for Multi-core based Embedded Automotive Systems
Piotr Dziurzanski, Amit Kumar Singh, Leandro Soares Indrusiak and Björn Saballus

Bidding policies for market-based HPC workflow scheduling
A. Burkimsher and L. S. Indrusiak

Low Communication Overhead Dynamic Mapping of Multiple HEVC Video Stream Decoding on NoCs
H. R. Mendis and L. S. Indrusiak

On the effectiveness of cache partitioning in hard real-time systems
Sebastian Altmeyer, Roeland Douma, Will Lunniss and Robert I. Davis