Papers published in 2005

Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults
G. Lima and A. Burns

Extended Analysis With Reduced Pessimism For Systems With Limited Paralellism
K. Bletsas and N. C. Audsley

Extending The Limited Parallel Model
K. Bletsas

Integrating Hybrid Garbage Collection with Dual Priority Scheduling
Yang Chang and Andy Wellings

Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis
Iain Bate and Ralf Reutemann

Dealing with Emergent Properties in Embedded Systems
Iain Bate

Impact of Embedded Systems on RTOS Use and Design
D. Andrews, I. Bate, T. Nolte, C.M. Otero-Perez and S.M. Petters

Design For Flexible And Scalable Avionics Systems
I. Bate and P. Emberson

Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation
O. Marchi dos Santos and A. J. Wellings

Efficient Access of Remote Resources in Embedded Networked Computer Systems
P. S. Usher and N. C. Audsley

Guidelines for a graduate curriculum on embedded software and systems
P. Caspi, A. Sangiovanni-Vincentelli, L. Almeida, A. Benveniste, B. Bouyssounouse, G. Buttazzo, I. Crnkovic, W. Damm, J. Engblom, G. Folher, M. Garcia-Valls, H. Kopetz, Y. Lakhnech, F. Laroussinie, L. Lavagno, G. Lipari, F. Maraninchi, Ph. Peti, J. de la Puente, N. Scaife, J. Sifakis, R. de Simone, M. Torngren, P. Veríssimo, A. J. Wellings, R. Wilhelm, T. Willemse and W. Yi

Hierarchical Fixed Priority Pre-emptive Scheduling
R.I. Davis and A. Burns

Hierarchical Fixed Priority Scheduling
R.I. Davis and A. Burns

Implementing Application-Specific RTOS Policies using Reflection
Ameet Patil and Neil Audsley

Implementing the Styx Network Protocol in Hardware
Ameet Patil, Michael Freeman, Rui Gao and Chris Bailey

Integrating Hybrid Garbage Collection with Dual Priority Scheduling
Y. Chang

Modelling Temporal Behaviour in Complex Socio-Technical Systems
A. Burns, I.J. Hayes, G.Baxter and C.J. Fidge

Operating Systems and Supporting Architectures for Embedded Real-Time Systems
N.C. Audsley

Probabilistic timing analysis: an approach using copulas
G. Bernat, M.J. Newby and A. Burns

Ravenscar-Java: a High-integrity Profile for Real-time Java
J. Kwon, A. Wellings and S. King

Real-Time Scheduling for Embedded Systems
M. Caccamo, T. Baker, A. Burns, G. Buttazzo and L. Sha

Real-time Java for Embedded Devices: The JAVAMEN Project
Andrew Borg, Neil Audsley and Andy Wellings

Real-time Java for Embedded Devices: The JAVAMEN Project
Andrew Borg, Neil Audsley and Andy Wellings

Reliable Software Technology - Ada Europe 2005
T. Vardanega and A.J. Wellings (Eds)

Requirements for a real-time .NET framework
A. Zerzelidis and A. J. Wellings

Safe Composition of Real-Time Software
I. Bate and P. Conmy

THE STYX IP-CORE FOR UBIQUITOUS NETWORK DEVICE INTEROPERABILITY
N.C. Audsley, R. Gao and A. Patil

Temporal Isolation in Ravenscar-Java
Hao Cai and Andy Wellings

The Use of ASIPs and Customised Co-processors in an Embedded Real-Time System
Jack Whitham and Neil Audsley

The application of compile-time reflection to software fault tolerance using Ada 95
P. Rogers and A.J. Wellings

Timing Analysis of Real-Time Communication Under Electromagnetic Interference
I. Broster, A. Burns and G. Rodríguez-Navas

Verifying fault-tolerant distributed systems using object-based graph grammars
F. L. Dotti, O. Mendizabal and O. M. Santos