Papers published in 2015 | Real-Time Systems Group Skip to main content Toggle navigation Real-Time Systems Group People Projects Publications Impact Group RTSLab 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 Contents © 2019 University of York - Design and Coding David Griffin - Powered by Nikola/bootstrap3