From: Martin Dowie <martin.dowie@gecm.com>
Subject: Re: Safety Critical Software
Date: 2000/05/12
Date: 2000-05-12T00:00:00+00:00 [thread overview]
Message-ID: <391BBABE.C2AC013@gecm.com> (raw)
In-Reply-To: 391bb405$1@pull.gecm.com
you could try the aonix web site (www.aonix.com) their RAVEN suite supports it
and provides links to some white papers.
Neil Davidson wrote:
> Can anyone give me a reference to where I can find a copy of the Ravenscar
> profile for Ada95 for safety critical systems ?
>
> Thanks
>
> Neil Davidson
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 ` Martin Dowie [this message]
2000-05-12 0:00 ` Pat Rogers
2000-05-12 0:00 ` r_c_chapman
2000-05-12 0:00 ` Pat Rogers
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox