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

Papers published in 2009

A Generic and Accurate RTOS-centric Embedded System Modelling and Simulation Framework
K. Yu, N. Audsley (2009)
Fifth UK Embedded Forum (UKEF09)
[ Abstract and Details | Download ]

A Mixed Timing System-Level Embedded Software Modelling and Simulation Approach
K. Yu, N. Audsley (2009)
Proc. of International Conference on Embedded Software and Systems, ICESS
[ Abstract and Details | Download ]

A Survey of Hard Real-Time Scheduling Algorithms and Schedulability Analysis Techniques for Multiprocessor Systems
R.I. Davis, A. Burns (2009)
University of York, Department of Computer Science
[ Abstract and Details | Download ]

A high abstraction, high accuracy power estimation model for networks-on-chip
Luciano Ost, Guilherme Guindani, Leandro Soares Indrusiak, Cezar Reinbrecht, Thiago Raupp, Fernando Moraes (2009)
SBCCI '09: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design
[ Abstract and Details | Download ]

An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics
HK Lau, I. Bate, J. Timmis (2009)
Proceedings of the 8th International Conference on Artificial Immune Systems (ICARIS 2009)
[ Abstract and Details | Download ]

An Improved Lightweight Synchronisation Primitive For Sensornets
J. Tate, I. Bate (2009)
Proc. 6th IEEE International Conference on Mobile Ad-hoc and Sensor Systems
[ Abstract and Details | Download ]

An RTSJ-based reconfigurable server component
M. Alrahmawy, A. Wellings (2009)
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details | Download ]

Anomaly Detection Inspired by Immune Network Theory: A Proposal
HK Lau, J.Timmis, I.Bate (2009)
Proceedings of the 2009 IEEE Congress on Evolutionary Computation (CEC '09)
[ Abstract and Details | Download ]

Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ
M-S. Kim, A.J. Wellings (2009)
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details ]

Certification of FPGAs - Current Issues and Possible Solutions
P. Conmy, I. Bate (2009)
Safety-critical Systems Symposium 2009
[ Abstract and Details | Download ]

Characterising Embedded Applications using a UML Profile
Sanna Mtt, Leandro Soares Indrusiak, Luciano Ost, Leandro Mller, Manfred Glesner, Fernando Gehm Moraes, Jari Nurmi (2009)
Proc. International Symposium on System-on-Chip (SoC Symposium)
[ Abstract and Details ]

Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005
A. Burns, A. J. Wellings, F. Zhang (2009)
Proceedings of Reliable Software Technologies - Ada-Europe 2009
[ Abstract and Details | Download ]

Comparing Design Of Experiments and Evolutionary Approaches To Multi-Objective Optimisation Of Sensornet Protocols
J. Tate, B. Woolford-Lim, I. Bate, X. Yao (2009)
Proceedings of the 10th IEEE Congress on Evolutionary Computation
[ Abstract and Details | Download ]

Concurrency Vulnerabilities
A. Burns, A.J. Wellings (2009)
Ada User Journal
[ Abstract and Details ]

Contract based management of the memory resource
I. Ripoll, P. Balbastre, M. Masmano, A. Crespo, A. Burns (2009)
Proceedings17th International Conference on Real-Time and Network Systems (RTNS 2009)
[ Abstract and Details ]

Design patterns for supporting RTSJ component models
M. Alrahmawy, A. Wellings (2009)
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details | Download ]

Energy Efficient Duty Allocation Protocols For Wireless Sensor Networks
J. Tate, I. Bate (2009)
14th International IEEE Conference on Engineering of Complex Computer Systems
[ Abstract and Details | Download ]

Enhancing the platform independence of the real-time specification for Java
A.J. Wellings, Y. Chang, T. Richardson (2009)
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details ]

Exact Quantification of the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling
R. I. Davis, T. Rothvo, S. K. Baruah, A. Burns (2009)
Real Time Systems
[ Abstract and Details ]

Exact Scheduling Analysis of Non-Accumulatively Monotonic Multiframe Tasks
A. Zuhily, A. Burns (2009)
Real-Time Systems Journal
[ Abstract and Details ]

Exposing Non-Standard Architectures to Embedded Software Using Compile-Time Virtualisation
Ian Gray, Neil Audsley (2009)
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '09)
[ Abstract and Details | Download ]

Guaranteed Loop Bound Identification from Program Traces for WCET
M. Bartlett, I. Bate, D. Kazakov (2009)
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
[ Abstract and Details | Download ]

Implementing Transactions in a Distributed Real-Time System without Global Time
A. Burns, Y. Chen (2009)
WiP, RTSS
[ Abstract and Details | Download ]

Improvement of Schedulability Analysis with a Priority Share Policy in On-ChipNetworks
Z. Shi, A. Burns (2009)
17th International Conference on Real-Time and Network Systems (RTNS))
[ Abstract and Details | Download ]

