* 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