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: <FsTS4.209$za3.129204@nnrp3.sbc.net> (raw)
In-Reply-To: 8fgusr$pns$1@nnrp1.deja.com
<r_c_chapman@my-deja.com> wrote in message
news:8fgusr$pns$1@nnrp1.deja.com...
> In article <fMRS4.206$za3.119450@nnrp3.sbc.net>,
> "Pat Rogers" <progers@NOclasswideSPAM.com> wrote:
>
> > "ISO/IEC 15942 (2000-03)
>
> The ISO TR from the HRG does mention the Ravenscar Profile briefly
in
> section 5.13 (I've a copy right in front of me now...) and it's
> well-worth reading the whole thing.
Sorry, that was poorly worded on my part. I meant that the original
poster should also get the "official" document on the subject of
safety-critical systems development with Ada, not just Ravenscar.
--
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
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
2000-05-12 0:00 ` Pat Rogers
2000-05-12 0:00 ` r_c_chapman
2000-05-12 0:00 ` Pat Rogers [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox