University of York, Department of Computer Science

Dr. Robert Davis

Robert is a Senior Research Fellow in the Real-Time Systems Research Group and a Non-Executive Director of Rapita Systems Ltd.

Events

Robert is Program co-Chair of the 21st International Conference on Real Time Networks and Systems (RTNS 2103) to be held in Sophia Antipolis, France, 17th-18th Oct 2013. Submission deadline 28th June 2013.

Robert is on the Steering Committee of the 4th Real-Time Scheduling Open Problems Seminar (RTSOPS) to be held in conjunction with ECRTS 2013, Paris, France, 9th July 2013. Submissions open.

Robert gave the Keynote talk at the 20th International Conference on Real Time and Network Systems (RTNS) held in Pont à Mousson, France, 8th-9th Nov 2012. (Keynote Presentation)


PhD FUNDING AVAILABLE for UK/EU Students see http://www.cs.york.ac.uk/postgraduate/research-degrees/research-studentships/phd-studentships/

Research Interests

Robert's research interests include: Real-Time Embedded Systems; Real-Time Scheduling; Schedulability Analysis for single processor, multiprocessor, and networked systems; Mixed-Criticality systems. Integration of Schedulability and WCET analysis; Probabilistic Hard Real-Time Systems.

Robert has written more than 60 refereed publications which are listed on his publications page . Further information can also be found via his Google Scholar Profile

Journal papers published in Real-Time Systems (8).

Conference papers published in the IEEE Real-Time Systems Symposium (12).

Highlighted Journal Papers

R.I. Davis, S. Kollmann, V. Pollex, F. Slomka, "Schedulability Analysis for Controller Area Network (CAN) with FIFO Queues Priority Queues and Gateways. ”. Real-Time Systems, Volume 49, Issue 1, Pages 73-116, Jan 2013. DOI: 10.1007/s11241-012-9167-8. The previous link is to the author's version of the work, the final publication is available at www.springerlink.com.

S. Altmeyer, R.I. Davis, C. Maiza “Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems” . Real-Time Systems, Volume 48, Issue 5, Pages 499-526, Sept 2012. DOI: 10.1007/s11241-012-9152-2. The previous link is to the author's version of the work, the final publication is available at www.springerlink.com.

R.I. Davis and A. Burns "A Survey of Hard Real-Time Scheduling for Multiprocessor Systems." © ACM, (2011). ACM Computing Surveys, 43, 4, Article 35 (October 2011), 44 pages. DOI 10.1145/1978802.1978814. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is available from at ACM Computing Surveys. If you make use of this survey as part of your research, then please consider referencing it as well as the specific works that it guides you to.

R.I. Davis and A. Burns, "Improved Priority Assignment for Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Real-Time Systems”. Real-Time Systems, (2011) Volume 47, Number 1, pages 1-40, (First published online 22nd September 2010). DOI 10.1007/s11241-010-9106-5. The previous link is to the author's version of the work, the final publication is available at www.springerlink.com.

R.I. Davis, T. Rothvoß, S.K. Baruah, A. Burns, "Exact Quantification of the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling”. Real-Time Systems, Volume 43, Number 3, pages 211-258, November 2009 (Published online 17th July 2009). The previous link is to the author's version of the work, the final publication is available at www.springerlink.com. (Presentation)

R.I. Davis, A. Zabos, A. Burns, "Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems”. IEEE Transactions on Computers IEEE Computer Society Digital Library. IEEE Computer Society, September 2008 (Vol. 57, No. 9) pp. 1261-1276.
The previous link is to the author’s version of the work, the final publication is available at the IEEE Computer Society Digital Library.

Highlighted Conference Papers

A. Burns, R.I. Davis, "Mixed Criticality on Controller Area Network (CAN)”. In proceedings 25th Euromicro Conference on Real-Time Systems (ECRTS 2013), (to appear), 9-12th July 2013.

R.I. Davis, L. Santinelli, S. Altmeyer, C. Maiza, L. Cucu-Grosjean5, "Analysis of Probabilistic Cache Related Pre-emption Delays”. In proceedings 25th Euromicro Conference on Real-Time Systems (ECRTS 2013) , (to appear), 9-12th July 2013.

