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
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
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
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
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
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
On the effectiveness of cache partitioning in hard real-time systems
Sebastian Altmeyer, Roeland Douma, Will Lunniss and Robert I. Davis