* Ann: Workshop on OO and Ada in High Integrity Systems
@ 2010-09-07 14:54 J-P. Rosen
2010-09-07 17:24 ` Yannick Duchêne (Hibou57)
0 siblings, 1 reply; 3+ messages in thread
From: J-P. Rosen @ 2010-09-07 14:54 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 3+ messages in thread* Re: Ann: Workshop on OO and Ada in High Integrity Systems
2010-09-07 14:54 Ann: Workshop on OO and Ada in High Integrity Systems J-P. Rosen
@ 2010-09-07 17:24 ` Yannick Duchêne (Hibou57)
2010-09-08 5:28 ` J-P. Rosen
0 siblings, 1 reply; 3+ messages in thread
From: Yannick Duchêne (Hibou57) @ 2010-09-07 17:24 UTC (permalink / raw)
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)
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Ann: Workshop on OO and Ada in High Integrity Systems
2010-09-07 17:24 ` Yannick Duchêne (Hibou57)
@ 2010-09-08 5:28 ` J-P. Rosen
0 siblings, 0 replies; 3+ messages in thread
From: J-P. Rosen @ 2010-09-08 5:28 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2010-09-08 5:28 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-09-07 14:54 Ann: Workshop on OO and Ada in High Integrity Systems J-P. Rosen
2010-09-07 17:24 ` Yannick Duchêne (Hibou57)
2010-09-08 5:28 ` J-P. Rosen
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox