From: "Pat Rogers" <progers@NOclasswideSPAM.com>
Subject: Re: Safety Critical Software
Date: 2000/05/12
Date: 2000-05-12T00:00:00+00:00 [thread overview]
Message-ID: <fMRS4.206$za3.119450@nnrp3.sbc.net> (raw)
In-Reply-To: 391bb405$1@pull.gecm.com
"Neil Davidson" <neil.davidson@gecm.com> wrote in message
news:391bb405$1@pull.gecm.com...
> Can anyone give me a reference to where I can find a copy of the
Ravenscar
> profile for Ada95 for safety critical systems ?
The Aonix website has a copy of a whitepaper describing it (at their
Raven product page), or you can get the official document:
"ISO/IEC 15942 (2000-03)
Information technology -- Programming languages -- Guide for the use
of the Ada programming language in high integrity systems"
from
http://www.iec.ch/
for about 55 US dollars.
--
Pat Rogers Consulting and Training in:
http://www.classwide.com Deadline Schedulability Analysis
progers@classwide.com Software Fault Tolerance
(281)648-3165 Real-Time/OO Languages
next prev parent reply other threads:[~2000-05-12 0:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-05-12 0:00 Safety Critical Software Neil Davidson
2000-05-12 0:00 ` Pat Rogers [this message]
2000-05-12 0:00 ` r_c_chapman
2000-05-12 0:00 ` Pat Rogers
2000-05-12 0:00 ` Martin Dowie
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox