Papers published in 2003

An Analysable Bus-Guardian for Event-Triggered Communication
I. Broster and A. Burns
A Contract-based Approach to Designing Safe Systems
I. Bate, R. Hawkins and J. McDermid
An Approach to Designing Safety Critical Systems using the Unified Modelling Language
I. Bate, R. Hawkins and I. Toyn
Developing Safety Contracts for OO Systems
I. Bate, R. Hawkins and J. McDermid
Mapping Concurrent Real-Time Software to FPGA
N. Audsley, I. Bate and M. Ward
Safety case architectures to complement a contract-based approach to designing safe systems
I. Bate, S. Bates, R. Hawkins, T. Kelly and J. McDermid
Processing Group Parameters and the Real-Time Specification for Java
A. Burns and A. J. Wellings
Extracting Temporal Properties fom Real-Time Systems by Automatic Tracing Analysis
A. Terrasa and G. Bernat
Architectural Considerations in the Certification of Modular Systems
I. Bate and T. Kelly
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
I. Bate, A. Cervin and P. Nightingale
Proceedings of the Workshop on Co-design for Embedded Real-time Systems (CERTS’03)
Iain Bate
A Real-Time RMI Framework for the RTSJ
A. Borg and A. Wellings
Assessment of the Java Programming Language for use in High Integrity Systems
J. Kwon, A. Wellings and S. King
Predictable Memory Utilization in the Ravenscar-Java Profile
J. Kwon, A. Wellings and S. King
Gain Time Reclaiming in High Performance Real-Time Java Systems
E. Yu-Shing Hu, A. Wellings and G. Bernat
Automatic Code Generation for Airborne Systems
N. C. Audsley, I. J. Bate and S. K. Crook-Dawkins
Guide for the use of the Ada Ravenscar Profile in high integrity systems
A. Burns, B.Dobbing and T. Vardanega
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95
T.-M. Lin and J.A. McDermid
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for Java
B. N. Brosgol and A. J. Wellings
A Consensus Protocol for CAN-Based Systems
G.M.A. Lima and A. Burns
A Probabilistic Framework for Schedulability Analysis
A. Burns, G. Bernat and I. Broster
A Round Robin Scheduling Policy for Ada
A. Burns, M. González Harbour and A. J. Wellings
Adding Temporal Annotations and Associated Verification to Ravenscar Profile
A. Burns and T.-M. Lin
An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems
I. Bate and A. Burns
An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems
G.M.A. Lima and A. Burns
Comparison of Trace Generation Methods for Measurement Based WCET Analysis
Stefan M. Petters
Deriving Java Machine Timing Models for Portable Worst-Case Execution Time Analysis
E. Yu-Shing Hu, A. J. Wellings and G. Bernat
Establishing Timing Requirements for Control Loops in Real-Time Systems
I. Bate, P. Nightingale and J. McDermid
Evaluating the Expressive Power of the Real-Time Specification for Java
A. J. Wellings and P. Puschner
Experimental Evaluation of Code Properties for WCET Analysis
A. Colin and S. M. Petters
How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study
A. Burns
Increasing the Real-Time Expressive Power of Ada 95
A. Burns
Is Java Augmented with the RTSJ a Better Real-Time Systems Implementation Technology than Ada 95?
A. J. Wellings
Partitioning Support for the L4 Kernel
M. D. Bennett and N. C. Audsley
Reference Objects for RTSJ Memory Areas
A. Borg and A. J. Wellings
Safety Challenges for Model Driven Development
N. Audsley, P. Conmy, S.K. Crook-Dawkins and R. Hawkins
Task Attribute-Based Scheduling - Extending Ada's Support for Scheduling
A. Burns and A. J. Wellings
The Measurement and Usage of Utility in Adaptive Real-Time Systems
D. Prasad, A. Burns and M. Atkin
The Ravenscar Profile for Real-Time and High Integrity Systems
A. Burns and B. Dobbing
Towards a High-Integrity Real-Time Java Virtual Machine
H. Cai and A. J. Wellings
Towards the Codesign of Large Complex Hard Real-Time Embedded Systems
Neil Audsley
COTS-Based Hardware Support to Timeliness in CAN Networks
Gu. Rodríguez-Navas, M. Barranco, J. Proenza and I. Broster
XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment
E. Yu-Shing Hu, J. Kwon and A. J. Wellings