R.I. Davis, M. Bertogna "Optimal Fixed Priority Scheduling with Deferred Pre-emption” . In proceedings 33rd IEEE Real-Time Systems Symposium (RTSS'12) , Dec 4th - 7th, 2012. (Presentation).

J.Whitham, R.I. Davis, N.C. Audsley, S.Altmeyer, C. Maiza "Investigation of Scratchpad Memory for Preemptive Multitasking” . In proceedings 33rd IEEE Real-Time Systems Symposium (RTSS'12) , Dec 4th - 7th, 2012. (Presentation).

S.K. Baruah, A. Burns, R.I. Davis “Response Time Analysis for Mixed Criticality Systems”. In proceedings 32nd IEEE Real-Time Systems Symposium (RTSS'11), pages 34-43, Nov 29th - Dec 2nd, 2011. (Presentation)

R.I. Davis, S. Kollmann, V. Pollex, F. Slomka, "Controller Area Network (CAN) Schedulability Analysis with FIFO queues”. In proceedings 23rd Euromicro Conference on Real-Time Systems (ECRTS), pages 45-56, July 2011. (Presentation) Best paper award.

Recent Technical Reports

Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza and Liliana Cucu-Grosjean, “Analysis of Probabilistic Cache Related Pre-emption Delays”. University of York, Department of Computer Science Technical Report, YCS-2012-477, Oct 2012 (revised Feb 2013).

Will Lunniss, Sebastian Altmeyer, Claire Maiza, Robert I. Davis, “Integrating Cache Related Pre-emption Delay Analysis into EDF Scheduling”. University of York, Department of Computer Science Technical Report, YCS-2012-478, Oct 2012.

R.I. Davis and A. Burns, “On Optimal Priority Assignment for Response Time Analysis of Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Hard Real-Time Systems”. University of York, Department of Computer Science Technical Report, YCS-2009-451, April 2010.

Biography

Robert received a DPhil in Computer Science from the University of York in 1995. Since then he has founded three start-up companies, all of which have succeeded in transferring real-time systems research into commercial product.

At Northern Real-Time Technologies Ltd. (1995-1997) he was responsible for development of the Volcano Controller Area Network (CAN) software library. This technology has since been widely used in the automotive industry, by companies including: Volvo, Jaguar, Landrover, Aston Martin, Mazda, SAIC and others.

At LiveDevices Ltd. (1997-2001) he was responsible for development of the Real-Time Architect suite of products, including a highly efficient, single-stack Real-Time Operating System (RTOS) Today, OSEK and Autosar compliant derivatives of this RTOS are used by the majority of the worlds leading automotive manufacturers and suppliers. Approximately 50 million new copies of the RTOS are deployed each year.

In 2002, Robert returned to research at the University of York, initially working in the Advanced Computer Architectures Group on AURA pattern matching technology. Robert was responsible for developing a new version of the AURA library, achieving a 3-fold improvement in both search times and memory requirement. Today the AURA library is used extensively in research and also in a number of products marketed by Cybula Ltd.

In 2004, Robert re-joined the Real-Time Systems Research Group, where he was involved in setting up Rapita Systems Ltd., a spin out company, aimed at transferring worst-case execution time analysis technology into industry. Today this technology is used by leading Avionics, Space and Telecommunications companies.

EngD Students

Robert is supervising:
Will Lunniss who is doing an EngD in association with Rapita Systems on "On-Target Verification of Complex Embeded Real-Time Systems".

Oliver Gettings who is doing an EngD in association with Rapita Systems on "Real-Time Scheduling, Verification and Visualisation".

Potential PhD Students

Potential PhD students should contact me via email to discuss possible PhD studies prior to completion of University application forms.

PhD Topics
Contact Details

Location: Office CSE/139, Department of Computer Science, University of York, Deramore Lane, York, YO10 5GH.
Telephone: +44 (0) 1904 325573.
Email: rob.davis within york.ac.uk