University of York, Department of Computer Science
Real-Time Systems Research Group

Recent PhD theses


Attila Zabos Temporal Partitioning of Flexible Real-Time Systems
Mohammed Fathi Alrahmawy Design Patterns and Component Framework for Building
Ke Yu Real-Time Operating System Modelling and Simulation Using SystemC
Adam Betts Hybrid Measurement-Based WCET Analysis using Instrumentation Point Graphs
Zheng Shi Real-Time Communication Services for Networks on Chip
Paul Emberson Searching For Flexible Solutions To Task Allocation Problems
Jonathan Tate Principled Tuning and Structuring Methods for Sensornets
Nick Lay Enhancing Real-time Embedded Systems Development Using Artificial Immune Systems
Roderick G. White Capturing the Temporal Properties of Complex Systems: an Evaluation of the Timebands Approach
Min Seong Kim Asynchronous Event Handling and the Real-Time Specification for Java
Fengxiang Zhang Analysis for EDF Scheduled Real-Time Systems
Amine Marref Predicted Worst-Case Execution-Time Analysis
Areej Zuhily Scheduling Analysis of Fixed Priority Hard Real-Time Systems with Multiframe Tasks
Osmar M. Santos Run Time Detection of Timing Errors In Real-Time Systems
Ralf Dieter Reutemann Worst-Case Execution Time Analysis for Dynamic Branch Predictors
Paul Usher Efficiently Accessing Devices Across Local Area Networks
Alexandros Zerzelidis A Framework For Flexible Scheduling In Real-Time Middleware
Jack Whitham Real-time Processor Architectures for Worst Case Execution Time Reduction
Ameet Patil Application-Specific Resource Management in Real-Time Operating Systems
Yang Chang Garbage Collection for Flexible Hard Real-Time Systems
Konstantinos Bletsas Worst-case and Best-case Timing Analysis for Real-time Embedded Systems with Limited Parallelism
Armando Aquilar-Soto Fixed Priority Scheduling Algorithms with Multiple Objectives in Hard Real-Time Systems
Jagun Kwon Ravenscar-Java: Java Technology for High-Integrity Real-Time Systems
Andrew Borg Coarse Grain Memory Management In Real-Time Systems
Rachel Baker An Approach for Dealing with Dynamic Multi-Attribute Decision Problems
Hao Cai A Virtual Machine for High Integrity Real-Time Systems
M. Ward Improving the Timing Analysis of Ravenscar / SPARK Ada by Direct Compilation to Hardware
Yu-Shing Hu A Portable Worst-Case Execution Time Analysis Framework for Real-Time Java Architectures
S. F. Edgar Estimation of Worst-Case Execution Time Using Statistical Analysis
M. D. Bennett A Kernel For IMA Systems
I. Broster Flexibility in Dependable Real-time Communication
P. Rogers Software Fault Tolerance and the Ada Programming Language
G. M. Lima Fault Tolerance in Fixed-Priority Hard Real-Time Distributed Systems
Alan Grigg Reservation-Based Timing Analysis (A Partitioned Timing Analysis Model for Distributed Real-Time Systems)
D. Priddin Method Integration for Real-Time System Design and Verification
M. Piveropoulos Requirements Engineering For Hard Real-Time Systems
S. A. Aldarmi Scheduling Soft-Deadline Real-Time Transactions