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

Papers published in 2006

A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications
B.M. Brosgol, A.J. Wellings (2006)
Reliable Software Technologies - Ada Europe 2006, Lecture Notes in Computer Science
[ Abstract and Details ]

A co-design strategy for embedded Java applications based on a hardware interface with invocation semantics
Andrew Borg, Rui Gao, Neil Audsley (2006)
JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
[ Abstract and Details | Download ]

Controller Area Network (CAN) Schedulability Analysis: Refuted, Revisited and Revised
Robert Davis, Alan Burns, Reinder Bril,, Johan Lukkien (2006)
Compuer Science Dept., University of York
[ Abstract and Details ]

Efficient OS Resource Management for Distributed Embedded Real-Time Systems
N. Audsley, R. Gao, A. Patil, P. Usher (2006)
Proceedings of Workshop on Operating Systems Platforms for Embedded Real-Time applications
[ Abstract and Details | Download ]

Formal analysis of aperiodic and sporadic real-time threads in the RTSJ
O. M. Santos, A. Wellings (2006)
4th international workshop on Java technologies for real-time and embedded systems
[ Abstract and Details ]

Getting More Flexible Scheduling in the RTSJ
A. Zerzelidis, A. J. Wellings (2006)
Proceedings 9th IEEE ISORC
[ Abstract and Details | Download ]

Hard Real-time Hybrid Garbage Collection with Low Memory Requirement
Y. Chang (2006)
University of York
[ Abstract and Details | Download ]

Hard Real-time Hybrid Garbage Collection with Low Memory Requirements
Y. Chang, A. J. Wellings (2006)
Proceedings of the 27th IEEE Real-Time Systems Symposium
[ Abstract and Details | Download ]

Incorporating Scenarios And Heuristics To Improve Flexibility In Real-Time Embedded Systems
I. Bate, P. Emberson (2006)
12th IEEE Real-Time And Embedded Technology And Applications Symposium
[ Abstract and Details | Download ]

Learning Worst-Case Execution Time Loop Bounds with Inductive Logic Programming
D. Kazakov, I. Bate (2006)
[ Abstract and Details ]

Low Memory Overhead Real-Time Garbage Collection for Java
Yang Chang, Andy Wellings (2006)
Proceedings of the 4th International Workshop on Java Technologies for Real-time and Embedded Systems
[ Abstract and Details | Download ]

MCGREP - A Predictable Architecture for Embedded Real-time Systems
J. Whitham, N. Audsley (2006)
Proc. RTSS
[ Abstract and Details | Download ]

Model-based Verification of a Framework for Flexible Scheduling in the Real-Time Specification for Java
A. Zerzelidis (2006)
University of York - Department of Computer Science
[ Abstract and Details | Download ]

Model-based Verification of a Framework for Flexible Scheduling in the Real-Time Specification for Java
Alexandros Zerzelidis, Andy Wellings (2006)
JTRES '06: Proceedings of the 4th International Workshop on Java Technologies for Real-time and Embedded Systems
[ Abstract and Details | Download ]

Motivations and Support for Single Nested Scoping in the Ravenscar-Java Profile
J. Kwon, A.J. Wellings (2006)
Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems 2006 (SEUS 2006)
[ Abstract and Details ]

On Fixed Priority Preemptive Scheduling for Imprecise Computation
Yanching Chu (2006)
Department of Computer Science, University of York, UK
[ Abstract and Details ]

Optimal priority assignment in the presence of blocking
K. Bletsas, N. C. Audsley (2006)
Information Processing Letters
[ Abstract and Details ]

Optimality of (D-J)-monotonic Priority Assignment
A. Zuhily (2006)
University of York, Dept. of Computer Science
[ Abstract and Details | Download ]

Programming Execution-Time Servers in Ada 2005
A. Burns, A.J. Wellings (2006)
Proceedings of the 27th IEEE Real-Time Systems Symposium
[ Abstract and Details | Download ]

Real-Time Memory Management: Life and Times
Andrew Borg, Andy Wellings, Christopher Gill, Ron K. Cytron (2006)
18th Euromicro Conference on Real-Time Systems (ECRTS'06)
[ Abstract and Details | Download ]

Resource Sharing in Hierarchical Fixed Priority Pre-emptiveSystems
R.I Davis, A. Burns (2006)
Pproceedings of the 27th IEEE Real-Time Systems Symposium
[ Abstract and Details ]

Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applications
A, Borg, A. J. Wellings (2006)
International Journal of Embedded Systems
[ Abstract and Details ]

Sustainable Scheduling Analysis
S. Baruah, A. Burns (2006)
Proceedings of the 27th IEEE Real-Time Systems Symposium
[ Abstract and Details | Download ]

Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning
D. Kazakov, I. Bate (2006)
Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation
[ Abstract and Details | Download ]

Towards a File System Interface for Mobile Resources in Networked Embedded Systems
N.C. Audsley, R. Gao, A. Patil (2006)
Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation
[ Abstract and Details | Download ]

Tree-Based WCET Analysis on Instrumentation Point Graphs
A. Betts, G. Bernat (2006)
Proceedings of the 9th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC)
[ Abstract and Details | Download ]

Integrating Custom Instruction Specifications into C Development Processes
Jack Whitham, Neil Audsley (2006)
Proc. Int. Workshop on Applied Reconfigurable Computing
[ Abstract and Details | Download ]