Ravenscar and ADA

Ravenscar and ADA

[S�nke Brix]

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

Re: Ravenscar and ADA

[Jeffrey Creem]

S�nke Brix wrote:
> 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
> 
> 
> 

Have you looked at 
http://www.praxis-his.com/sparkada/pdfs/high_integrity_ravenscar.pdf

and
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00249.TXT?rev=1.15

Also do you already know Ada. These all tend to assume that you do.

Re: Ravenscar and ADA

[JP Thornley]

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