[gtkada] IEE Tutorial onthe use of ADA in real ti

[nnancarrow at iee.org.uk]

APOLOGIES IF YOU RECEIVE THIS MORE THAN ONCE.  PLEASE FEEL FREE TO   
CIRCULATE

The use of Ada in Real-Time Systems


10 % discount for early registration- by March 17 2000


The latest version of Ada (Ada 95) and one of its add-ons
(Annex H: Safety and Security - Safety and Security - Ravenscar
is a tasking model developed in the spirit of Annex H) have provided much   
improved support for the development of predictable real-time systems.   
 The aim of this tutorial is to
provide software engineers with an introduction to the use of
these features in implementations and the necessary scheduling theory so   
that they are used correctly.  No experience of Ada or scheduling theory   
is assumed.

Aims

Delegates of this tutorial course will have the unique opportunity of   
attending a day of lectures with a single case study used as the basis   
that will allow the following two objectives to be met:

* to explain how the tasking features of Ada 95 and, in particular, how   
the Ravenscar profile may be used.  But most importantly...

* the principal aim is to give an introduction to the scheduling theory -   
which is the basis for the real-time model contained in Ada - so that it   
can be used in an appropriate manner.

Objectives

This tutorial is intended to reduce the risk, allowing for misuse of the   
features, resulting in potentially catastrophic consequences, such as   
loss of life or economically damaging effects.  Misuse of the features is   
remarkably easy to do, as the MARS pathfinder project showed when the   
priority inversion
problem was not correctly handled, which almost led to the loss of the   
mission.

Speakers

Alan Burns Andy Wellings Neil Audsley  and Iain Bate  (University of   
York)

FOR REGISTRATION AND FURTHER DETAILS PLEASE VISIT:

http://www.iee.org.uk/Events/a06apr00.htm


Groups Officer
IEE Informatics
Savoy Place
London