Improvement to Quick Processor-demand Analysis for EDF-Scheduled Real-Time Systems
Fengxiang Zhang, Alan Burns (2009)
Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS)
[ Abstract and Details | Download ]

JSR-282 status report
P.C. Dibble, A.J. Wellings (2009)
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details ]

Low-Power Coding for Networks-on-Chip with Virtual Channels
A. Garcia-Ortiz, L. S. Indrusiak, T. Murgan, M. Glesner (2009)
J. Low Power Electronics
[ Abstract and Details ]

NoCScope: a Graphical Interface to Improve Networks-on-Chip Monitoring and Design Space Exploration
L. Moller, L. S. Indrusiak, M. Glesner (2009)
Proc 4th IEEE Int Workshop for Design and Test
[ Abstract and Details ]

Priority Assignment for Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Real-Time Systems
R.I. Davis, A. Burns (2009)
University of York, Dept. of Computer Science
[ Abstract and Details | Download ]

Priority Assignment for Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Real-Time Systems
R.I.Davis, A.Burns (2009)
Real-Time Systems Symposium (RTSS)
[ Abstract and Details ]

Probabilistic Methods For Dynamic Node Population Management In Sensornets
J. Tate, I. Bate (2009)
University of York
[ Abstract and Details | Download ]

Providing Memory Management Abstraction for Self-Reconfigurable Video Processing Platforms
K. F. Ackermann, B. Hoffmann, L. S. Indrusiak, M. Glesner (2009)
Int Journal of Reconfigurable Computing
[ Abstract and Details | Download ]

Providing Temporal Isolation in the OSGi Framework
T. Richardson, A.J. Wellings (2009)
7th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details | Download ]

Quantifying the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling for Sporadic Tasksets with Arbitrary Deadlines
R.I. Davis, T. Rothvo, S.K. Baruah, A. Burns (2009)
Real-Time Networks and Systems Conference
[ Abstract and Details | Download ]

Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks
Z. Shi, A. Burns (2009)
21st Euromicro Conference on Real-Time Systems (ECRTS)
[ Abstract and Details | Download ]

Refactoring Asynchronous Event Handling in the Real-Time Specification for Java
MinSeong Kim, Andy Wellings (2009)
21th Euromicro Conference on Real-Time Systems
[ Abstract and Details | Download ]

Robust priority assignment for messages on Controller Area Network (CAN)
Robert Davis, Alan Burns (2009)
Real-Time Systems
[ Abstract and Details ]

Schedulability Analysis for Real-Time Systems with EDF Scheduling
Fengxiang Zhang, Alan Burns (2009)
IEEE Transactions on Computers
[ Abstract and Details | Download ]

Semi-automated Safety Analysis for Field Programmable Gate Arrays
P. Conmy, I. Bate (2009)
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
[ Abstract and Details | Download ]

Sensitivity Analysis for Real-Time Systems
Fengxiang Zhang, Alan Burns, Sanjoy Baruah (2009)
University of York, Computer Science Dept.
[ Abstract and Details ]

Spare Capacity Distribution Using Exact Response-Time Analysis
Attila Zabos, Robert I. Davis, Alan Burns, Michael González Harbour (2009)
17th International Conference on Real-Time and Network Systems
[ Abstract and Details | Download ]

Synchronising Timing Signals In Cellular Sensornets Using A Hybrid Algorithm
J. Tate, I. Bate (2009)
University of York
[ Abstract and Details | Download ]

Thread-Local Scope caching for Real-time Java
A.J. Welling, M. Schoeberl (2009)
ISORC 2009, 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
[ Abstract and Details ]

Tuning Complex Sensornet Systems Using Principled Engineering Methods
J. Tate, I. Bate (2009)
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
[ Abstract and Details | Download ]

Understanding Behavioural Tradeoffs In Large-Scale Sensornet Design
J. Tate, I. Bate (2009)
IEEE International Workshop on Quantitative Evaluation of Large-Scale Systems and Technologies
[ Abstract and Details | Download ]

WCET Analysis of Modern Processors Using Multi-Criteria Optimisation
U. Khan, I. Bate (2009)
Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09)
[ Abstract and Details | Download ]

Implementing Time-predictable Load and Store Operations
Jack Whitham, Neil Audsley (2009)
Proc. EMSOFT
[ Abstract and Details | Download ]

Predicated Worst-Case Execution-Time Analysis
A. Marref, G. Bernat (2009)
Proceedings of Reliable Software Technologies - Ada-Europe 2009
[ Abstract and Details ]

The Scratchpad Memory Management Unit for Microblaze: Implementation, Testing, and Case Study
Jack Whitham, Neil Audsley (2009)
University of York
[ Abstract and Details | Download ]

Using Hardware Methods to Improve Time-predictable Performance in Real-time Java Systems
Jack Whitham, Neil Audsley, Martin Schoeberl (2009)
Proc. JTRES
[ Abstract and Details | Download ]