From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,cf50e7cee8904ae5
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news1.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Ann: Workshop on OO and Ada in High Integrity Systems
Date: Wed, 08 Sep 2010 07:28:01 +0200
Organization: Adalog
Message-ID: <i676t7$ocd$1@news.eternal-september.org>
References: <i65jnr$41u$1@news.eternal-september.org>
 <op.vioannqhule2fv@garhos>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 8 Sep 2010 05:28:07 +0000 (UTC)
Injection-Info: mx03.eternal-september.org;
 posting-host="z/xN1DBP8RUb+r9ug/i0hg";
	logging-data="24973"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/U73KgROtypw3PI78N2CQd"
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr;
 rv:1.9.2.8) Gecko/20100802 Thunderbird/3.1.2
In-Reply-To: <op.vioannqhule2fv@garhos>
Cancel-Lock: sha1:1W9/OUAtDEnZENP4YHkbqF72xZc=
Xref: g2news1.google.com comp.lang.ada:13973
Date: 2010-09-08T07:28:01+02:00
List-Id: <comp.lang.ada>

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