Ann: Workshop on OO and Ada in High Integrity Systems

["J-P. Rosen" <rosen@adalog.fr>]

There will be a workshop during SIGAda, whose goal is to define a set of
Ada restrictions that would make using Object Oriented technologies with
Ada more applicable to high integrity systems. The workshop could lead
to the definition of a profile and to a document explaining and
justifying the profile, following the example of the Ravenscar profile
for the concurrency aspects.

All those interested are invited:
- to attend
- and/or send suggestions for possible restrictions (with justification)
to rosen@adalog.fr

The workshop will start with a summary of received proposals, followed
by discussion and (hopefully!) agreement on the content of the profile.

Those who are interested in the topic but are not aware of all the
issues are invited to attend the tutorial on the same topic during the
conference.

More info on http://www.sigada.org/conf/sigada2010/

Please pass the word around, and see you in Fairfax!
-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr