Robert Ian Davis

Search results

• 2024

  Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time Classification

  Baruah, S., Bate, I. J., Burns, A. & Davis, R. I., 26 Jun 2024, IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, p. 29-41

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2023

  Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty

  Abdelzaher, T. F., Baruah, S., Bate, I. J., Burns, A., Davis, R. I. & Hu, Y., 6 Jun 2023, RTNS '23: Proceedings of the 31st International Conference on Real-Time Networks and Systems. ACM, p. 143-154 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2022

  Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling

  Bate, I. J., Burns, A. & Davis, R. I., 5 May 2022, Proceedings 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS). p. 187-200

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Compensating Adaptive Mixed Criticality Scheduling

  Davis, R. I., Burns, A. & Bate, I., 7 Jun 2022, RTNS 2022 - Proceedings of the 30th International Conference on Real-Time Networks and Systems. Abdeddaïm, Y., Cucu-Grosjean, L., Nelissen, G. & Pautet, L. (eds.). ACM, p. 81-93 13 p. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Mixed Criticality on Multi-cores Accounting for Resource Stress and Resource Sensitivity

  Davis, R. I. & Bate, I., 7 Jun 2022, RTNS 2022 - Proceedings of the 30th International Conference on Real-Time Networks and Systems. Abdeddaïm, Y., Cucu-Grosjean, L., Nelissen, G. & Pautet, L. (eds.). ACM, p. 103-115 13 p. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• On the Trade-offs between Generalization and Specialization in Real-Time Systems

  Bruggen, G. V. D., Burns, A., Chen, J.-J., Davis, R. I. & Reineke, J., 23 Aug 2022, 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2021

  Schedulability Analysis for Multi-core Systems Accounting for Resource Stress and Sensitivity

  Davis, R. I., Griffin, D. J. & Bate, I. J., 6 Apr 2021, (Accepted/In press) 33rd Euromicro Conference on Real-Time Systems 2021 (proceedings). ACM, p. 7:1-7:26 26 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2020

  An Empirical Survey-based Study into Industry Practice in Real-time Systems

  Akesson, B., Nasri, M., Nelissen, G., Altmeyer, S. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (Proceedings). 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests

  Griffin, D. J., Bate, I. J. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (proceedings). 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance

  Burns, A. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (Proceedings). 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept

  Dziurzanski, P., Davis, R. I. & Soares Indrusiak, L., 2 Apr 2020, Proceedings of the 40th IEEE Real-Time Systems Symposium. p. 43-55 (Real-Time Systems Symposium).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2018

  AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems

  Burns, A., Harbin, J. R., Soares Indrusiak, L., Bate, I. J., Davis, R. I. & Griffin, D. J., 1 Aug 2018, IEEE Embedded and Real-Time Computing Systems and Applications: RTCSA. 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2017

  Analysis and Optimization of Message Acceptance Filter Configurations for Controller Area Network (CAN)

  Pölzlbauer, F., Bate, I. J. & Davis, R. I., 2017, International Conference on Real-Time Networks and Systems. ACM, p. 247-256

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Forecast-Based Interference: Modelling Multicore Interference from Observable Factors

  Griffin, D. J., Lesage, B. M.J.-R., Bate, I. J., Soboczenski, F. & Davis, R. I., 2017, International Conference on Real-Time Networks and Systems. ACM, p. 198-207

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• On the Pitfalls of Resource Augmentation Factors and Utilization Bounds in Real-Time Scheduling

  Chen, J. J., Bruggen, G. V. D., Huang, W.-H. & Davis, R. I., Jun 2017, 29th Euromicro Conference on Real-Time Systems (ECRTS 2017). Bertogna, M. (ed.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 9:1-9:25 25 p. (LIPIcs – Leibniz International Proceedings in Informatics; vol. 76).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access
• 2016

  A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility

  Pölzlbauer, F., Davis, R. I. & Bate, I. J., Oct 2016, Proceedings of 24th International Conference on Real-Time Networks and Systems: RTNS16. ACM, p. 45-54

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

  Maxim, D., Davis, R. I., Cucu-Grosjean, L. & Easwaran, A., Dec 2016, Proceedings Workshop on Mixed Criticality systems (WMC) 2016. 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  File
• 2015

  A Bailout Protocol for Mixed Criticality Systems

  Bate, I., Burns, A. & Davis, R. I., 1 Jul 2015, Proceedings, 27th Euromicro Conference on Real-Time Systems: ECRTS 2015. IEEE, p. 259-268 10 p. (Euromicro Conference on Real-Time Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A Framework For The Evaluation Of Measurement-based Timing Analyses

  Lesage, B., Griffin, D., Soboczenski, F., Bate, I. & Davis, R. I., Nov 2015, 23rd International Conference on Real-Time Networks and Systems (RTNS): Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York: ACM, p. 35-44

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A Generic and Compositional Framework for Multicore Response Time Analysis

  Altmeyer, S., Davis, R. I., Soares Indrusiak, L., Maiza, C., Nelis, V. & Reineke, J., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. ACM, p. 129-138

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Mixed Criticality Systems with Weakly-Hard Constraints

  Gettings, O., Quinton, S. & Davis, R. I., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM, p. 129-138

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Modelling Fault Dependencies when Execution Time Budgets are Exceeded

  Griffin, D., Lesage, B., Soboczenski, F., Bate, I. & Davis, R. I., Nov 2015, Proceedings of the 23rd International Conference on Real-Time Networks and Systems: Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM, p. 65-74

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Multiprocessor Fixed Priority Scheduling with Limited Preemptions

  Thekkilakattil, A., Davis, R. I., Dobrin, R., Punnekkat, S. & Bertogna, M., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. ACM, p. 13-22

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On Priority Assignment for Controller Area Network when some Message Identifiers are Fixed

  Davis, R. I., Burns, A., Pollex, V. & Slomka, F., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM, p. 279-288

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers

  Souto, P., Baltarejo Sousa, P., Davis, R. I., Bletsas, K. & Tovar, E., Aug 2015, Proceedings, IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications. IEEE, p. 110-121 (Embedded and Real-Time Computing Systems and Applications (RTCSA), IEEE International Conference on (Formerly Real-Time Computing Systems and Applications, International Workshop on)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Quantifying the Exact Sub-Optimality of Non-Preemptive Scheduling

  Davis, R. I., Thekkilakattil, A., Gettings, O., Dobrin, R. & Punnekkat, S., Dec 2015, (Accepted/In press) Real-Time Systems Symposium (RTSS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Static Probabilistic Timing Analysis for Multi-path Programs

  Lesage, B. M.J.-R., Griffin, D. J., Altmeyer, S. & Davis, R. I., Dec 2015, IEEE Real-Time Systems Symposium (RTSS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2014

  Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling

  Lunniss, W. R. E., Altmeyer, S., Lipari, G. & Davis, R. I., 2014, Real-Time Networks and Systems (RTNS). New York: ACM, p. 183-192 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler

  Lunniss, W., Altmeyer, S. & Davis, R. I., Aug 2014, Junior Researcher Workshop on Real-Time Computing (JRWRTC). p. 13-16 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Adaptive Mixed Criticality Scheduling with Deferred Preemption

  Burns, A. & Davis, R. I., Dec 2014, Proceedings: 2014 IEEE Real-Time Systems Symposium (RTSS 2014). IEEE, p. 21-30 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Evaluation of Cache Partitioning for Hard Real-Time Systems

  Altmeyer, S., Douma, R., Lunniss, W. & Davis, R. I., Jul 2014, Real-Time Systems (ECRTS): 2014 26th Euromicro Conference on. IEEE, p. 15-26 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Integrating Cache-Related Pre-emption Delays into Analysis of Fixed Priority Scheduling with Pre-emption Thresholds

  Bril, R., Altmeyer, S., van den Heuvel, M., Davis, R. I. & Behnam, M., Dec 2014, Proceedings Real-Time Systems Symposium (RTSS 2014). IEEE, p. 161-172 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Lossy Compression for Static Probabilistic Timing Analysis of Random Replacement Caches

  Griffin, D. J., Lesage, B. M.J.-R., Burns, A. & Davis, R. I., Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. ACM, p. 289-298 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On the application of Static Probabilistic Timing Analysis to Memory Hierarchies

  Lesage, B. M.J.-R., Griffin, D. J., Davis, R. I. & Altmeyer, S., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 5-6 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis

  Altmeyer, S. & Davis, R. I., Mar 2014, Design Automation and Test Europe (DATE 2014). IEEE, p. 117-122 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Progress on Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies

  Altmeyer, S., Cucu-Grosjean, L., Davis, R. I. & Lesage, B. M.J.-R., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 7-8 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting

  Abdeddaïm, Y., Chanderli, Y., Masson, D. & Davis, R. I., Oct 2014, Proceedings of the 22nd International Conference on Real-Time Networks and Systems. p. 311-320 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Schedulability Tests for Tasks with Variable Rate-Dependent Behaviour under Fixed Priority Scheduling

  Davis, R. I., Feld, T., Pollex, V. & Slomka, F., Apr 2014, Real-Time and embedded technology and Applications Symposium (RTAS), 2014. IEEE, p. 51-62 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2013

  Analysis of probabilistic cache related pre-emption delays for systems with random cache replacement policies

  Davis, R. I., Santinelli, L., Altmeyer, S., Maiza, C. & Cucu-Grosjean, L., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 168-179

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• An Extended Fixed Priority Scheme for Mixed Criticality Systems

  Baruah, S., Burns, A. & Davis, R. I., Aug 2013, Workshop on Real-Time Mixed Criticality Systems (ReTiMics). George, L. & Lipari, G. (eds.). p. 18-24 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Burns Standard Notation for real time scheduling

  Davis, R., Mar 2013, Real-Time Systems: the past, the present and the future. Audsley, N. & Baruah, S. (eds.). CreateSpace Independent Publishing Platform , p. 38-41

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Global Fixed Priority Scheduling with Deferred Pre-emption

  Davis, R. I., Burns, A., Marinho, J., Nelis, V., Petters, S. & Bertogna, M., 1 Aug 2013, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). p. 1-11

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Improvements to Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies

  Davis, R., Jul 2013, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 22-24

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Integrating Cache Related Pre-emption Delay Analysis into EDF Scheduling

  Lunniss, W., Altmeyer, S., Maiza, C. & Davis, R. I., Apr 2013, Real-Time Applications and Embedded Technology Symposium (RTAS). IEEE, p. 75-84

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Limited Pre-emptive Global Fixed Task Priority

  Marinho, J., Nelis, V., Petters, S., Bertogna, M. & Davis, R. I., Dec 2013, Real-Time Systems Symposium (RTSS). p. 182-191

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Mixed Criticality on Controller Area Network

  Burns, A. & Davis, R. I., 2013, Proceedings of ECRTS. IEEE, p. 125-134 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Mixed Criticality on Controller Area Network (CAN)

  Burns, A. & Davis, R., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 125-134

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Static Probabilistic Timing Analysis for Multicore Processors with Shared Cache

  Davis, R., Jul 2013, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 3-5

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2012

  Controller Area Network (CAN): Response Time Analysis with Offsets

  Yomsi, P. M., Bertrand, D., Navet, N. & Davis, R., May 2012, 9th IEEE International Workshop on Factory Communication Systems. IEEE, p. 43-52

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues

  Davis, R. I. & Navet, N., May 2012, IEEE International Workshop on Factory Communication Systems. IEEE, p. 33-42 6242538

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution