* Ravenscar and ADA
@ 2007-01-02 16:56 S�nke Brix
2007-01-03 0:36 ` Jeffrey Creem
2007-01-06 12:45 ` JP Thornley
0 siblings, 2 replies; 3+ messages in thread
From: S�nke Brix @ 2007-01-02 16:56 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Ravenscar and ADA
2007-01-02 16:56 Ravenscar and ADA S�nke Brix
@ 2007-01-03 0:36 ` Jeffrey Creem
2007-01-06 12:45 ` JP Thornley
1 sibling, 0 replies; 3+ messages in thread
From: Jeffrey Creem @ 2007-01-03 0:36 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Ravenscar and ADA
2007-01-02 16:56 Ravenscar and ADA S�nke Brix
2007-01-03 0:36 ` Jeffrey Creem
@ 2007-01-06 12:45 ` JP Thornley
1 sibling, 0 replies; 3+ messages in thread
From: JP Thornley @ 2007-01-06 12:45 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2007-01-06 12:45 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-01-02 16:56 Ravenscar and ADA S�nke Brix
2007-01-03 0:36 ` Jeffrey Creem
2007-01-06 12:45 ` JP Thornley
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox