Papers published in 2000

A Review of Worst-Case Execution-Time Analysis (editorial)
P. Puschner and A. Burns

A Value-Based Scheduling Approach for Real-Time Autonomous Vehicle Control
D. Prasad and A. Burns

Ada Yearbook: Millenium Edition
N. C. Audsley

An approach to symbolic worst-case execution time analysis
G. Bernat and A. Burns

An incremental recovery cache supporting software fault tolerance mechanisms
P Rogers and A J Wellings

Developing fault tolerance systems with Ada
A. Romanovsky and A J Wellings(Editors)

Generating Evidence for Certification of Modern Processors for use in Safety-Critical Systems
I. Bate, P. Conmy and J McDermid

Generating and maintaining a Safety Argument for Integrated Modular Systems
M. Nicholson, P. Conmy, I. Bate and J. McDermid

How Embedded Applications Using an RTOS can stay within On-chip Memory Limits
R.I. Davis, N. Merriam and N.J. Tracey

Implementing a High-Integrity Executive using Ravenscar
N. C. Audsley, A. Burns and A. J. Wellings

Integrating Object-Oriented Programming and Protected Types in Ada 95
A. J. Wellings, B. Johnson, B. Sanden, J. Kienzle, T. Wolf and S. Michell

Issues with using Ravenscar and the Ada Distributed Systems Annex for High-Integrity Systems
N. C. Audsley and A. J. Wellings

Low-level analysis of a portable WCET analysis framework
I. Bate, G. Bernat, G. Murphy and P. Puschner

Object-oriented programming and protected objects in Ada 95
A. J. Wellings, B. Johnson, B. Sanden, J. Kienzle, T. Wolf and S. Michell

Portable Worst Case execution time analysis using Java Byte Code
G. Bernat, A. Burns and A. Wellings

Predicting Computation Time for Advanced Processor Architectures
A. Burns and S. Edgar

Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
S. Poledna, A. Burns, A. J. Wellings and P. Barrett

Scheduling Optional Computations for Adaptive Real-Time Systems
C. McElhone and A. Burns

The Meaning and Role of Value in Scheduling Flexible Real-Time Systems
A. Burns, D. Prasad, A. Bondavalli, F. Di Giandomenico, K. Ramamritham, J. Stankovic and L. Stringini

Towards Modelling and Verification of Concurrent Ada Programs Using Petri-Nets
A. Burns, A. J. Wellings, F. Burns, A.M. Koelmans, M. Koutny, A. Romanovsky and A. Yakovlev

Adding Local Priority-Based Dispatching Mechanisms to P-Net Networks: A Fixed Priority Approach
E. Tovar, F. Vasques and A. Burns

An Experimental Testbed for Embedded Real Time Ada 95
W. M. Walker, P. T. Woolley and A. Burns

Developing a Testbed for Distributed Real-Time Applications
P.T. Woolley, W.M. Walker and A. Burns

Finding the Minimum Available Transmission Time for the Timed Token Medium Access Control Protocol
S. Zhang, E. Lee, A. Burns and H. Yang

How to Verify Concurrent Ada Programs. The Application of Model Checking
A. Burns and A. J. Wellings

Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems
A. Burns, S. Punnekkat, L. Stringini and D.R. Wright

The Ravenscar Profile and Implementation Issues
A. Burns, L. Asplund, B. Johnson and K. Lundqvist

Time-Constrained Sorting - A Comparison of Different Algorithms
P. Puschner and A. Burns