Ann: Workshop on OO and Ada in High Integrity Systems

Ann: Workshop on OO and Ada in High Integrity Systems

[J-P. Rosen]

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

Re: Ann: Workshop on OO and Ada in High Integrity Systems

[Yannick Duchêne (Hibou57)]

Le Tue, 07 Sep 2010 16:54:41 +0200, J-P. Rosen <rosen@adalog.fr> a écrit:

> 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.
Hope there is be some on-line publications after this meeting (just a  
wish).

Have a great time all.

-- 
“Dual licensing is the Perl's way to disinfect the GNU General Public  
Virus!” (anonymous)

Re: Ann: Workshop on OO and Ada in High Integrity Systems

[J-P. Rosen]

Le 07/09/2010 19:24, Yannick Duchêne (Hibou57) a écrit :
> Le Tue, 07 Sep 2010 16:54:41 +0200, J-P. Rosen <rosen@adalog.fr> a écrit:
> 
>> 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.
> Hope there is be some on-line publications after this meeting (just a
> wish).
> 
> Have a great time all.
> 
This is definitely the intent.

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr