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,dc64e9d777a69adc
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news4.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.hanau.net!newsfeed.vmunix.org!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!diphi.demon.co.uk!jpt
From: JP Thornley <jpt@diphi.demon.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Ravenscar and ADA
Date: Sat, 6 Jan 2007 12:45:34 +0000
Message-ID: <$wtaiKCun5nFJw7L@diphi.demon.co.uk>
References: <ene2qs$ft3$1@news01.versatel.de>
NNTP-Posting-Host: diphi.demon.co.uk
Mime-Version: 1.0
Content-Type: text/plain;charset=iso-8859-1;format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: news.demon.co.uk 1168087571 19468 80.177.171.182 (6 Jan 2007 12:46:11
 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Sat, 6 Jan 2007 12:46:11 +0000 (UTC)
User-Agent: Turnpike/6.04-S (<ah2liK+yasczKQFOyMScAnx2o3>)
Xref: g2news2.google.com comp.lang.ada:8085
Date: 2007-01-06T12:45:34+00:00
List-Id: <comp.lang.ada>

In article <ene2qs$ft3$1@news01.versatel.de>, S�nke Brix 
<soenke.brix@foni.net> writes
>hi folks,
>
>i'm looking for a good start into the "ravenscar profile" in ada. i'm
>standing at the beginning an i have no clue...
>
>thanx
>
>Soenke

There's the Guide to the Ravenscar Profile - intended to be an ISO 
Technical Report (and it may be by now) but is also available as a 
technical report from York University (Alan Burns is a York Professor 
who chaired the group that produced the report).

http://www.cs.york.ac.uk/ftpdir/reports/YCS-2003-348.pdf

Cheers,

Phil
-- 
JP Thornley