Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

41 résultats
Image document

Cache related pre-emption delays in hierarchical scheduling

Will Lunniss , Sebastian Altmeyer , Giuseppe Lipari , Robert Davis
Real-Time Systems, 2016, 52 (2), pp.201-238. ⟨10.1007/s11241-015-9228-x⟩
Article dans une revue hal-01287347v1

Quantifying the Exact Sub-Optimality of Non-Preemptive Scheduling

Robert Davis , Abhilash Thekkilakattil , Oliver Gettings , Radu Dobrin , Sasikumar Punnekkat
36th Real-Time Systems Symposium (RTSS 2015), Dec 2015, San Antonio, Texas, United States
Communication dans un congrès hal-01231718v1

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

Robert Davis , Alan Burns , Victor Pollex , Frank Slomka
RTNS 2015 - 23rd International Conference on Real-Time Networks and Systems., Nov 2015, Lille, France. pp.279-288, ⟨10.1145/2834848.2834866⟩
Communication dans un congrès hal-01231705v1

Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121)

Sanjoy K. Baruah , Liliana Cucu-Grosjean , Robert Davis , Claire Maiza
Dagstuhl Seminar on Mixed Criticality on Multicore/Manycore Platforms , Mar 2015, Dagstuhl, Germany. , 2015, ⟨10.4230/DagRep.5.3.84⟩
Proceedings/Recueil des communications hal-01244394v1
Image document

Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

Dorin I Maxim , Robert Davis , Liliana Cucu-Grosjean , Arvind Easwaran
WMC 2016 - 4th International Workshop on Mixed Criticality Systems, Nov 2016, Porto, Portugal
Communication dans un congrès hal-01416310v1

Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms

Robert Davis , Alan Burns , Sanjoy K. Baruah , Thomas Rothvoss , Laurent George , et al.
Real-Time Systems, 2015, 51 (5), pp.566 - 601. ⟨10.1007/s11241-015-9233-0⟩
Article dans une revue hal-01796734v1

Modelling Fault Dependencies when Execution Time Budgets are Exceeded

David Griffin , Benjamin Lesage , Iain Bate , Frank Soboczenski , Robert I. Davis
23rd International Conference on Real-Time Networks and Systems (RTNS 2015), Nov 2015, Lille, France. pp.129-138, ⟨10.1145/2834848.2834870⟩
Communication dans un congrès hal-01230443v1

Proceedings of the 3rd International Workshop on Mixed Criticality Systems

Liliana Cucu-Grosjean , Robert Davis
2015
Ouvrages hal-01244384v1
Image document

Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor

Hamza Rihani , Matthieu Moy , Claire Maiza , Robert Davis , Sebastian Altmeyer
RTNS, Nov 2016, Brest, France
Communication dans un congrès hal-01406145v1

PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

Robert Davis , Tullio Vardanega , Jan Alexanderson , Francis Vatrinet , Mark Pearce , et al.
Ada User Journal, 2014, 2, pp.118-122
Article dans une revue hal-01094390v1

Probabilistic schedulability analysis

Dorin Maxim , Liliana Cucu-Grosjean , Robert Davis
Arvind Easwaran. Handbook on Real-Time Computing, Springer, In press, Handbook on Real-Time Computing
Chapitre d'ouvrage hal-01666110v1

On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs

Benjamin Lesage , Sebastien Altmeyer , David Griffin , Liliana Cucu-Grosjean , Robert Davis
Real-Time Systems, 2018, 54 (2), pp.307-388. ⟨10.1007/s11241-017-9295-2⟩
Article dans une revue hal-01666091v1
Image document

Probabilistic Analysis for Mixed Criticality Systems using Fixed Priority Preemptive Scheduling

Dorin I Maxim , Robert Davis , Liliana Cucu-Grosjean , Arvind Easwaran
RTNS 2017 - International Conference on Real-Time Networks and Systems, Oct 2017, Grenoble, France. pp.10, ⟨10.1145/3139258.3139276⟩
Communication dans un congrès hal-01614684v1
Image document

Approximate Response Time for Fixed Priority Real-Time Systems with Energy-Harvesting

Yasmina Abdeddaïm , Younès Chandarli , Robert I. Davis , Damien Masson
2014
Rapport hal-00986340v3

Mixed criticality systems with weakly-hard constraints

Oliver Gettings , Sophie Quinton , Robert Davis
International Conference on Real Time and Networks Systems, Nov 2015, Lille, France. ⟨10.1145/2834848.2834850⟩
Communication dans un congrès hal-01257067v1
Image document

Exact Response Time Analysis for Fixed Priority Memory-Processor Co-Scheduling

