Papers published in 2001

A Profile for High-Integrity Real-Time Java Programs
P. Puschner and A. J. Wellings

A Reference Implementation for UML
A. N. Clark, A.S. Evans and S. Kent

A Safe Mobile Code Representation and Run-time Architecture for High-Integrity Real-Time Java Programs
J. Kwon, A. Wellings and S. King

A Tool Architecture for Application of Portable Code to Future Avionic Systems
A. Grigg, N. C. Audsley, I. J. Bate, M. A. Fletcher and A. S. Wake

A Timely Distributed Consensus Solution in a Crash/Omission-Fault Environment
G. M. A. Lima and A. Burns

An Action Semantics for MML
J. Álvarez, A. N. Clark, A. Evans and P. Sammut

An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems
G. M. A. Lima and A. Burns

Analysis of Checkpointing for Real-Time Systems
S. Punnekkat, A. Burns and R. Davis

Architecture Development Environment
L. Beus-Dukic, A. J. Wellings, P. Coppola and A. Paganone

Defining New Non-Preemptive Dispatching and Locking Policies for Ada
A. Burns

Developing a Real-Time Microkernel Design Process
M. D. Bennett and N. C. Audsley

Extensible Protected Types: Proposal Status
A. J. Wellings, B. Johnson, B. Sanden, J. Kienzle, T. Wolf and S. Michell

Guaranteed On-Line Weakly-Hard Real-Time Systems
G. Bernat and R. Cayssials

Hardware Compilation of Sequential Ada
M. Ward and N. C. Audsley

Implementing a Flexible Scheduler in Ada
G. Bernat and A. Burns

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

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

Jorvik: A framework for effective scheduling
G. Bernat and A. Burns

MML and the Metamodel Architecture
José Álvarez, Andy Evans and Paul Sammut

Making Java Hard Real-Time
P. Puschner, G. Bernat and A. Wellings

Mapping between Levels in the Metamodel Architecture
José Álvarez, Andy Evans and Paul Sammut

Modelling and verification of an atomic action protocol implemented in Ada
A. Burns, A. J. Wellings, F. Burns, A. M. Koelmans, M. Koutny, A. Romanovsky and A. Yakovlev

Multilevel Integrity Mechanisms
E. Totel, L. Beus-Dukic, J-P Blanquart, Y. Deswarte, V. Nicomette, D. Powell and A. J. Wellings

Non-Preemptive Dispatching and Locking Policies
A. Burns

On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada
A. Burns, A. J. Wellings, A. M. Koelmans, M. Koutny, A. Romanovsky and A. Yakovlev

On Priority Assignment in Fixed Priority Scheduling
N. C. Audsley

On priority assignment in fixed priority scheduling
N. C. Audsley

Practical UML-Based Rigorous Development.
A.S. Evans, R.B. France, A. Moreira and B. Rumpe

Predictable and Efficient Virtual Addressing for Safety-Critical Real-Time Systems
M D Bennett and N C Audsley

Proceedings of the IEEE/IEE Workshop on Real-Time Embedded Systems
I. Bate and S. Liu

Real-Time Systems and Programming Languages:
A. Burns and A. J. Wellings

Reservation-Based Timing Analysis - A Practical Engineering Approach for Distributed Real-Time Systems
Alan Grigg and Neil Audsley

Scheduling
L. Beus-Dukic and A. J. Wellings

Statistical Analysis of WCET for Scheduling
S. Edgar and A. Burns

The Babbling Idiot in Event-triggered Real-time Systems
I. Broster and A. Burns

The Meta-Modeling Language Calculus: Foundation Semantics for
A. N. Clark, A. S. Evans and S. Kent

The DEAR-COTS Replication Framework
L. Pinho, F. Vasques and A. J. Wellings

Three obstacles to flexible scheduling
G. Bernat and A. Burns

Timely Use of the CAN Protocol in Critical Hard Real-time Systems With Faults
I. Broster and A. Burns

Towards a Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation
A. J. Wellings, R. Clark, D. Jensen and D. Wells

Use of modern processors in safety-critical applications
I. Bate, P. Conmy, T. Kelly and J. McDermid

Weakly-Hard Real-Time Systems
G. Bernat, A. Burns and A. Llamosí

MOPping up exceptions

WCET Analysis of Reusable Portable Code
P. Puschner and G. Bernat