Alessandra Melani , Marko Bertogna , Robert Davis , Vincenzo Bonifaci , Alberto Marchetti-Spaccamela , et al.
IEEE Transactions on Computers, 2017, 66, pp.631 - 646. ⟨10.1109/TC.2016.2614819⟩
Article dans une revue hal-01556792v1
Image document

Partitioned EDF Scheduling for Multiprocessors using a C=D Scheme

Alan Burns , Robert Davis , P. Wang , Fengxiang Zhang
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.169-178
Communication dans un congrès hal-00546939v1
Image document

Spare Capacity Distribution Using Exact Response-Time Analysis

Attila Zabos , Robert Davis , Alan Burns , Michael Gonzalez Harbour
17th International Conference on Real-Time and Network Systems, Oct 2009, Paris, France. pp.97-106
Communication dans un congrès inria-00441974v1

Proceedings of 1st International Workshop on Mixed-Criticality Systems

Liliana Cucu-Grosjean , Robert Davis
L Cucu and R Davis. University of York, pp.90, 2013
Ouvrages hal-00920923v1

A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems

Robert Davis , Liliana Cucu-Grosjean
Leibniz Transactions on Embedded Systems, 2019, 6 (1), pp.53. ⟨10.4230/LITES-v006-i001-a004⟩
Article dans une revue hal-02158985v1

A Generic and Compositional Framework for Multicore Response Time Analysis

Sebastian Altmeyer , Robert Davis , Leandro Soares Indrusiak , Claire Maiza , Vincent Nélis , et al.
RTNS 2015 - 23rd International Conference on Real-Time Networks and Systems., Nov 2015, Lille, France. pp.129-138, ⟨10.1145/2834848.2834862⟩
Communication dans un congrès hal-01231700v1
Image document

Schedulability Analysis of CAN with Non-abortable Transmission Requests

Dawood Khan , Robert Davis , Nicolas Navet
16th IEEE ETFA 2011, Sep 2011, Toulouse, France
Communication dans un congrès hal-00644298v1
Image document

An Investigation into Server Parameter Selection for Hierarchical Fixed Priority Pre-emptive Systems

Rob Davis , Alan Burns
16th International Conference on Real-Time and Network Systems (RTNS 2008), Isabelle Puaut, Oct 2008, Rennes, France
Communication dans un congrès inria-00336435v1

Static probabilistic timing analysis for real-time systems using random replacement caches

Altmeyer Sebastian , Liliana Cucu-Grosjean , Robert Davis
Real-Time Systems, 2015, 51 (1), pp.77-123. ⟨10.1007/s11241-014-9218-4⟩
Article dans une revue hal-01244349v1

Static Probabilistic Timing Analysis for Multi-path Programs

Benjamin Lesage , David Griffin , Sebastian Altmeyer , Robert Davis
RTSS 2015 - 36th Real-Time Systems Symposium., Dec 2015, San Antonio, Texas, United States
Communication dans un congrès hal-01231729v1

A Framework For The Evaluation Of Measurement-based Timing Analyses

Benjamin Lesage , David Griffin , Frank Soboczenski , Iain Bate , Robert Davis
23rd International Conference on Real-Time Networks and Systems (RTNS 2015), Nov 2015, Lille, France. pp.35-44
Communication dans un congrès hal-01231710v1

On the Compatibility of Exact Schedulability Tests for Global Fixed Priority Preemptive Scheduling with Audsley’s Optimal Priority Assignment Algorithm

Robert Davis , Marko Bertogna , Vincenzo Bonifaci
Real-Time Systems, 2015, ⟨10.1007/s11241-015-9241-0⟩
Article dans une revue hal-01231694v1

A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems

Robert Davis , Liliana Cucu-Grosjean
Leibniz Transactions on Embedded Systems, 2019, 6 (1), pp.60. ⟨10.4230/LITES-v006-i001-a003⟩
Article dans une revue hal-02158973v1

A survey of schedulability analysis techniques for rate-dependent tasks

Timo Feld , Alessandro Biondi , Robert Davis , Giorgio Buttazzo , Frank Slomka
Journal of Systems and Software, 2018, 138, pp.100-107. ⟨10.1016/j.jss.2017.12.033⟩
Article dans une revue hal-02461796v1

On the Optimality of Priority Assignment for Probabilistic Real-Time Systems

Dorin Maxim , Olivier Buffet , Luca Santinelli , Liliana Cucu-Grosjean , Rob Davis
19th International Conference on Real-Time and Network Systems - RTNS 2011, Sep 2011, Nantes, France
Communication dans un congrès inria-00614480v1